maximal ⇒ primeこの場合 I( V( A ) ) = A が成り立っている. 普通は I( V( A ) ) = rad A : Hilbert-零点定理 ⊃ A ということは実は A : prime 更には A : maximal になっている. maximal ⇒ prime だから 辻褄は合っている.