>>862
誤
素元や素イデアルは素因数分解が成り立つように定義した
正　
素元から単元を除くことや素イデアルが可換環の真部分集合であることは
整数における素因数分解の一意性を考慮した上での定義である

正確に文章を書けないと、数学を正しく学べないよ

🚽　ジャー