# Cos de ruptura

En Matemàtiques i més precisament en àlgebra en el marc de la teoria de Galois un cos de ruptura d'un polinomi irréductible P(X) amb coeficients en un cos K és una Extensió algebraica mínima de K que conté almenys una arrel del polinomi.
Segons els autors, es poden trobar altres definicions del cos de ruptura (vegeu secció altres definicions).
Es demostra que amb la definició escollida, si P és un polinomi irreductible, tots els cossos de ruptura de P(X) són isomorfs a K[X]/(P(X)), l'anell K[X] dels polinomis amb coeficients a K quocient l'ideal engendrat pel polinomi P(X).
Un cos de ruptura permet trobar un cos en el qual el polinomi pot ser romput però, en general, amb aquesta construcció no n'hi ha prou a escindir totalment el polinomi, és a dir a descompondre'l en producte de factors de primer grau. La construcció d'un cos de ruptura no és doncs més que una etapa en la construcció del cos de descomposició en el qual el polinomi podrà ser totalment escindit. Són els cossos de descomposició que, en el cas en què el criteri de séparabilitat està assegurat, posseeixen les propietats adequades necessàries per aplicar el teorema fonamental de la teoria de Galois.
Si un cos de ruptura no conté la totalitat de les arrels de P(X), llavors és possible reiterar l'operació fins que s'obtingui una extensió algebraica que contingui totes les arrels: s'obté el cos de descomposició del polinomi.

## Definició

Sigui K un cos i P(X ) un polinomi irreductible d'una indeterminada i amb coeficients en K. Si L és una extensió de K en la qual P posseeix una arrel, llavors el més petit subcos de $L$ que conté K i α, és l'element primitiu de K definit per α i es nota K(α). Un cos de ruptura de P(X ), polinomi irreductible sobre K, és per definició un element primitiu K(α) de K, on α és una arrel de P. Llavors α és algebraica sobre K, i P (que és irreductible) és un inversible respecte, el polinomi mínim de sobre K.
Una extensió L d'un cos K es pot veure com un espai vectorial sobre K, la dimensió del qual s'anomena el grau de L sobre K i es nota [L:K]. Un cos de ruptura de P sobre K és una Extensió algebraica finita de K. En el paràgraf següent es demostra que, el polinomi P és irreductible, el grau d'aquesta extensió és per força el grau n del polinomi P, ja que, sent una arrel de P, K(α) és K[α], l'anell més petit engendrat per K i, α espai vectorial de base α, …, α$^{n-1}$ sur K.
Per tant, un cos de ruptura F de P polinòmi irreductible de grau n sobre K és (de forma idistinta i equivalent):
* una extensió (algebraica) simple de K definida per una arrel de P;
* una extensió mínima de K que coté una arrel de P, «mínima» el que significa que cap subcos propi de F no conté cap arrel de $P(X)$;
* una extensió de K que conté almenys una arrel de P i de grau mínim sobre K;
* una extensió de K que conté almenys una arrel de P i de grau n sobre K.
Exemples
* Al cos dels nombres reals, el polinomi X² + 1 no té, en seu cos de coeficients, cap arrel. En efecte, tot quadrat del cos dels nombres reals és positiu. Un cos de ruptura d'aquest polinomi és rl dels nombres complexos. És de grau 2 sobre $\scriptstyle \mathbb {R}$ (Vegeu construcció dels nombres complexos).
* Al cos dels nombres racionals, el polinomi X$^3$ - 2 no posseeix arrel en $\scriptstyle \mathbb {Q}$ però en posseeix una en $\scriptstyle \mathbb {R}$, sigui $\scriptstyle {\sqrt[{3}]{2}}$. Es verifica que el subcos de $\scriptstyle \mathbb {R}$, $\scriptstyle \mathbb {Q} ({\sqrt[{3}]{2}})$ és el conjunt de tots els reals que s'escriuen $\scriptstyle a+b{\sqrt[{3}]{2}}+c{\sqrt[{3}]{4}}$ amb a, b i c racionals. És de grau 3. Tanmateix aquesta extensió no conté totes les arrels del polinomi. En efecte, n'hi ha dues que tenen un component complex i que no són elements d'aquest cos, és a dir $\scriptstyle {\sqrt[{3}]{2}}\mathrm {j}$ i $\scriptstyle {\sqrt[{3}]{2}}\mathrm {j} ^{2}$ on j i j² són les dues arrels cúbiques de la unitat diferents d'1 ($\scriptstyle \mathrm {j} =-{\frac {1}{2}}+\mathrm {i} {\frac {\sqrt {3}}{2}}$). Es verifica que el cos dels complexos conté tres cossos de ruptura de X$^3$ - 2, $\scriptstyle \mathbb {Q} ({\sqrt[{3}]{2}})$ ja mencionat, $\scriptstyle \mathbb {Q} ({\sqrt[{3}]{2}}\mathrm {j} )$ (que és el conjunt dels complexos de la forma $\scriptstyle a+b{\sqrt[{3}]{2}}j+c{\sqrt[{3}]{4}}j^{2}$ amb a, b i c racionals), i $\scriptstyle \mathbb {Q} ({\sqrt[{3}]{2}}\mathrm {j} ^{2})$ (definició anàloga). Tots són de grau 3, i són necessàriament isomorfs 2 a 2 (vegeu el teorema que segueix). Cap no és un cos de descomposició de `` X$^3$ - 2 (el cos més petit que conté totes les arrels de P(X ). S'obté reiterant això la construcció d'un cos de ruptura.
* Un cos de ruptura d'un polinomi irreductible pot ser igual al cos de descomposició d'aquest, fins i tot si el grau del polinomi és estrictament superior a 2. És el cas del cos de ruptura sobre $\scriptstyle \mathbb {Q}$ del polinomi X$^4$+X$^3$+X²+X+1, les arrels del qual són les 4 arrels cinquenes de la unitat diferents d'1: si α és una d'elles, les 4 arrels són, α, α², α$^3$, α$^4$ (vegeu també Polinomi ciclotòmic). Aquest és sempre el cas per a un polinomi irreductible sobre un cos finit.

## Propriétés

* Existència i unicitat
* Sia P un polinomi irreductible de grau n sobre K, llavors existeix un cos de ruptura per a P(X) de grau n sobre K únic, tret d'isomorfismes: és el cos K[X]/(P(X)).
* Demostració que L és un espai vectorial sobre K de dimensió igual al grau de P(X).
    La família (1, α, α², α$^{n-1}$) on α es defineix com la classe de X és en efecte una base de L. Aquesta família és lliure, ja que tota combinació lineal no nul·la posseeix un representant de grau estrictament més petit que n. Aquest representant n pot ser un múltiple de P(X) i, per tant, la combinació lineal no és nul·la. Sigui llavors A(X) un representant d'un element de L, la divisió euclidiana entre P(X) mostra que existeix un altre representant R(X) de la classe de A(X) engendrat per la família. La classe de P(X) apareix com una combinació lineal de la base, igual a R(α), i la família és generadora. És doncs una base i [L:K] és igual al grau del polinomi P(X).
* Demostració L és un cos.
    Com que ja s'ha establert que L és un anell, n'hi ha prou amb demostrar que cada element diferent de 0 és inversible. Sigui l un element no nul de L i R(X) un representant en K[X] de grau estrictament inferior a n. els dos polinomis R(X) i P(X) són primers entre ells ja que l'últim polinomi és irreductible i el primer és de grau estrictament inferior al de P(X). La identitat de Bezout assegura llavors existència de dos polinomis A(X) i B(X) tals que:
$A(X).P(X)+B(X).R(X)=1\quad {\mbox{et }}B(\alpha ).R(\alpha )={\bar {1}}{\mbox{ ja que }}P(\alpha )={\bar {0}}$
* Demostració que L posseeix una arrel de P
    Si α està definit com la classe de X, P(α) és llavors la classe de P(X). Però la classe de P(X) és també la classe de 0. Per tant, P(α) = 0 i és una arrel de P.
* Demostració que tot cos de ruptura de P(X) és isomorf a K[X]/(P(X)).
    Sigui $L'$ un cos de ruptura de $P(X)$. Es defineix un homomorfisme de $K$-algèbres de $K[X]$ en $L'$ enviant $X$ sobre una arrel de $P(X)$ en $L'$. L'ideal engendrat per $P(X)$ està en el nucli de l'homomorfisme, s'obté doncs pel teorema de factorització un homomorfisme de $K$-algèbres de $K[X]/(P(X))$ en $L'$. És injectiu ja que $K[X]/(P(X))$ és un cos. La seva imatge és una subextensió de $L'$ que conté una arrel de $P(x)$. Per la seva minimalitat, $L'$ és doncs igual a aquesta imatge. El morfisme injectiu és per tant també exhaustiu, i $L'$ és doncs isomorf a $K[X]/(P(X))$.
Per tant, tot cos engendrat per K i una arrel de P(X) és un cos de ruptura de P(X) de grau n sobre K, isomorf a K[X]/(P(X))
La irreductibilitat del polinomi P és necessària per provar la unicitat d'una extensió mínima que contingui una arrel del polinomi. Un producte de dos polinomis irreductibles de graus diferents sobre K tindrà duess extensions de grau diferent sobre K, segons el que precedeix i, per tant, no isomorfes. Fins i tot si els graus són els mateixos, els cossos no són per força isomorfs. Per exemple en Q[X] (aquí Q designa el cos dels nombres racionals), el polinomi X$^4$ - X² - 2 = (X²+1)(X²-2) posseeix dues extensions de cos de dimensió mínima que contenen una arrel de P : Q[i] i Q[√2] Aquestes dues extensions no són isomorfes.
La clausura algebraica d'un cos és un sobrecos de K tal que tots els polinomis amb coeficients en el sobrecos són escindibles, és a dir es descomponen en producte de polinomis de primer grau. Si $\alpha$ és una arrel de P(X) en Ω llavors K[Ω], cos engendrat per K i α és un cos de ruptura del polinomi. La proposició següent estableix el vincle entre el cos de ruptura i els subcossos del tancat algebraic isomorfs al cos de ruptura.
* Morfismes de L al tancat algebraic de K
* Si L és un cos de ruptura del polinomi irreductible P(X) i si Ω és la clausura algebraica de K, existeixen com a màxim n morfismes de L en Ω. Si P(X ) és un polinomi séparable, llavors existeixen exactament n morfismes.
Un polinomi s'anomena separable si no admet arrel múltiple en Ω (el que equival a afirmar que és primer al seu polinomi derivat). És sovint el cas per a un polinomi irreductible, és sempre veritat sobre un cos perfecte (per exemple el cos dels nombres racionals, el cos dels nombres reals o tot cos de característica nul·la; és igualment el cas dels cossos finits). Veure l'article sobre els extensions separables per a més detalls.

## Altres definicions

Es troben tanmateix altres definicions del cos de ruptura.
Alguns anomenen cos de ruptura, a tot cos en el qual el polinomi P(X) posseeix una arrel. És el cas per exemple de mathématiques.net. Segons aquesta accepció $\scriptstyle \mathbb {R}$ seria un cos de ruptura del polinomi $\scriptstyle X^{3}-2$
D'altres diuen cos de ruptura d'un polinomi no constant tot cos de grau finit sobre K en el qual P sigui escindible. És el cas de Lucien Chambadal. Es troba una definició propera a aquesta a l'article de l'Encyclopædia Universalis on el cos de ruptura d'un polinomi P(X) és el cos engendrat per K i el conjunt de les arrels de P, és una definició propera a la que es troba a François Le Lionnais.
En altres autors finalment, la cerca d'una extensió mínima de K que contingui una arrel de P(X) continua sent una etapa obligada per a la construcció d'un cos de descomposició però aquesta no té nom específic. És el cas, per exemple, amb Bourbaki, amb Lang o amb MacLane i Birkhoff.

## Notes i referències

* ↑ Aquesta definició correspon a la que es troba en nombrosos autors, Perrin, Curs d'àlgebra, Patrice Tauvel, Àlgebra. Ramis, Deschamps i Odoux., Curs de matemàtiques especials, Jean Fresnel, Anells, pàgina 152. Hermann (2001),Nocions de teoria dels cossos Arxivat 2009-06-16 a Wayback Machine. de D. Harari. També s'ensenya a la universitat, se la troba per exemple en un curs sobre els cossos finits Arxivat 2016-05-09 a Wayback Machine. de la Universitat de Niça, en un full d'exercicis de la Universitat Denis Diderot, és també la definició que en dona Espacemath Arxivat 2009-12-15 a Wayback Machine.
* ↑ Cos de ruptura Arxivat 2006-07-21 a Wayback Machine. en mathématiques.net
* ↑ Lucien Chambadal, Dictionnaire des mathématiques modernes, edicions Larousse.
* ↑ Robert Gergondey, article Cos (matemàtiques) en Encyclopæedia Universalis.
* ↑ François le Lionnais, Dictionnaire des mathématiques.
* ↑ Plantilla:Lang1
* ↑ Plantilla:MacLaneBirkhoff1

## Vegeu també

* Extensió de cos
* Cos de descomposició

## Bibliografia

* R. et A. Douady Algèbre et théories galoisiennes Cedic/Fernand Nathan 1978
* S. Lang Algebre Dunod 2004
* P. Samuel Théorie algébrique des nombres Hermann Paris 1971

## Enllaços externs

* (francès) Una presentació curta de les extensions algebraiques Arxivat 2007-10-12 a Wayback Machine. per Bernard le Stum Universitat de Rennes 1 2001
* (francès) Un curs de DEA sobre la teoria de Galois Arxivat 2012-03-15 a Wayback Machine. per Alain Kraus Universitat de Paris VI 1998
* (francès) Cos de les arrels Arxivat 2006-07-21 a Wayback Machine. a les-mathématiques.net