Dado un cuerpo formula_1, y un polinomio no constante formula_2 (con coeficientes en formula_1) de grado formula_4, se define el cuerpo de descomposición de formula_5 como un cuerpo formula_6 que cumple: