In mathematics, the Smith normal form (sometimes abbreviated SNF) is a normal form that can be defined for any matrix (not necessarily square) with entries in a principal ideal domain (PID). The Smith normal form of a matrix is diagonal, and can be obtained from the original matrix by multiplying on the left and right by invertible square matrices. In particular, the integers are a PID, so one can always calculate the Smith normal form of an integer matrix. The Smith normal form is very useful for working with finitely generated modules over a PID, and in particular for deducing the structure of a quotient of a free module. It is named after the Irish mathematician Henry John Stephen Smith.
Definition Let A {\displaystyle A} be a nonzero m × n {\displaystyle m\times n} matrix over a principal ideal domain R {\displaystyle R} . There exist invertible m × m {\displaystyle m\times m} and n × n {\displaystyle n\times n} -matrices S , T {\displaystyle S,T} (with entries in R {\displaystyle R} , and det ( S ) , det ( T ) {\displaystyle \det(S),\det(T)} units in R {\displaystyle R} ) such that the product S A T {\displaystyle SAT} is
( α 1 0 0 ⋯ 0 ⋯ 0 0 α 2 0 0 0 ⋱ ⋮ ⋮ ⋮ α r 0 ⋯ 0 ⋯ 0 ⋮ ⋮ ⋮ 0 ⋯ 0 ⋯ 0 ) . {\displaystyle {\begin{pmatrix}\alpha _{1}&0&0&\cdots &0&\cdots &0\\0&\alpha _{2}&0&&&&\\0&0&\ddots &&\vdots &&\vdots \\\vdots &&&\alpha _{r}&&&\\0&&\cdots &&0&\cdots &0\\\vdots &&&&\vdots &&\vdots \\0&&\cdots &&0&\cdots &0\end{pmatrix}}.}
and the diagonal elements α i {\displaystyle \alpha _{i}} satisfy α i ∣ α i + 1 {\displaystyle \alpha _{i}\mid \alpha _{i+1}} for all 1 ≤ i < r {\displaystyle 1\leq i<r} . This is the Smith normal form of the matrix A {\displaystyle A} . The elements α i {\displaystyle \alpha _{i}} are unique up to multiplication by a unit and are called the elementary divisors, invariants, or invariant factors. They can be computed (up to multiplication by a unit) as
α i = d i ( A ) d i − 1 ( A ) , {\displaystyle \alpha _{i}={\frac {d_{i}(A)}{d_{i-1}(A)}},}
… excerpt ends here. Continue reading the full article.
