＞素元が単元でないことが定義から直ちに言えるってことだろ？　そんなことは聞いてない

定義からただちに言えるほど自明なことは、定義してることと実質的に同じ　要するにただの言い換え

＞素元分解の一意性を成立させるためにそう定義されたのか、
＞それとも別の事情のためにそう定義され結果的に素元分解の一意性も成立しているのか、

単元を素元とすると、素元分解の一意性は成立しない　これが全て

君こそ間違ってる　マイナス１００点

🚽　ジャー