Morphisms# Sets of morphisms between free modules FreeModuleHomset Free module morphisms FiniteRankFreeModuleMorphism General linear group of a free module FreeModuleLinearGroup Free module automorphisms FreeModuleAutomorphism