Matrix Form for Homomorphism of Free Modules corollary
Let be a homomorphism of free modules with bases
respectively
Then is determined by matrix given by
Conversely given matrix , determines unique -homomorphism
Proof
Follows from Homomorphisms from free modules are determined by a basis
As map records values of on then
Matrix records once and are knownConversely define function by
which extends uniquely up to -module homomorphism
Matrix Representation of Composition of Homomorphisms lemma
Let be free modules with bases
respectively
Let with
Let matrix of with respect to bases and is
Let matrix of with respect to bases and is thenMatrix of Homomorphism with respect to bases and is
Proof
Hence matrix of has entry of
Change of Basis and the General Linear Group corollary
Let be a free module with basis
Set of Isomorphisms corresponds under map to
is the group of units in noncommutative ring
Given two bases and then
Exists unique isomorphism such thatProof
Composition of Morphisms corresponds to matrix multiplication
So map sending homomorphism to corresponding matrix is a ring mapIf and are bases then there is unique module homomorphism
and unique module homomorphism
As composition satisfies then
Change of Bases Matrices
Let be free modules with bases and respectively then
denotes the matrix of homomorphism with respect to bases and
Let and be another pair of bases for and respectively
LetThen matrices and are the change of bases matrices for pairs of bases and
Note that if is a free module with two bases then matrix has columns given by -coordinates of basis
Elementary Row Operation
Let be a matrix
Let be the rows of so are the row vectors inElementary Row Operation on matrix is an operation of form
Swap two rows and
Replace one row with new row for some and
Equivalent Matrices
Let
and are equivalent if
There exists invertible matrices and such that