maximal ⇒ prime

この場合

I( V( A ) )

= A

が成り立っている.

普通は

I( V( A ) )

= rad A : Hilbert-零点定理

⊃ A

ということは実は

A : prime

更には

A : maximal

になっている.

maximal

⇒

prime

だから

辻褄は合っている.