1 定義と基本性質
ノーター環は、イデアルの増大列がある段階で停止する可換環である。この性質により、環の内部構造を有限個のデータで扱いやすくなり、可換代数や代数幾何学の多くの議論の出発点となる。有限生成や分解理論と相性がよく、無限に細分化される状況を排除する役割を果たす。
1.1 ノーター性の定義
可換環がノーターであるとは、すべてのイデアルが有限生成であるか、あるいは同値にイデアルの任意の昇鎖が停止することをいう。ここで昇鎖とは、イデアルの列が包含関係で単調に大きくなる状況を指す。定義は複数あるが、いずれも「無限に新しい情報が現れ続けない」ことを表している。
1.2 昇鎖条件
昇鎖条件は、対象の列が一定段階以降変化しなくなる性質である。ノーター環ではこの条件がイデアルに対して成り立ち、理論全体の有限性を支える。証明や構成の場面では、増え続ける系列を途中で打ち切れるため、帰納法や極大性の議論が使いやすくなる。
1.2.1 イデアルの昇鎖条件
イデアルの列 \(I_1 \subseteq I_2 \subseteq I_3 \subseteq \cdots\) が与えられたとき、ある \(n\) で \(I_n = I_{n+1} = \cdots\) となれば昇鎖条件を満たす。ノーター環ではこの現象が必ず起こる。したがって、イデアルの集合における無限の拡大は生じない。
1.2.2 加群に対するノーター性
加群についても同様に、部分加群の昇鎖が停止する性質をノーター性という。ノーター加群は部分構造の管理がしやすく、環上の線形代数に近い形で扱える。環そのものがノーターであれば、有限生成加群の多くが同種の有限性を共有する。
1.3 基本例と非例
体や整数環はノーター環の基本例であり、多項式環も有限変数の場合はノーターである。一方、無限変数多項式環は通常ノーターではない。例えば、変数が無限にあると、次々に新しい生成元を加えるイデアル列が止まらないことがある。これにより、有限生成性の重要性が際立つ。
2 同値な条件
ノーター性は一つの見方だけでなく、いくつかの同値条件によって特徴づけられる。これにより、イデアルの有限生成性、昇鎖条件、基底定理などが相互に結びつき、異なる問題を一つの枠組みで処理できる。
2.1 ヒルベルト基底定理
ヒルベルト基底定理は、ノーター環上の有限変数多項式環もノーターであることを述べる。これは可換代数における最重要定理の一つで、代数幾何学で用いる座標環の有限性を保証する。基底定理は、ノーター性が多項式を加えても保たれることを示す。
2.2 有限生成イデアルとの関係
ノーター環では、すべてのイデアルが有限個の元で生成される。逆に、全イデアルの有限生成性が成り立てば、その環はノーターである。つまり、ノーター性はイデアル理論における有限生成の普遍的な保証と見なせる。
2.2.1 すべてのイデアルの有限生成性
各イデアルが有限生成であるという事実は、理論の計算可能性を大きく高める。大域的な性質を調べる際にも、無限個の方程式や条件を個別に追う必要がなくなる。多くの証明では、あるイデアルを有限個の元で表し、その生成元だけを用いて議論を進める。
2.2.2 任意のイデアルに対する有限生成系
任意のイデアルに有限生成系が存在することは、局所的な構造を総合する際に有効である。特に、イデアルの包含関係や商環の性質を追跡する場合、有限個の生成元に還元できると扱いが明快になる。この性質は、環の解析を抽象的な分類から具体的な計算へつなげる。
2.3 準備的な補題
ノーター性の証明では、極大元の存在を示す補題や、増大列から有限生成を導く補題が頻繁に使われる。これらはしばしばZornの補題や帰納法と組み合わせられる。また、有限生成部分加群や商構造に関する基本的性質も、後の理論の土台になる。
3 ノーター環の構成と性質
ノーター環は、部分環、商環、局所化、多項式環などの操作に対して、一定の安定した振る舞いを示す。こうした閉性は、具体例を作るうえでも、幾何学的対象を環論で記述するうえでも重要である。
3.1 部分環と商環
部分環ではノーター性が保存されないことがある一方、商環では一般に良い性質が保たれる。したがって、ノーター環の範囲で構成を行うときは、どの操作が性質を維持するかを確認する必要がある。商や局所化は特に頻用される操作である。
3.1.1 商環のノーター性
ノーター環 \(R\) とイデアル \(I\) に対し、商環 \(R/I\) はノーターである。これは、商写像によってイデアルの対応が制御されるためである。多くの場合、複雑な環を簡単な形に落として性質を調べる際、この事実が基本となる。
3.1.2 局所化との関係
局所化は、ある部分集合の元を可逆にして環を拡大する操作である。ノーター環を局所化すると、得られる環もノーターになる。これにより、ある点の近傍での性質を環論的に検討しやすくなり、代数幾何学の局所研究と結びつく。
3.2 多項式環
多項式環はノーター性の代表的な例と応用先である。有限変数の場合はヒルベルト基底定理によりノーター性が保証されるが、変数が無限になると状況は大きく変わる。この差は有限性条件の本質をよく示している。
3.2.1 有限変数多項式環
ノーター環 \(R\) 上の \(R[x_1,\dots,x_n]\) はノーターである。したがって、座標環として現れる多くの代数的対象は有限性を持つ。これにより、代数方程式系の理論が有限個の生成元に基づいて構成できる。
3.2.2 無限変数多項式環との比較
無限個の変数を持つ多項式環では、ノーター性が失われることが多い。新しい変数を使って生成元を次々に追加できるため、昇鎖が止まらない例が現れる。有限変数との対比は、ノーター環の定義が単なる技術条件ではなく、構造の根本を捉えることを示す。
3.3 積環と直積
有限個のノーター環の直積はノーター環になる。これは、各成分のイデアルが独立に制御できるためである。直積構造は、複数の成分を持つ環をまとめて扱うときに便利であり、成分ごとの有限性を全体へ移せる。
4 応用と関連分野
ノーター環は、可換代数の基本概念としてだけでなく、代数幾何学や加群論の中心にも位置する。有限生成性が保証されることで、構造の分析、分解、分類が現実的な手順として成立する。
4.1 可換代数への応用
可換代数では、イデアルの構造、素イデアル、局所環、分解理論などがノーター性の恩恵を強く受ける。証明の多くは「最大」「最小」「有限生成」のいずれかを利用し、無限的な複雑さを避ける。
4.1.1 イデアルの分解
ノーター環では、イデアルをより基本的な部分に分けて考える理論が展開しやすい。一次分解や関連する分解定理は、ノーター性の下で有効に機能する。これにより、環の内部構造をより細かく解析できる。
4.1.2 素イデアルと極大イデアル
素イデアルと極大イデアルは、ノーター環の構造を読むうえで重要な役割を持つ。極大イデアルは局所化や剰余体の構成に対応し、素イデアルはスペクトルの幾何学的点に結びつく。ノーター性は、これらのイデアル族の扱いを体系化する。
4.2 代数幾何学への応用
代数幾何学では、代数多様体やスキームを座標環で記述する際、ノーター環が基礎的な道具となる。有限生成性があると、零点集合や閉集合の性質が明確になり、幾何学的対象を代数的に制御しやすくなる。
4.2.1 代数多様体の理論
代数多様体の多くは、ノーター性をもつ座標環を通じて記述される。これは、方程式系の解集合が有限個の条件により決まることを意味する。結果として、次元、既約性、特異点などの概念が整った形で議論できる。
4.2.2 閉集合と零点集合
イデアルの零点集合は、代数幾何における閉集合の基本的なモデルである。ノーター環では、閉集合の連鎖も安定しやすく、スペクトル空間の構造理解に寄与する。イデアルと幾何学的集合の対応は、環論と幾何を結ぶ主要な橋渡しとなる。
4.3 加群論への応用
加群論では、ノーター性が部分加群の整理に直結する。有限生成加群の構造解析や、鎖条件を用いた分類において、ノーター加群は標準的な対象である。環論の結果を加群へ移す場面でも、ノーター性はしばしば前提となる。
4.3.1 ノーター加群
ノーター加群は、部分加群の昇鎖が停止する加群である。有限生成性を持つ場合が多く、構造論の出発点として扱いやすい。環がノーターであれば、有限生成加群の理論は特に整然と展開する。
4.3.2 アルティン加群との比較
アルティン加群は部分加群の降鎖が停止する加群であり、ノーター加群とは対照的な有限性条件を持つ。両者が同時に成り立つと、対象はさらに強く制限される。比較を通じて、昇鎖と降鎖がそれぞれ異なる方向の複雑さを抑えることがわかる。