Dejemos que W sea una variedad, y I=I(M) entonces tenemos I=rad(I)=P1∩⋯∩Pn donde Pi son ideales primos mínimos que contienen I .
Así, tenemos W=V(I)=V(P1∩⋯∩Pn)⊃V(P1)∪⋯∪V(Pn)
No creo que podamos deducir W=V(P1)∪⋯∪V(Pn) pero no pude hacer un contraejemplo.
¿Alguien podría ponerme un ejemplo? ¿O demostrar la igualdad?