ネーター環
数学においてネーター環（ネーターかん、英: Noetherian ring）は、イデアルの昇鎖条件などのある種の有限性を持つ環の一種。エミー・ネーターによって提唱された。すべてのイデアルは有限生成という条件から単項イデアル整域の一般化と見ることもできる。
定義
環に対して、以下の 3 条件はZFC公理系のもとで同値である。
これらの条件のどれか一つ、従って全部を満たす環は左ネーター的であるあるいは左ネーター環であるという。「左イデアル」を全て「右イデアル」に置き換えても同様のことが成り立ち、右ネーター環が定義される。左ネーター的かつ右ネーター的である環は両側ネーター環と呼ぶ（単にネーター環と呼ぶこともある）が、考えている環が可換環であれば左ネーター環あるいは右ネーター環は自然に両側ネーター環となる。ゆえにネーター的可換環は単にネーター環と呼ぶ（左右の区別が明確であって誤解の虞のない場合には、左ネーター的あるいは右ネーター的であることをネーター的と省略して呼ぶこともあるので、ネーター環という用語が必ずしも可換ネーター環を意味するものというわけではない）。
可換環がネーターであるためには、任意の素イデアルが有限生成であることが十分である[1]。
諸概念
ネーター環の定義において包含関係の双対をとった、降鎖条件、極小条件を満たす環をアルティン環と呼ぶ。アルティン環は一般にネーター環となり、組成列を持つ。
ネーター環の定義において、左または右からの積を加群への左または右作用に読み替え、環のイデアルを環上の部分加群と読み替えることによりネーター加群の概念を得る。左ネーター環とは自然に自身の上の左加群とみてネーター加群であるものに他ならない。
性質
- ネーター環の剰余環はネーター環である。あるいは同じことだが、ネーター環の準同型像はネーター環である。
- ネーター環の部分環はネーター環とは限らない。
例
R を関係 yx = y2 = 0 をもった元 x と y で生成される Z-代数とすると、これは左ネーター環だが右ネーター環でない。証明。
この項目は、抽象代数学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（プロジェクト:数学／Portal:数学）。
- ネータ環のページへのリンク
