>>852
>>721を見て思ったけど、批判してる人は素元を素イデアルから定義する流儀だろうけど、0イデアルが素イデアルかどうかについては分かってるのかね?