ここでは「すべての既約元が素元になるがUFDでない例」を紹介したいと思います. 代数学の教科書ではよく次の命題が載っています. 命題 1. 可換環 が ならば, のすべての既約元は素元になる. 今回はこの命題の逆の反例を考えるということです. 実は次のような…