Em álgebra abstrata, o corpo de decomposição ou corpo de fatoração de um polinômio P sobre um corpo dado K é uma extensão de corpo L de K sobre o qual P factoriza em fatores lineares X − ai,e tal que ai gera L sobre K. A extensão L é então uma extensão de grau mínimo sobre K na qual P decompõe-se. Wikipedia