A canonical diagonal form for an integer (or more generally PID) matrix achieved by left and right multiplication by unimodular matrices: there exist U, V unimodular over Z such that U A V = diag(d1, d2, ..., dr, 0, ...), where each di divides the next; the diagonal entries are the invariant factors of the associated module.

Principle

Permitted operations are integer elementary row and column operations corresponding to multiplying on the left and right by invertible integral matrices; these operations classify finitely generated modules over a principal ideal domain by transforming presentation matrices to diagonal form with divisibility constraints.

Demonstration

For a 2×2 integer matrix A, apply integer column and row operations (add multiples, swap, multiply by ±1) to bring A to diagonal form diag(d1,d2) with d1|d2; the resulting diagonal entries determine the structure of Z^2 / im(A) as a direct sum of cyclic groups of orders d1 and d2 (up to units).

Misapplication

Treating the Smith normal form as if it were computed by real-field row-reduction yields wrong invariants; another mistake is ignoring that diagonal entries are only unique up to multiplication by units (±1) and that similar diagonalization over non-PID rings may not exist.

Consequence

Reveals invariant factors that classify finitely generated modules over Z (e.g., finitely generated abelian groups), enables solving systems of linear Diophantine equations and computing elementary divisors and torsion structure of cokernels of integer matrices.

Reversal

Over a field, the analogous simplification is reduction to row-echelon or rational canonical/Jordan forms; reversing Smith form would be restoring non-diagonal couplings by undoing unimodular transformations, which reintroduces the original relations among generators.

Boundary

Constructed over Z and more generally over principal ideal domains; it does not exist in general over arbitrary commutative rings without PID structure and cannot be obtained by operations allowed over fields alone because divisibility over Z matters.

Semantic Tension

Relates to Hermite normal form, which uses only one-sided unimodular operations and yields a triangular form; Smith form gives full diagonalization with divisibility constraints and is stronger for classifying modules, while Hermite is often easier to compute but provides less invariant information.

Synthesis

A diagonal canonical form U A V with unimodular U,V that exposes invariant factors (with each diagonal dividing the next), providing a discrete algebraic fingerprint of an integer matrix that classifies associated modules and solves integer-linear problems.