素イデアル
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/03/14 15:35 UTC 版)
素イデアル(そイデアル、英: prime ideal)は、環のイデアルで、ある条件を満たすものである。歴史的には、素数(素元)の概念の拡張としてデデキントによって代数体の整数環に対して定義された[1]。整数環(一般にデデキント環)のすべてのゼロでない(整)イデアルは、素イデアルの有限個の積として(順序を除いて)一意的に書ける(イデアル論の基本定理)。スキームの理論は、図形の上の関数の成す環から下の空間を構成するという idea がもとになっているが、その時に、その環の素イデアルひとつひとつが、下の空間の点に対応する。
- 1 素イデアルとは
- 2 素イデアルの概要
- 3 脚注
素イデアル
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/05/21 08:06 UTC 版)
真のイデアル I が素イデアル (prime ideal) とは、R の元 a, b が ab ∈ I を満たすならば必ず a と b の少なくとも一方が I に属すことを言う。素イデアルによる商は一般には素環、可換の場合は整域となる。
※この「素イデアル」の解説は、「イデアル (環論)」の解説の一部です。
「素イデアル」を含む「イデアル (環論)」の記事については、「イデアル (環論)」の概要を参照ください。
- 素イデアルのページへのリンク