actions

素イデアル

素イデアル: prime ideal)は、イデアルで、ある条件を満たすものである。歴史的には、素数素元)の概念の拡張としてデデキントによって代数体整数環に対して定義された[1]。整数環(一般にデデキント環English版)のすべてのゼロでない(整)イデアルは、素イデアルの有限個の積として(順序を除いて)一意的に書ける(イデアル論の基本定理)。スキームの理論は、図形の上の関数の成すから下の空間を構成するという idea がもとになっているが、その時に、その環の素イデアルひとつひとつが、下の空間の点に対応する。

可換環に対して

定義

可換環 R のイデアル PR が素イデアルであるとは、

  • a, bR, abP のとき、aP または bP

を満たすことを言う[2]

R の素イデアルのなす集合は Spec(R) と表される。

例と性質

  • 有理整数環 Z において、素数 p の倍数全体が成すイデアル pZ は素イデアルである。
一般に、可換環 R において、その素元 p が生成するイデアル pR0 でない素イデアルになる。これは逆も正しい。すなわち、pR に対し単項イデアル pR ≠ 0 が素イデアルならば、p は素元である。
  • 一般に、R, S を可換環、f: RS環の準同型としたとき、f による S の任意の素イデアルの引き戻し f−1(S) は、R の素イデアルになる。
  • 可換環 R のイデアル I が素イデアルであることと、剰余環 R/I整域であることは同値である[2]。とくに、0 が素イデアルであることと R が整域であることは同値である。
  • デデキント整域のすべての 0 でない真のイデアルは、素イデアルの積に一意的に分解する[2]

局所化

[math]R[/math] を環、[math]P[/math] をその素イデアルとすると、集合 [math]S=R\setminus P[/math]積閉集合となる。[math]S[/math] による [math]R[/math]局所化 [math]S^{-1}R[/math][math]R_P[/math] と書く。これは [math]PR_P[/math]極大イデアルとする局所環となる。その剰余体 [math]R_P/PR_P[/math][math]\kappa(P)[/math] などと書くこともある[3]

素因子

素イデアル P ∈ Spec(R)R 加群 M のある元 xM零化イデアル ann(x) と一致するとき、PM素因子 (: prime divisor) または伴う素イデアル: associated prime ideal)という[4][3]M の随伴素因子がなす集合を AssR(M) あるいは Ass(M) と表す。AssR(M) の(包含関係について)極小な素イデアルを孤立素因子といい、これら以外の素因子を非孤立あるいは埋め込まれた素因子という。Rネーター環のとき、随伴素因子は非正則元加群の台とも関連があり、準素分解で重要な概念である。

可換とは限らない環に対して

定義

単位的環 Rイデアル P素イデアルであるとは、

PR かつ、任意のイデアル A, BR に対して、ABP ならば AP または BP

を満たすことを言う。

性質

イデアル PR に対して以下の条件は同値である[5][6]

  • P は素イデアル
  • a, bR に対し、(a)(b) ⊆ P ならば aP または bP (ここで、(a) = RaR
  • a, bR に対し、aRbP ならば aP または bP
  • 左イデアル A, B に対し、ABP ならば AP または BP
  • 右イデアル A, B に対し、ABP ならば AP または BP
  • R/P素環

特に単純環素環なので極大イデアルは素イデアルである。

脚注

参考文献

  • 環と加群のホモロジー代数的理論』 日本評論社、2002年、第1版。ISBN 4-535-78367-5。
  • 『Northcottイデアル論入門』 新妻弘訳、共立出版、2007年。
  • ガーレット・バーコフ, ソンダース・マクレーン 『現代代数学概論 改訂第3版』 白水社、1967年。
  • (2001) A first course in noncommutative rings, 2nd, Graduate Texts in Mathematics, Springer-Verlag. ISBN 0-387-95183-0. 
  • 「第V章、§V、C) Dedekindと代数的数」『数学史』I、J. デュドネ、岩波書店、2013年。ISBN 4-00-005503-8。
  • 『可換環と体』 岩波書店、2006年。ISBN 4-00-005198-9。
  • 『可換環論』 共立出版株式会社、2000年、復刊。ISBN 4-320-01658-0。
    • 英訳: (1986) Commutative ring theory, Cambridge Studies in Advanced Mathematics. Cambridge University Press. ISBN 0-521-36764-6. 

関連項目