Corps de décomposition

Corps de décomposition

En mathématiques et plus précisément en algèbre dans la théorie des corps commutatifs, un corps de décomposition, ou parfois corps des racines, d'un polynôme formel P(X) est une extension de corps minimale contenant toutes les racines de P(X). On montre qu'un polynôme possède toujours un corps de décomposition, unique à isomorphisme près, et que celui-ci est une extension algébrique finie et normale.

Si de plus le polynôme est séparable, c'est une extension de Galois. La théorie de Galois s'applique alors, ainsi le théorème de l'élément primitif et le théorème fondamental de la théorie de Galois.

Sommaire

Définition

Étant donnés un corps commutatif K et un polynôme (formel) à coefficients dans K non-constant, un corps de décomposition de P sur K est une extension L de K telle que :

  • P est scindé sur L, c’est-à-dire produit de polynômes du premier degré dans L[X] ;
  • Les racines de P engendrent L sur K, c'est-à-dire qu'il n'existe aucun autre sous-corps de L que lui-même contenant K et les racines de P.

Dans une clôture algébrique Ω donnée, il existe une unique sous-extension de Ω qui soit aussi un corps de décomposition de P(X) : c'est la sous-extension de Ω engendrée par les racines de P(X) dans Ω. En général, tout corps de décomposition de P(X) est isomorphe à ce sous-corps de Ω.

Proposition. — Tout polynôme non constant P de K[X] possède un corps de décomposition unique à isomorphisme près. Celui-ci est une extension finie de K.

L'existence et l'unicité à isomorphisme près peuvent se démontrer directement (sans supposer l'existence et l'unicité à isomorphisme près d'une clôture algébrique).

L'existence se démontre par récurrence sur le degré de P, en itérant la construction de corps de rupture[1].

En effet si P est de degré 1, K est un corps de décomposition de P. Si P est de degré supérieur, alors
  • soit P a un facteur de degré 1, P = (X - α)Q, et un corps de décomposition de Q, qui existe par hypothèse de récurrence, est un corps de décomposition de P ;
  • soit P a un facteur irréductible de degré > 1 ; alors il a un facteur de degré 1 dans un corps de rupture de ce facteur irréductible, soit K’ contenant K, et on conclut par hypothèse de récurrence comme au cas précédent.

L'unicité à isomorphisme près se démontre par récurrence sur le degré de l'extension de K qu'est le corps de décomposition, en utilisant l'unicité à isomorphisme près pour le corps de rupture d'un polynôme irréductible Q (isomorphe à K[X]/(Q))[1].

Pour la récurrence, on généralise la propriété d'unicité. Soient K et K’ deux corps isomorphes par φ, P polynôme sur K, et φ(P), son image par l'isomorphisme induit (que l'on note aussi φ). Soient L un corps de décomposition de P sur K, et L’ un corps de décomposition de φ(P) sur K’. On montrer par récurrence sur [L:K], le degré de l'extension (finie !), que φ se prolonge en un isomorphisme de L sur L’.
  • Le résultat est évident si cette extension est de degré 1.
  • sinon, c'est que P a un facteur irréductible Q de degré > 1, qui possède donc une racine α dans L dont l'image φ(α) est racine de φ(Q) dans L’ ; K[α] est un corps de rupture de Q sur K de même que K’[φ(α)] est un corps de rupture de φ(Q), irréductible sur K’. Les corps K[α] et K’[φ(α)] sont donc isomorphes (car isomorphes aux deux corps isomorphes K[X]/(Q) et K’[X](φ(Q))) par ψ qui prolonge φ. Or L est un corps de décomposition de P sur K[α], L’ un corps de décomposition de φ(P) sur K’[φ(α)]. Le degré [L:K[α]] de l'extension L sur K[α], est strictement inférieur à [L:K] (car [L:K] = [L:K[α]][K[α]:K] et [K[α]:K] est le degré de Q qui est > 1). Par hypothèse de récurrence ψ se prolonge en un isomorphisme de L sur L’, qui prolonge donc φ.

À noter qu'une extension d'un corps K ne peut contenir qu'un seul corps de décomposition d'un polynôme P sur K, alors qu'il peut contenir plusieurs corps de ruptures (isomorphes entre eux) de celui-ci.

Exemples

Le corps de décomposition du polynôme X2+1 sur le corps des nombres réels est le corps des nombres complexes.

Le polynôme P(X) = X3 - 2, est irréductible sur le corps Q des nombres rationnels (en effet tout polynôme de degré trois qui n'est pas irréductible possède une racine rationnelle). Soit r la racine cubique (réelle) de 2, et j la racine cubique (complexe) de l'unité ayant une composante imaginaire positive. Les deux autres racines sont j.r et j2.r. Le corps de décomposition de P sur Q est L = Q(r,jr, j2.r).

Le corps de décomposition de P peut être construit comme dans la démonstration d'existence ci-dessus.

Considérons l'extension K1 égale à Q(r), c’est-à-dire l'extension engendrée par r. Comme P(X) est irréductible, c'est un corps de rupture de P isomorphe à Q[X]/(P(X)Q[X]), dont une base est (1, r, r2).

Sur K1 le polynôme P(X) possède une racine r. Une division de P(X) par le polynôme X - r donne l'égalité:

P(X)=(X-r)(X^2 + r.X + r^2)=(X-r)(X+(1/2 + s).r)(X+(1/2 -s).r)\mbox{ avec }s= \frac{\sqrt{3}}{2}i

On en déduit que L est égal à K1(s) qui est une extension de degré deux de K1 et dont une base est {1, s}.

On a l'égalité sur les degrés [L:Q] =[L:K1].[K1:Q]= 3 x 2 = 6 (cf. Définitions et premières propriétés des extensions algébriques). On en déduit une base de L sur K qui est {1, r, r2,s ,s.r, s.r2}.

Extension de Galois

  • Si un corps de décomposition est généré par des éléments séparables, alors il est séparable et le théorème de l'élément primitif s'applique. En conséquence, l'extension est séparable et simple.
  • Si P(X) est irréductible et séparable, alors le corps de décomposition est galoisien: Soient r1,...,rn les racines de P(X) dans Ω. Alors L est égal à K(r1,...,rn). Tout morphisme de L dans Ω permute les racines, donc laisse stable L, ce qui montre que l'extension est normale. Comme L est une extension séparable et normale, elle est de Galois.

En effet, si P n'est pas irréductible, il existe deux polynômes P1 et P2 de degré strictement positif tel que P soit égal à P1.P2. Soient α (resp. β) une racine de P1 (resp. P2) et σ un élément du groupe de Galois. Le polynôme minimal de σ(α) est égal à P1, celui de β à P2, on en déduit que σ(α) ne peut être égal à β, ce qui revient à dire que le groupe n'opère pas transitivement.

Réciproquement si P est irréductible, soient α et β deux racines de P. Soit m le morphisme de K(α), dans K(β) qui à α associe β. L'avant dernière proposition du paragraphe Morphisme dans la clôture algébrique de l'article Extension séparable montre que le morphisme de corps m se prolonge en un automorphisme σ du corps de décomposition. Il existe ainsi un élément σ du groupe de Galois tel que σ(α) = β, ce qui montre que le groupe opère transitivement.

Voir aussi

Notes

  1. a et b Perrin, édition 1981 ch III 7
  2. Cette propriété provient de : A. et R. Douady Algèbre et théories galoisiennes Cassini 2005 p 307 (ISBN 2-84225-005-2)

Articles connexes

Liens externes

Références

Adrien Douady et Régine Douady, Algèbre et théories galoisiennes [détail des éditions]
Serge Lang, Algèbre [détail des éditions]
Daniel Perrin, Cours d'algèbre  [détail des éditions]
Pierre Samuel, Théorie algébrique des nombres [détail des éditions]

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Corps de décomposition de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • Corps De Décomposition — En mathématiques et plus précisément en algèbre dans la théorie de Galois, le corps de décomposition d un polynôme formel P(X) est la plus petite extension de corps contenant toutes les racines de P(X). On montre qu une telle extension existe… …   Wikipédia en Français

  • Corps de decomposition — Corps de décomposition En mathématiques et plus précisément en algèbre dans la théorie de Galois, le corps de décomposition d un polynôme formel P(X) est la plus petite extension de corps contenant toutes les racines de P(X). On montre qu une… …   Wikipédia en Français

  • décomposition — [ dekɔ̃pozisjɔ̃ ] n. f. • 1694; de décomposer, d apr. composition 1 ♦ Séparation (d un corps, d une substance) en ses éléments. ⇒ division, séparation. Décomposition chimique. Décomposition de la lumière par le prisme. Math. Décomposition d une… …   Encyclopédie Universelle

  • Corps Fini — Joseph Wedderburn démontre la dernière conjecture sur les corps finis en 1905 En mathématiques et plus précisément en algèbre, un corps fini est un corps (commutatif) dont le cardinal est fini. À isomorphisme près, un corps fini est entièrement… …   Wikipédia en Français

  • Corps de Galois — Corps fini Joseph Wedderburn démontre la dernière conjecture sur les corps finis en 1905 En mathématiques et plus précisément en algèbre, un corps fini est un corps (commutatif) dont le cardinal est fini. À isomorphisme près, un corps fini est… …   Wikipédia en Français

  • Corps (Mathématiques) — Pour les articles homonymes, voir Corps. En mathématiques, et plus précisément en algèbre, un corps est une structure algébrique. De manière informelle, un corps est un ensemble dans lequel il est possible d effectuer des additions, des… …   Wikipédia en Français

  • Corps (mathématique) — Corps (mathématiques) Pour les articles homonymes, voir Corps. En mathématiques, et plus précisément en algèbre, un corps est une structure algébrique. De manière informelle, un corps est un ensemble dans lequel il est possible d effectuer des… …   Wikipédia en Français

  • Corps De Rupture — En mathématiques et plus précisément en algèbre dans le cadre de la théorie de Galois un corps de rupture d un polynôme à coefficients dans un corps K est une extension algébrique de K contenant au moins une racine du polynôme. Les corps de… …   Wikipédia en Français

  • Corps Parfait — En mathématiques et plus particulièrement en algèbre dans le contexte de la théorie de Galois, un corps parfait est un corps dont toutes les extensions algébriques sont séparables. Les corps parfaits sont utiles pour la théorie de Galois, car les …   Wikipédia en Français

  • CORPS — LES SAVOIRS et les pratiques qui ont pour objet le corps – médecine, arts plastiques, sémiologie, anthropologie, psychanalyse – ont à se débattre, dans la culture occidentale, avec deux traditions philosophiques, la cartésienne et… …   Encyclopédie Universelle

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”