Como formula_121 es un DIP, dicho ideal es generado por un polinomio mónico del menor grado posible entre los polinomios del ideal, al que daremos el siguiente nombre.