25/12/29 06:22:13.57 twCwiNxL.net
>>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の単元であるか，どちらかが成り立つ。
定理
素元は既約元である。
25/12/29 06:22:13.57 twCwiNxL.net
>>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の単元であるか，どちらかが成り立つ。
定理
素元は既約元である。