部分加群

代数学の講義で、ある環上の加群とその部分加群が満たす性質について証明問題を出された。

彼はノートの端に、イデアルが環自身の部分加群としてどのように振る舞うかを図解していた。

自由加群の任意の部分加群がまた自由加群になるという定理は、単項イデアル整域において成り立ちます。