3
大学数学基礎解説
文献あり

環上の加群の組成列と束論

103
0

まえがき

この記事では,環上の加群について定義される組成列の長さが組成列によらず一定であることを束論を用いて証明します(ただ,少し但し書きがつきます).

証明

組成列の長さは組成列によらず一定である

任意のR加群Mについて,Mがアルティン加群かつネーター加群で長さが有限の組成列を持つなら組成列の長さは組成列によらず一定である.

Mの部分加群全体の集合は包含関係による順序によって束をなす. M1,M2M の結びは M1+M2,交わりは M1M2 である.
ここで M1M3 のとき M1+(M2M3)=(M1+M2)M3 であるのでこの束はモジュラ束である.
高さ有限なモジュラ束においてはJordan-Dedekind チェイン条件が成り立つ,すなわち任意の区間について,その区間の極大チェインの長さは全て等しいことが知られているので,組成列の長さはMだけに依存する.

用語などは このPDF を参照しました.上の証明の本質部分である「高さ有限なモジュラ束においてはJordan-Dedekind チェイン条件が成り立つ」は命題1.31として紹介されています.束論の入門としておすすめです.

あとがき

ネーター環における準素イデアル分解とかも,存在性は束論で示せます.
ネーター環,加群やアルティン環,加群の性質の良さというのは,そのイデアルあるいは部分加群と包含関係 , のなす束の性質の良さなのでは,と最近思っています(初学者なので分かりませんが...).

参考文献

投稿日:429
更新日:429
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

抹茶屋
抹茶屋
28
2098
数弱 抹茶より麦茶がすき

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. まえがき
  2. 証明
  3. あとがき
  4. 参考文献