素イデアル

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

可換環に対して

定義
可換環  のイデアル  が素イデアルであるとは、
 ,  のとき、 または  
を満たすことを言う。

環  の素イデアルのなす集合は  と表される。

例と性質
有理整数環  において、素数  の倍数全体が成すイデアル  は素イデアルである。
一般に、可換環  において、その素元  が生成するイデアル  は  でない素イデアルになる。これは逆も正しい。すなわち、 に対し単項イデアル  が素イデアルならば、 は素元である。
一般に、,  を可換環、 を環の準同型としたとき、 による  の任意の素イデアルの引き戻し  は、 の素イデアルになる。
可換環  のイデアル  が素イデアルであることと、剰余環  が整域であることは同値である。とくに、 が素イデアルであることと  が整域であることは同値である。
デデキント整域のすべての  でない真のイデアルは、素イデアルの積に一意的に分解する。

局所化
 を環、 をその素イデアルとすると、集合  は積閉集合となる。 による  の局所化  を  と書く。これは  を極大イデアルとする局所環となる。その剰余体  を  などと書くこともある。

素因子

素イデアル  が  加群  のある元  の零化イデアル  と一致するとき、 を  の素因子 () または伴う素イデアル（）という。 の随伴素因子がなす集合を  あるいは  と表す。 の（包含関係について）極小な素イデアルを孤立素因子といい、これら以外の素因子を非孤立あるいは埋め込まれた素因子という。 がネーター環のとき、随伴素因子は非正則元や加群の台とも関連があり、準素分解で重要な概念である。

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

定義
単位的環  のイデアル  が素イデアルであるとは、
 かつ、任意のイデアル  に対して、 ならば  または 
を満たすことを言う。

性質
イデアル  に対して以下の条件は同値である。
  は素イデアル
  に対し、 ならば  または 　（ここで、）
  に対し、 ならば  または 
 左イデアル  に対し、 ならば  または 
 右イデアル  に対し、 ならば  または 
  は素環

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

脚注

参考文献 
 
 
 
 
 
 
 
 英訳：

関連項目
環のスペクトル
局所環
概型
代数幾何学
ヒルベルトの零点定理

 
環論

数学に関する記事