Every m × n matrix A over a principal ideal domain R is equivalent via invertible row/column operations to a diagonal diag(d_1 | d_2 | … | d_r, 0, …, 0) with d_1 | d_2 | … | d_r. The d_i are the invariant factors; classifies finitely…
Every m × n matrix A over a principal ideal domain R is equivalent via invertible row/column operations to a diagonal diag(d_1 | d_2 | … | d_r, 0, …, 0) with d_1 | d_2 | … | d_r. The d_i are the invariant factors; classifies finitely…