2021-12-03 自由加群の自由加群でない部分加群 環論 具体例 ここでは自由加群の自由加群でない部分加群の例を簡単に挙げます. ちなみに一般的に 上の自由加群の部分加群は自由加群である という事実があります. なので環としては でないものを用意して考えてみました. 命題 とすると, は の自由加群でない部分加群である. 証明 が自由加群であるとするとランクは のランク以下なので または となる. しかしながら は明らかなのでランクは ではなく, また単項生成でないのでランクは でもない. よって は の自由加群でない部分加群である. (終) 何か間違いなどあれば教えてください