>>741
じゃあお返し

Rは整域とする。

素元の定義
a∈Rは，a≠0 であってかつ(a)∈SpecRであるとき, Rの素元であるという。

既約元の定義
a∈R とする。次の条件を満たすとき，aはR内で既約であるという。
(1) aは零でも単元でもない。
(2) b,c∈R で a=bc なら，bがRの単元であるかまたはcがRの単元であるか，どちらかが成り立つ。

定理
素元は既約元である。