書いてあることについて、より広いクラスの環ではどうなるのかを調べた結果を、書き起こしておきます。 単因子論 2.7節の内容です。目標としている定理は次のようなものです。 $ A $ を単項イデアル整域、$ M $ を有限生成 $ A $ 加群とする。このとき、$ A …