25/12/29 05:26:06.03 twCwiNxL.net
０でも単元でもないというのは既約元の定義（の一部）であって、素元は既約元であるという定理の帰結として素元は０でも単元でもない。
ちなみに一意分解整域では素元の概念と既約元の概念が一致する。
25/12/29 05:26:06.03 twCwiNxL.net
０でも単元でもないというのは既約元の定義（の一部）であって、素元は既約元であるという定理の帰結として素元は０でも単元でもない。
ちなみに一意分解整域では素元の概念と既約元の概念が一致する。