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

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 then

Matrix of Homomorphism with respect to bases and is

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 that

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
Let

Then 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 in

Elementary Row Operation on matrix is an operation of form

  1. Swap two rows and

  2. Replace one row with new row for some and

Equivalent Matrices

Let

and are equivalent if
There exists invertible matrices and such that