数学において,抽象代数学の分野において,主イデアル整域上の有限生成加群の構造定理は有限生成アーベル群の基本定理の一般化であり,あらっぽく言えば,有限生成加群は整数の素因数分解とほぼ同じように一意的に分解するというものである.この結果は体上の正方行列に対する様々な標準形の結果を理解する単純な枠組みを提供する.