Extension normale

Extension normale

En mathématiques, une extension normale L de K est un cas particulier d'extension de corps. Une extension algébrique est dite normale ou quasi-galoisienne si et seulement si tout morphisme de corps de L dans un corps le contenant et induisant l'identité sur K, a son image contenue dans L. Intuitivement, cela veut dire que tout conjugué d'un élément de L appartient encore à L.

Cette propriété est utilisée pour définir une extension de Galois: c'est une extension algébrique séparable et normale.

Sommaire

Motivation

Le théorème fondamental de la théorie de Galois montre qu'il existe une correspondance féconde entre une extension finie L sur K et son groupe de Galois, si le groupe est suffisamment riche. Le groupe de Galois désigne l'ensemble des automorphismes de corps de L laissant K invariant.

Soit P[X] un polynôme à coefficients dans K avec une racine r dans L. Chaque morphisme de corps de L a pour image de r une autre racine de P[X]. Pour que le groupe de Galois soit suffisamment riche, il est nécessaire que toutes ces racines soient dans L. Ce qui se traduit par le fait que tout morphisme a pour image L.

Une autre condition est nécessaire, elle est liée à la séparabilité et est traitée dans l'article Extension séparable. Si les deux conditions sont réunies, alors l'extension est dite de Galois et les conditions du théorème fondamental sont réunies.

Dans le cas ou la séparabilité est garantie, par exemple parce que le corps K est parfait, alors il est possible de trouver une bonne extension normale. Par exemple, dans le cas d'un polynôme à coefficients dans un corps K parfait, il existe une plus petite extension normale contenant les racines du polynôme, c'est le corps de décomposition du polynôme.

Le théorème fondamental de la théorie de Galois possède de nombreuses applications. Citons par exemple le théorème d'Abel qui donne une condition nécessaire et suffisante pour qu'une équation polynomiale soit résoluble par radicaux.

Définition

Soit K un corps, L une extension algébrique de K. L'extension L est dite normale si et seulement si une des propriétés équivalentes est vérifiée :

(1) Tout morphisme de corps de L laissant invariant K et à valeur dans Ω, une clôture algébrique de K contenant L, est un automorphisme de L.

(2) Tout polynôme irréductible à coefficients dans K ayant au moins une racine dans L a toutes ses racines dans L (ie. que tout polynôme irréductible de K[X] ayant une racine dans L se décompose en facteurs linéaire dans L[x]).

Exemples

  • \mathbb{Q}(\sqrt{2}) est une extension normale de \mathbb{Q} car il est le corps de décomposition de x2 − 2.
  • \mathbb{Q}(\sqrt[3]{2}) n'est pas une extension normale de \mathbb{Q} étant donné que \mathbb{Q}(\sqrt[3]{2}) contient la racine \sqrt[3]{2} du polynôme x3 − 2 mais pas les 2 autres racines (non réelles).

Propriétés

Supposons L normale sur K et soit Γ le groupe de K-automorphismes de L. Soit LΓ le sous-ensemble des éléments de L invariants par tout élément de Γ. Alors LΓ est une extension radicielle de K et L est une extension galoisienne de LΓ. Inversement, si L est une extension galoisienne d'une extension finie radicielle de K, alors L / K est normale. Autrement dit, une extension algébrique de K est normale si et seulement si c'est une extension galoisienne d'une extension radicielle de K.

En utilisant la clôture séparable de K dans L, on voit qu'une extension normale L / K est aussi une extension radicielle d'une extension galoisienne de K. Mais une extension radicielle d'une extension galoisienne n'est pas normale en générale[1]. En particulier une composition d'extensions normales n'est pas normale en générale. Le même phénomène se produit également pour les extensions galoisiennes.

Une extension normale L/K est normale sur toute sous-extension.

Le compositum dans une extension donnée de deux sous-extensions normales est normale.

Une intersection de sous-extensions normales est normale.

Note

  1. On considère un corps k de caractéristique p > 0, K = k(x) le corps des fractions à une variable, et N le corps de rupture du polynôme ypxp − 1yx. C'est une extension galoisienne de groupe de Galois cyclique engendré par y\mapsto y+x. Considérons maintenant l'extension radicielle L = N(y1 / p) = k(x,y1 / p) de N. Alors L n'est pas normale sur K. En effet, le polynôme irréductible de y1 / p est Z^{p^2}-x^{p-1}Z^p-x. Mais y1 / p + t1 / p est une racine de ce polynôme n'appartenant pas à L.

Bibliographie

N. Bourbaki: Algèbre, Chapitre V, § 9. Masson 1981.


Wikimedia Foundation. 2010.

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

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • Extension Normale — En mathématiques, une extension normale L de K est un cas particulier d extension de corps. Une extension est dite normale si et seulement si tout morphisme de corps laissant invariant K est un automorphisme de L. Cette propriété est utilisée… …   Wikipédia en Français

  • Extension De Galois — En mathématiques, une extension de Galois (parfois nommée extension galoisienne) est une extension de corps finie normale séparable. L ensemble des automorphismes de l extension possède une structure de groupe appelé groupe de Galois. Cette… …   Wikipédia en Français

  • Extension de galois — En mathématiques, une extension de Galois (parfois nommée extension galoisienne) est une extension de corps finie normale séparable. L ensemble des automorphismes de l extension possède une structure de groupe appelé groupe de Galois. Cette… …   Wikipédia en Français

  • Extension galoisienne — Extension de Galois En mathématiques, une extension de Galois (parfois nommée extension galoisienne) est une extension de corps finie normale séparable. L ensemble des automorphismes de l extension possède une structure de groupe appelé groupe de …   Wikipédia en Français

  • Extension Quadratique — En mathématiques, et plus précisément en algèbre dans le cadre de la théorie de Galois, une extension quadratique est une extension de corps de dimension deux. Si K est un corps commutatif, souvent celui des nombres rationnels, alors une… …   Wikipédia en Français

  • Extension De Corps — En mathématiques, plus particulièrement en algèbre, l extension d un corps K est un corps L qui contient K comme sous corps. Par exemple, , le corps des nombres complexes, est une extension de , le corps des nombres réels, lequel est lui même un… …   Wikipédia en Français

  • Extension Algébrique — En mathématiques et plus particulièrement en algèbre, une extension algébrique L sur un corps K est une extension de corps dans laquelle tous les éléments sont algébriques sur K c’est à dire sont racines d un polynôme non nul à coefficients dans… …   Wikipédia en Français

  • Extension algebrique — Extension algébrique En mathématiques et plus particulièrement en algèbre, une extension algébrique L sur un corps K est une extension de corps dans laquelle tous les éléments sont algébriques sur K c’est à dire sont racines d un polynôme non nul …   Wikipédia en Français

  • Extension Simple — En mathématiques et plus précisément en algèbre dans le cas de la théorie de Galois, une extension de corps L d un corps K est dite simple si et seulement s il existe un élément l de L tel que L est égal à K[l]. Une extension simple est finie si… …   Wikipédia en Français

  • Extension Séparable — Une extension algébrique L d un corps K est dite séparable si et seulement si le polynôme minimal de tout élément de L n admet que des racines simples. Ce critère est une hypothèse nécessaire pour établir un théorème important de la théorie de… …   Wikipédia en Français

Share the article and excerpts

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