Theorem
Smith Normal Form
Proof
Lemma
rank(T) is size of …
Proof
Definition
Left and Right Linear Maps
Definition
Row and Column Space and Rank
Theorem
Elementary Transformations do not Affect Rank
Proof
Corollary
Column Rank = Row Rank
Proof
Theorem
Equivalences on A,B \in F^{m, n}
Proof
Proposition
Canonical Form
Lemma
Solving Systems and Gauss Method
Definition
Row Echelon Form
Definition
Row-reduced Echelon Form
Theorem
Any Matrix can be Brought into Row-reduced Echelon Form
Proof
Proposition
Existence of Solution to Systems
Lemma
AB = I_{n}
Proof
Lemma
(AB)^{-1} = B^{-1}A^{-1}
Proof
Proposition
Row-reduced Echelon Form of A is I_{n}
Proof
Corollary
An Invertible Matrix is a Product of Elementary Transformations
Proof