環Rのすべての元xが、x^n=x (n>1) を満たすとき(nはxに依存することもある)
Rの素イデアルはすべて極大イデアルでつか?