25/12/28 23:52:07.63 cHBLDvCc.net
xが整域Rの単元なら(x)=R∉SpecR（Rの素イデアル全体の集合）だからxはRの素元でない。
Zの単元（xy=1の解になり得るもの）は±1のみ。
25/12/28 23:52:07.63 cHBLDvCc.net
xが整域Rの単元なら(x)=R∉SpecR（Rの素イデアル全体の集合）だからxはRの素元でない。
Zの単元（xy=1の解になり得るもの）は±1のみ。
25/12/28 23:52:07.63 cHBLDvCc.net
xが整域Rの単元なら(x)=R∉SpecR（Rの素イデアル全体の集合）だからxはRの素元でない。
Zの単元（xy=1の解になり得るもの）は±1のみ。