既約イデアル
数学において、可換環のイデアルはより大きい2つのイデアルの共通部分として書けないときに、既約 (irreducible) という[1]。
すべての素イデアルは既約である[2]。ネーター環のすべての既約イデアルは準素イデアルであり[1]、したがってネーター環に対して既約分解は準素分解である。主イデアル整域のすべての準素イデアルは既約イデアルである。すべての既約イデアルは primal イデアルである[3]。
整域の元が素元であることとそれで生成されるイデアルが0でない素イデアルであることは同値である。これは既約イデアルに対しては正しくない。つまり、既約イデアルは既約元でない元によって生成されることがある。例えば、 のイデアル は2つの真に大きいイデアルの共通部分ではない。
環 A のイデアル I が既約であるのはそれが定義する代数的集合がザリスキ位相で既約である（つまり任意の空でない開部分集合が稠密である）ときに限る。あるいは同じことだが、I を含む素イデアルからなる Spec A の閉空間がスペクトル位相について既約であるときに限る。逆は正しくない。例えば1つ目と2つ目の順番の消える項をもつ二変数多項式のイデアルは既約でない。
k が代数的閉体であれば、k 上の多項式環の既約イデアルの根基を選ぶことはそのNullstelleからなるアフィン多様体のアフィン空間への埋め込みを選ぶことと同じである。
関連項目
[編集]参考文献
[編集]- ^ a b Miyanishi, Masayoshi (1998), Algebraic Geometry, Translations of mathematical monographs, 136, American Mathematical Society, p. 13, ISBN 9780821887707.
- ^ Knapp, Anthony W. (2007), Advanced Algebra, Cornerstones, Springer, p. 446, ISBN 9780817645229.
- ^ Fuchs, Ladislas (1950), “On primal ideals”, Proceedings of the American Mathematical Society 1: 1–6, doi:10.2307/2032421, MR0032584. Theorem 1, p. 3.
 | この項目は、抽象代数学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（プロジェクト:数学／Portal:数学）。 |