actions

素元

数学、特に抽象代数学において、可換環素元: prime element)は整数における素数既約多項式と似たある性質を満たす対象である。素元と既約元を区別するよう注意しなければならない。既約元はUFDにおいては素元と同じ概念であるが、一般には異なる。

定義

可換環 R の元 p は次の性質を満たすとき素元であると言う。p は 0 でも単元でもなく、R のある元 ab に対して pab を割り切るときにはいつでも、pa を割り切るか pb を割り切る。同じことだが、元 p が素元であることと p によって生成される単項イデアル (p) が 0 でない素イデアルであることは同値である[1]

素元に対する関心は算術の基本定理から来る。これはすべての 0 でない整数は本質的にはただ1つの方法で 1 か -1 に正の素数をいくつか掛けたものとして書くことができるというものである。これは一意分解整域の研究を導いた。これはたった今整数に対して述べたことを一般化したものである。

素元であるかどうかは元をどの環に属していると考えるかによって異なる。例えば 2 は Z において素元だが、ガウスの整数環 Z[i] においては素元ではない。2 = (1 + i)(1 − i) であって 2 は右辺のどの因子も割り切らないからだ。

素イデアルとの関係

(単位元をもつ)環 R のイデアル I は、その剰余環 R/I整域であるときに素イデアルである。

0でない単項イデアル素イデアルであることとそれがある1つの素元で生成されることは同値である。

既約元

素元を既約元と混同してはならない。整域において、すべての素元は既約元である[2]が、逆は一般には正しくない。しかしながら、一意分解整域においては[3]、あるいはより一般にGCD整域においては、素元と既約元は同じものである。

以下は環の素元の例である。

参考文献

脚注
  1. Hungerford 1980, Theorem III.3.4(i), 定理と証明の下の注意で指摘されているように、結果は完全に一般に成り立つ。
  2. Hungerford 1980, Theorem III.3.4(iii)
  3. Hungerford 1980, Remark after Definition III.3.5
文献
  • Kaplansky, Irving (1970), Commutative rings, Boston, Mass.: Allyn and Bacon Inc., pp. x+180, MR 0254021