Es decir, el cuerpo de descomposición es el que resulta de adjuntar a formula_1 todas las raíces del polinomio formula_7: