ネーター環

ネーター環とは、すべてのイデアルが有限生成である環、あるいは同等に、そのイデアルが昇鎖条件を満たす環である。これは、イデアル論を扱いやすくする有限性仮説である。

Definition

可換環は、イデアルの任意の昇鎖列が安定する場合、同等に、すべてのイデアルが有限生成である場合、同等に、イデアルの空でない任意の族が極大元を持つ場合にネーター的である。

Scope

このトピックでは、ネーター条件の同値な定式化、ヒルベルトの基底定理、ネーター加群、商環、局所化、有限生成における性質の永続性、および可換環論と代数幾何学における恒常的な仮説としてのその役割について扱う。

Core questions

• ネーター環を定義する同値な条件は何ですか？
• ヒルベルトの基底定理はなぜ多項式環をネーター的に保つのでしょうか？
• ネーター性は商環、局所化、有限生成代数にどのように伝播しますか？
• なぜネーター仮説は可換環論においてほぼ普遍的なのですか？

Key theories

同値な定式化

イデアルに関する昇鎖条件、すべてのイデアルの有限生成性、およびイデアルの族に関する極大元条件は同値であり、ネーター環のいくつかの互換性のある定義を与える。

ヒルベルトの基底定理

ある環がネーター的であれば、その環上の有限個の変数を持つ多項式環もネーター的である。したがって、体上および整数上の有限生成代数はネーター的である。

性質の安定性

ネーター環の商環と局所化はネーター的であり、ネーター環上の有限生成加群はネーター的である。したがって、このクラスは可換環論の標準的な構成の下で閉じている。

Clinical relevance

ネーター条件は、可換環論と代数幾何学のほぼすべてを支える有限性仮説である。これは、準素分解が存在すること、多様体が有限個の式によって切り出されること、および主要な構成が終了することを保証するため、幾何学や数論に現れる環はほとんど常にネーター的である。

History

デイヴィッド・ヒルベルトは1890年に不変式論の文脈で彼の基底定理を証明したが、抽象的な昇鎖条件とネーター環の体系的な理論は、1920年代にエミー・ネーターによって確立され、彼女にちなんでこの概念が命名された。

Key figures

• Emmy Noether
• David Hilbert
• Emanuel Lasker

Seminal works

• atiyah1969
• eisenbud1995
• matsumura1989

Frequently asked questions

なぜイデアルの有限生成性はこれほど有用な仮説なのですか？

それは、イデアル、ひいてはそれらが定義する代数多様体が有限のデータで記述されること、イデアルの昇鎖列が無限に続くことがないこと、そして帰納的議論が終了することを保証します。これらは、準素分解と次元論に必要な条件とまさに一致します。

実際に遭遇するほとんどの環はネーター的ですか？

はい。体、主イデアル整域、整数環、およびそれら上の任意の有限生成代数は、ヒルベルトの基底定理によりネーター的です。非ネーター環も存在しますが、幾何学や数論においては比較的特殊です。