Un hecho muy importante es que un anillo de polinomios formula_21 es un dominio de ideales principales (DIP) si y sólo si formula_1 es un cuerpo.