Corpo de decomposição

Em álgebra abstrata, o corpo de decomposição ou corpo de fatoração de um polinômio P(X) sobre um corpo dado K é uma extensão de corpo L de K sobre o qual P factoriza ("decompõe", daí o nome de corpo de decomposição) em fatores lineares

X − a_i,

e tal que a_i 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. Isto pode mostrar que tal corpo de decomposição existe, e são únicos salvo isomorfismo; a quantidade de liberdade neste isomorfismo é conhecido como grupo de Galois de P (se assume-se que este é separável).

Referências

• Dummit, David S., and Foote, Richard M. (1999). Abstract Algebra (2nd ed.). New York: John Wiley & Sons, Inc. ISBN 0-471-36857-1.