Smith Normal Form
Let be a Euclidean Domain
Let be a matrix thenis ERC Equivalent (and hence equivalent) to diagonal matrix where if then
where each successive divides the next
Sequence of elements is unique up to units
Proof
Claim that using row and column operations matrix is equivalent to in form
where divides all entries in matrix
Factoring out from each entry then apply induction on to submatrix
to get result
To prove claim, use induction on
- If any or are not divisible by then
So take times row from row to get new matrix with entry and
Hence done by induction
If all and s are divisible by then
Subtract appropriate multiplies of first row from other rows to get matrix
So all entries in first column below equal zero
Similarly using column operations then
Get with all entries on first row after equal zeroHence has required except possibly having entry not divisible by
Otherwise let
If is not divisible by then add row of to row to get matrix
Hence at situation of step and done by induction