局所環における射影的加群と平坦加群の関係：自由加群になる条件をわかりやすく解説

局所環上の加群に関する性質として「射影的加群は自由加群になる」という事実はよく知られています。一方で、平坦加群についても同様に自由加群になるのかどうかは直感的には分かりにくい点です。本記事では、射影性・平坦性・有限生成性の関係を整理しながら、この疑問の構造を解説します。

局所環と加群の基本的な性質

局所環とは、ただ一つの極大イデアルを持つ可換環のことです。この構造のため、加群の性質が全体として単純化される特徴があります。

特に重要なのが、局所環上の有限生成射影加群は必ず自由加群になるという定理です。これは基底の存在を保証する強力な性質です。

一般に、射影加群は直和因子として自由加群に埋め込まれる加群です。

しかし局所環では、冪等元の構造が単純なため、有限生成射影加群は必ず自由加群と同型になります。

この性質が「局所環では射影的なら自由」という結論の核心です。

平坦加群とは、テンソル積を取ったときに完全列が壊れない加群のことです。これは射影加群よりも弱い条件です。

つまり、すべての射影加群は平坦ですが、逆は一般には成立しません。

そのため平坦性だけでは構造を強く制限できない点が重要です。

局所環上では、有限生成という条件が加わると平坦加群は射影加群になります。

そして前述の通り、射影加群は自由加群になるため、結果として有限生成平坦加群は自由加群になります。

しかし無限生成の場合にはこの限りではなく、平坦であっても自由でない加群が存在します。

有限生成の条件は加群の構造を大きく制約します。局所環では特にこの制約が強く働きます。

一方で無限生成の場合、局所環であっても平坦加群が自由になるとは限りません。

この違いが「有限生成なら成り立つが一般には成り立たない」という結論の理由です。

局所環では有限生成射影加群は自由加群になりますが、平坦加群についても有限生成であれば同様に自由加群になります。

しかし無限生成の場合には、平坦加群が必ずしも自由になるわけではありません。

したがって、条件として「有限生成」であるかどうかが結論を大きく左右する重要なポイントになります。