素イデアル（英: prime ideal）は、環のイデアルで、ある条件を満たすものである。歴史的には、素数（素元）の概念の拡張としてデデキントによって代数体の整数環に対して定義された[1]。整数環（一般にデデキント環）のすべてのゼロでない（整）イデアルは、素イデアルの有限個の積として（順序を除いて）一意的に書ける（イデアル論の基本定理）。スキームの理論は、図形の上の関数の成す環から下の空間を構成するという idea がもとになっているが、その時に、その環の素イデアルひとつひとつが、下の空間の点に対応する。
可換環に対して
定義
可換環 R のイデアル P ≠ R が素イデアルであるとは、
- a, b ∈R, ab ∈P のとき、a ∈ P または b ∈ P
を満たすことを言う[2]。
環 R の素イデアルのなす集合は Spec(R) と表される。
例と性質
- 有理整数環 Z において、素数 p の倍数全体が成すイデアル pZ は素イデアルである。
- 一般に、可換環 R において、その素元 p が生成するイデアル pR は 0 でない素イデアルになる。これは逆も正しい。すなわち、p ∈ R に対し単項イデアル pR ≠ 0 が素イデアルならば、p は素元である。
- 一般に、R, S を可換環、f: R → S を環の準同型としたとき、f による S の任意の素イデアルの引き戻し f−1(S) は、R の素イデアルになる。
- 可換環 R のイデアル I が素イデアルであることと、剰余環 R/I が整域であることは同値である[2]。とくに、0 が素イデアルであることと R が整域であることは同値である。
- デデキント整域のすべての 0 でない真のイデアルは、素イデアルの積に一意的に分解する[2]。
局所化
を環、 をその素イデアルとすると、集合 は積閉集合となる。 による の局所化 を と書く。これは を極大イデアルとする局所環となる。その剰余体 を などと書くこともある[3]。
素因子
素イデアル P ∈ Spec(R) が R 加群 M のある元 x ∈ M の零化イデアル ann(x) と一致するとき、P を M の素因子 (英: prime divisor) または伴う素イデアル（英: associated prime ideal）という[4][5]。M の随伴素因子がなす集合を AssR(M) あるいは Ass(M) と表す。AssR(M) の（包含関係について）極小な素イデアルを孤立素因子といい、これら以外の素因子を非孤立あるいは埋め込まれた素因子という。R がネーター環のとき、随伴素因子は非正則元や加群の台とも関連があり、準素分解で重要な概念である。
可換とは限らない環に対して
定義
単位的環 R のイデアル P が素イデアルであるとは、
- P ≠ R かつ、任意のイデアル A, B ⊆ R に対して、AB ⊆ P ならば A ⊆ P または B ⊆ P
を満たすことを言う。
性質
イデアル P ≠ R に対して以下の条件は同値である[6][7]。
- P は素イデアル
- a, b ∈ R に対し、(a)(b) ⊆ P ならば a ∈ P または b ∈ P （ここで、(a) = RaR）
- a, b ∈ R に対し、aRb ⊆ P ならば a ∈ P または b ∈ P
- 左イデアル A, B に対し、AB ⊆ P ならば A ⊆ P または B ⊆ P
- 右イデアル A, B に対し、AB ⊆ P ならば A ⊆ P または B ⊆ P
- R/P は素環
脚注
参考文献
- 岩永, 恭雄、佐藤, 眞久『環と加群のホモロジー代数的理論』（第1版）日本評論社、2002年。ISBN (4-535-78367-5)。
- Northcott, D. G. 著、新妻弘 訳『Northcottイデアル論入門』共立出版、2007年。
- ガーレット・バーコフ, ソンダース・マクレーン『現代代数学概論 改訂第３版』白水社、1967年。
- Lam, T. Y. (2001). A first course in noncommutative rings. Graduate Texts in Mathematics. 131 (2nd ed.). New York: Springer-Verlag. ISBN (0-387-95183-0). MR1838439. Zbl 0980.16001
- J. デュドネ 編「第V章、§V、C) Dedekindと代数的数」『数学史』 I、岩波書店、2013年。ISBN (4-00-005503-8)。
- 堀田, 良之『可換環と体』岩波書店、2006年。ISBN (4-00-005198-9)。
- 松村, 英之『可換環論』（復刊）共立出版株式会社、2000年。ISBN (4-320-01658-0)。