Nullstellensatz de Hilbert

Conjunto de teoremas relacionados que vinculan ideales en anillos de polinomios sobre un cuerpo algebraicamente cerrado k con conjuntos algebraicos en el espacio afín: clásicamente, el Nullstellensatz fuerte afirma que para un ideal I ⊂ k[x1,…,xn] el ideal de funciones que se anulan en el conjunto de ceros V(I) es la raíz radical rad(I); la forma débil identifica los ideales maximales con puntos k