formula_100 si formula_101 es el grado del polinomio mónico e irreducible en formula_102 que tiene a formula_103 como raíz, donde formula_104 es un cuerpo y formula_102 son los polinomios con coeficientes en formula_104.