Smith Normal Form

Let be a Euclidean Domain
Let be a matrix then

is 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