加群論

加群論は、スカラーが体ではなく環から得られるベクトル空間の一般化である加群を研究し、線形代数、アーベル群論、および環の表現論を統一するものです。

Definition

環 R 上の加群とは、R の作用が群構造と両立するアーベル群であり、ベクトル空間（体上の加群）とアーベル群（整数上の加群）を一般化したものです。加群論は、このような構造とそれらの間の写像を研究します。

Scope

この分野は、加群と部分加群、商加群と準同型写像、自由加群と射影加群、直和と直積、完全列、テンソル積と双線形写像、および主イデアル整域上の有限生成加群の構造定理を扱います。これは、現代代数学全体で用いられるホモロジー的言語を提供します。

Sub-topics

• 自由加群
• 加群
• 有限生成加群の構造定理
• テンソル積

Core questions

• 加群が基底を持つのはどのような場合か、また自由加群はベクトル空間とどのように異なるのか？
• 主イデアル整域上の有限生成加群はどのように分類されるのか？
• テンソル積は双線形構成と環の変更をどのように符号化するのか？
• どのようなホモロジー的不変量（射影性、完全性）が、加群がベクトル空間のように振る舞わない度合いを測定するのか？

Key theories

主イデアル整域上の有限生成加群の構造定理

主イデアル整域上のすべての有限生成加群は、自由加群と巡回ねじれ加群の直和として分解され、その不変量（初等因子または不変因子）によって同型を除いて分類されます。

テンソル積の普遍性

2つの加群のテンソル積は、双線形写像の普遍的なターゲットであり、双線形構成を線形構成に変換し、環間の基底変換を可能にします。

自由加群、射影加群、および完全列

自由加群は基底を一般化し、射影加群は自由加群の直和因子であり、短完全列とその分裂は、加群が部分加群と商加群からどのように構築されるかを捉え、ホモロジー代数学の基礎を築きます。

Clinical relevance

加群論は、有限生成アーベル群の分類や線形作用素の標準形など、中心的な構成を統一し一般化します。これらはどちらも主イデアル整域の構造定理の例であり、群環上の加群はまさに表現そのものであり、加群論を表現論、代数的位相幾何学、可換代数学と結びつけます。

History

加群は、デデキントのイデアルや19世紀の算術におけるアーベル群を一般化したものであり、エミー・ネーターによって代数学の中心に据えられました。彼女は、イデアル、イデアルの商、および表現がすべて加群であることを認識しました。この主題は、カルタン、アイレンバーグ、マックレーンによって開発されたホモロジー代数学の自然な設定となりました。

Key figures

• Emmy Noether
• Richard Dedekind
• Wolfgang Krull
• Emil Artin
• Saunders Mac Lane

Seminal works

• lang2002
• dummit2004
• atiyah1969

Frequently asked questions

なぜすべての加群がベクトル空間のように自由ではないのですか？

体上のすべての加群は基底を持ちますが、一般的な環上では、要素がねじれや関係を持つことがあり、基底では表現できない場合があります。例えば、n を法とする整数は、基底を持たない整数上の加群です。自由加群は、基底を許容する特別な加群です。

加群論は線形代数とアーベル群をどのように回復するのですか？

体上の加群はまさにベクトル空間であり、整数上の加群はまさにアーベル群です。したがって、主イデアル整域上の単一の構造定理は、有限生成アーベル群の分類と行列の標準形の両方をもたらします。