この記事の内容：単因子論の整数バージョンの、単因子標準形に変形できるところまでの証明。一意性は示していない。整数を成分とするm×ｎ次正方行列全体をM(m,n;ℤ)と書く。基本行列 とは、次のようなN次正方行列のこと。 m×n行列にm次基本行列を左からかける…