Corps de rupture

Un article de Wikipédia, l'encyclopédie libre.

Vous avez de nouveaux messages (diff^?).

En mathématiques et plus précisement 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 ruptures ne sont pas en général ceux utilisés dans le contexte de la théorie de Galois, car ils ne possèdent pas les bonnes propriétés nécessaires pour appliquer le théorème fondamental de la théorie de Galois. En revanche ils sont une étape dans la construction des corps de décompositions, qui eux dans le cas où le critère de séparabilité est assuré permettent d'appliquer le théorème fondamental.

Sommaire

1 Motivation
2 Définition
3 Exemples
4 Propriétés
5 Voir aussi
- 5.1 Liens externes
- 5.2 Références

[modifier] Motivation

Soit K un corps et P[X] un polynôme à coefficient dans K. une question naturelle se pose, existe-t-il une extension algèbrique L du corps K contenant une ou plusieurs racines du polynôme? La réponse est positive, de plus il est possible de construire une extension finie ayant ces propriétés. Cette extension s'appelle le corps de rupture.

La technique utilisée consiste à quotienter l'anneau des polynômes par un idéal principal et plus précisement par un idéal maximal, c'est à dire un idéal contenu dans aucun autre idéal que l'anneau K[X]. Cette technique permet de construire un nouveau corps. Il est alors nécessaire d'identifier le corps K avec un sous-corps de L pour permettre au polynôme d'opérer sur L.

Soit (L, j) une extension de corps d'un corps K et P[X] un polynôme à coefficients dans K. Si l'on note K^* l'image de j par K, alors il existe un isomorphisme $φ$ φ naturel de K[X] dans K^*[X] définit par:

$Soit \; (a_i) \in K^n \; tel \,que \; P[X]= \sum_{i \in [1,n]} a_i x^n \; alors \; \varphi(P) [X] = \sum_{i \in [1,n]} j(a_i) x^n$

L'identification de K et K^* permet d'identifier K[X] et K^*[X] à travers l'isomorphisme d'anneau φ. P[X] apparaît alors comme un élément de L[X] à coefficients dans K inclu dans L. Un polynôme de K[X] opère donc naturellement sur L. Il est alors possible de parler de racine de P[X] dans L.

Si le corps de rupture possède le mérite d'exister, en revanche il ne contient pas, en général l'intégralité des racines de P[X]. Il apparaît alors nécessaire de réitérer l'opération jusqu'à ce qu'une extension algébrique contenant toute les racines soit construite. On parle alors de corps de décomposition.

[modifier] Définition

Soit K un corps et P[X] un polynôme à coefficients dans K. Un corps de rupture de P[X] est une extension algébrique L de K tel que le polynôme admette au moins une racine dans l'extension et L est une extension simple engendrée par la racine.

Remarque: Parfois la définition ne suppose pas que l'extension L soit une extension simple engendrée par la racine.

[modifier] Exemples

Soit dans le corps des nombres réels, le polynôme X² + 1. Dans son corps de coefficients, le polynôme ne contient aucune racine. En effet, tout carré du corps des nombres réels est strictement positifs. Le corps de rupture naturel de ce polynôme est celui des nombres complexes.

Soit dans le corps des nombres rationnels le polynôme X³ - 2. L'extension de corps engendrée par r la racine cubique de deux. C'est une extension qui apparaît comme un espace vectoriel de dimension trois ayant comme base (1, r, r², r³). Cependant cette extension ne contient pas toutes les racines du polynôme en effet, il en existe deux ayant une composante complexe et qui ne sont pas élément du corps.

[modifier] Propriétés

Soit P[X] un polynôme irréductible de degré n sur K, alors il existe un corps de rupture L. Sa dimension est égale au degré du polynôme.

Soit P[X] un polynôme sur K, alors il existe un corps de rupture L sur K.

Soit L le corps de rupture d'un polynôme irréductible P[X] de degré n, alors la première proposition nous assure qu'il existe un corps de rupture. Il existe aussi des sous-corps de la clôture algébrique Ω contenant une racine de P[X]. La clôture algébrique d'un corps est un sur-corps de K tel que tout les polynômes à coefficients dans le sur-corps soit scindé, c'est à dire se décomposent en produit de polynômes du premier degré. Si $α$ est une racine de P[X] dans Ω alors K[α] est aussi un sur-corps de K contenant une racine du polynôme. La proposition suivante établie le lien entre le corps de rupture et les sous-corps de la clôture algébrique isomorphe au corps de rupture.

Il existe au plus n morphismes de L dans Ω. Si P[X] est un polynôme séparable, alors il existe exactement n morphismes.

Une polynôme est dit séparable s'il n'admet pas de racine multiple. C'est en souvent le cas pour un polynôme irréductible, c'est toujours vraie pour les corps des nombres rationnels des nombres réels ou pour les corps finis. La dernière propriété est démontrée dans l'article sur les extensions séparables.

Démonstrations

Soit P[X] un polynôme irréductible de degré n sur K, alors il existe un corps de rupture L. Sa dimension est égale à n.

Considérons alors l'anneau L défini par K[X] / P[X] le quotient de l'anneau des polynômes à coefficients dans K par l'idéal engrendré par P[X]. L'application de K dans L qui associe à tout élément de K son polynôme (c'est un polynôme constant) est bien un morphisme.

Montrons que L est un espace vectoriel sur K de dimension égale au degré de P[X].

La famille (1, α, α², α^n-1) où α est défini comme la classe de X est en effet une base de L. Cette famille est libre, car toute combinaison linéaire non nulle possède un représentant de degré strictement plus petit que n. Ce représentant ne peut être un multiple de P[X] et donc la combinaison linéaire n'est pas nulle. Soit alors A[X] un représentant d'un élément de L, la division euclidienne par P[X] montre qu'il existe un autre représentant R[X] de la classe de A[X] engendré par la famille. La classe de P[X] apparaît comme une combinaison linéaire de la base, égale à R[α], et la famille est génératrice. C'est donc bien une base et [L:K] est égal au degré du polynôme P[X].

Montrons que L est un corps.

Comme il est déjà établi que L est un anneau, il suffit de démontrer que chaque élément différent de 0 est inversible. Soit l un élément non nul de L et R[X] un représentant dans K[X] de degré strictement inférieur à n. les deux polynômes R[X] et P[X] sont premiers entre eux car le dernier polynôme est irreductible et le premier de degré strictement inférieur à celui de P[X]. L'identité de Bezout nous assure alors de l'existence de deux polynômes A[X] et B[X] tel que:

$A[X].P[X]+B[X].R[X]=1 \quad \mbox{et } B(\alpha).R(\alpha)=\bar 1 \mbox{ car } P(\alpha)=\bar 0$

L est donc un corps extension de K de dimension le degré du polynôme P[X] contenant une racine α.

Il existe une extension finie L de K tel que le polynôme P[X] admet au moins une racine dans L.

Si le polynome admet une racine, alors l'extension est le corps K lui même. Dans le cas contraire, le polynôme se décompose en produit de polynômes irréductibles.

$P[X]=\prod_{i=1}^n Q_i[X]$

L'extension définie dans la proposition précédente contenant une racine de Q₁[X] est finie, elle contient une racine du polynôme P[X], ce qui démontre la proposition.