Extension séparable 857241 31303227 2008-07-04T17:49:50Z 85.179.41.210 /* Définitions et premiers exemples */ Une [[extension algébrique]] ''L'' d'un [[corps (mathématiques)|corps]] ''K'' est dite '''séparable''' si et seulement si le [[polynôme minimal d'un nombre algébrique|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 Galois]]: Le [[théorème de l'élément primitif]]. La séparabilité est aussi utilisée dans la définition d'une [[extension de Galois]]. Les corps dont toutes les extensions algébriques sont séparables sont nombreux. On y trouve par exemple les corps de caractéristique nulle, ce qui recouvre les [[Nombre rationnel|nombres rationnels]], les [[nombre réel|nombres réels]] et les [[nombre complexe|nombres complexes]]. ==Motivation== Le [[Groupe (mathématique)|groupe]] des [[automorphisme]]s de [[Corps (mathématiques)|corps]] est un puissant outil d'analyse d'une extension algébrique. Il est particulièrement efficace si le nombre de racines du polynôme minimal est toujours égal à son degré. Cette propriété est toujours vérifiée si le corps initial est de [[caractéristique d'un anneau|caractéristique]] nulle ou si le [[corps fini|corps est fini]]. On parle alors du [[Groupe de Galois]]. En revanche, cette propriété n'est pas vraie sur tous les corps, la [[théorie de Galois]] qui est l'étude des extensions algébriques demande pour la démonstration de l'essentiel des théorèmes la séparabilité. La première conséquence de la séparabilité est le [[théorème de l'élément primitif]]. Si une [[extension finie]] ''L'' sur un corps ''K'' est séparable alors il existe un élément ''l'' de ''L'' de polynôme minimal P[X] sur ''K'' tel que ''L'' soit le plus petit corps de rupture de P[X]. Cela signifie que ''L'' est égal à ''K(l)'' ou encore que ''L'' est une extension simple. Dans le cas ou l'extension est finie et séparable, alors il existe autant d'automorphismes que la dimension de l'extension. Si ses automorphismes laissent stable l'extension, on parle alors d'[[Extension de Galois]]. C'est le contexte initial et le la théorie de Galois. Il existe alors une bijection entre les sous-corps de l'extension et les sous-groupes du groupe de Galois. l'analyse de ces sous-groupes permet par exemple de déterminer une condition nécessaire et suffisante pour la résolubilité d'une équation polynômiale. ==Définitions et premiers exemples== Dans la suite de l'article, ''K'' désigne un corps, ''L'' une extension algébrique, P[X] un [[polynôme]] à coefficients dans ''K'' et scindé sur ''L'' et ''l'' un élément de ''L''. Ω désigne la clôture algébrique de ''K'', dans cet article, toute extension est identifiée à un sous-corps de Ω. Cette identification est licite, d'après le paragraphe sur la [[Extension algébrique#Clôture algébrique|clôture algébrique]]. :* P[X] est '''séparable''' dans ''L'' si et seulement s'il possède autant de racines distinctes que son degré. Le polynôme est donc scindé sans racine multiple. :* ''l'' est '''séparable''' dans ''K'' si et seulement si son polynôme minimal est séparable. :* ''L'' est '''séparable''' dans ''K'' si et seulement si tout ses éléments le sont. :* ''K'' est un '''[[corps parfait]]''' si et seulement si toutes ses extensions algébriques sont séparables. Le polynôme X<sup>3</sup>-2 sur le corps des nombres rationnels est séparable. En effet, il possède trois racines, une réelle : la racine cubique de deux et deux complexes conjugées entres elles. les trois racines sont distinctes. De manière générale sur les nombres rationnels, tout polynôme [[élément irréductible|irréductible]] est séparable. Cependant, tous les polynômes irréductibles ne sont pas séparables. Considérons <math>\mathbb{F}_p(X)</math> le corps des fractions rationnelles sur le corps fini de cardinal p, où p est premier, et Ω sa clôture algébrique. Si ''K'' est choisi comme étant égal à l'ensemble des fractions de <math>\mathbb{F}_p(X^p)</math>, alors ''K'' contient un polynôme non séparable. Considérons le polynôme P[X] de ''K[Y]'' égal à <math>Y^p-X^p\;</math>. Ce polynôme possède une unique racine ''X'' qui est donc un élément algébrique de degré p. De plus ce polynôme est irréductible. On en déduit que <math>\mathbb{F}_p(X)</math> est le [[Extension algébrique#Extension algébrique et sur-corps|corps de décomposition]] du polynôme P[X]. Comme ''X'' est sa seule racine, P[X] n'est pas séparable. ==Critères de séparabilité== ===Cas des polynômes=== L'analyse de la séparabilité d'une extension revient à l'analyse des propriétés des polynômes sur ''K''. En effet, pour qu'une extension soit séparable il faut et il suffit que ses éléments le soit, ce qui signifie que leurs polynômes minimaux le soient aussi. Il apparaît alors nécessaire d'établir des critères de séparabilité d'un polynôme. Il en existe un particulièrement simple. :* Un polynôme est séparable si et seulement si lui et sa dérivée formelle sont premiers entre eux. Dans le cas d'un polynôme irréductible, car particulièrement intéressant dans le cadre de la théorie de Galois, cette proposition implique le corollaire suivant: :* Un polynôme irréductible est séparable si et seulement si sa dérivé formelle n'est pas nulle. Ce corollaire permet de résoudre simplement le cas des corps de caractéristique nulle.En particulier, les trois corps les plus usuels, les [[nombre rationnel|nombres rationnels]], les [[nombre réel|nombres réels]] et les [[nombre complexe|nombres complexes]] sont des corps parfaits. Il existe néanmoins un critère de séparabilité d'un polynôme irréductible. :* Supposons ''K'' de caractéristique p et P[X] un polynôme irreductible. Il est séparable si et seulement s'il n'existe pas de polynôme Q[X] dans K[X] tel que l'on ait l'égalité P[X]=Q[X<sup>p</sup>]. {{boîte déroulante|align=left|titre=Démonstrations|contenu= : :* '''Un polynôme P[X] élément de ''K[X]'' est séparable si et seulement si lui et sa dérivée formelle sont premiers entre eux.''' Dire de P[X] n'est pas séparable revient à dire que ce polynôme s'écrit dans ''Ω[X]'' de la manière suivante (X-a)<sup>n</sup>Q[X], ou ''a'' est un élément de Ω et n un entier supérieur ou égal à deux. Alors la dérivée formelle de P[X] vérifie l'égalité suivante: <center><math>P'[X]=(X-a)((n-1)(X-a)^{n-2}Q[X]+n(X-a)^{n-1}Q'[X])\;</math></center> P[X] et P'[X] sont deux polynômes de ''K[X]'' qui ne sont pas premiers entre eux dans ''Ω[X]'', ils ne sont donc pas premiers entre eux dans ''K[X]''. Et la proposition est démontrée. :* '''Un polynôme irréductible est séparable si et seulement si sa dérivée formelle n'est pas nulle.''' C'est un corollaire direct de la proposition précédente. Le seul polynôme de degré strictement inférieur à P[X] annulant ''a'', une racine dans Ω de P[X] est le polynôme nul. :* '''Supposons ''K'' de caractéristique p et P[X] un polynôme irreductible. Il est séparable si et seulement s'il n'existe pas de polynôme Q[X] dans K[X] tel que l'on ait l'égalité P[X]=Q[X<sup>p</sup>].''' Si le polynôme Q[X] existe avec la propriété de l'énoncée, alors la dérivée de P[X] vérifie l'égalité suivante: <center><math>P'[X]=p.Q'[X^p].X^{p-1}\;</math></center> Comme le ''K'' est de caractéristique p, le polynôme dérivé est nul et la proposition précédente permet de conclure. Réciproquement si un tel polynôme n'existe pas, notons alors a<sub>i</sub> les coefficients du polynôme P[X]. Alors la dérivée vérifie l'égalité suivante: <center><math>P'[X]=\sum_{i=1}^n i.a_i X^{i-1}\;</math></center> Comme P[X] n'est pas un polynôme en X<sup>p</sup> il existe un coefficient a<sub>i</sub> qui n'est pas multiple de p avec i non plus car p est premier puisque ''K'' est un corps. Ce qui montre que la dérivée formelle de P[X] n'est pas nulle. }} ===Cas des extensions et des corps=== ''Article détaillé: [[Corps parfait]]'' Ce paragraphe précédent permet de résoudre simplement le cas des corps de caractéristique nulle.En particulier, les trois corps les plus usuels, les [[nombre rationnel|nombres rationnels]], les [[nombre réel|nombres réels]] et les [[nombre complexe|nombres complexes]] sont des corps parfaits. :* Si un corps est de caractéristique nulle, alors il est parfait. Ce ne sont néanmoins pas les uniques cas où une extension est séparable. La proposition suivante donne un exemple de séparabilité indépendamment de la caractéristique: :* Soit ''L'' une extension de ''K'' et ''M'' une extension de ''L''. Alors si ''M'' est une extension séparable de ''K'', alors ''M'' est séparable sur ''L'' et ''L'' est séparable sur ''K''. Dans le cas où la caractéristique de ''K'' est égale à p, alors ''K'' est parfait si et seulement si tout élément de ''K'' possède une racine pième. On en déduit que: :* Tout corps fini est parfait. ''Ces propriétés sont démontrées dans l'[[Corps parfait|article détaillé]].'' ==Propriétés== ===Morphisme dans la clôture algébrique=== L'une des raisons essentielles de l'intérêt de la notion de séparabilité provient du nombre de morphisme de corps de ''L'' dans Ω laissant invariant ''K''. Cette propriété est utilisée pour le théorème de l'élément primitif et pour de nombreuses propriétés des extensions galoisiennes. L'unique cas traité ici est celui ou ''L'' est une [[extension finie]]. Dans la suite de l'article, ''L'' est toujours supposé finie de dimension n. Le cas ou il existe un élément ''l'' générateur de l'extension est traité par la proposition suivante: :* S'il existe un élément ''l'' tel que ''K(l)'' est égal à L alors il existe au plus n morphismes de ''L'' dans Ω. Si ''l'' est séparable, alors il existe exactement n morphismes. Dans le cas général, c’est-à-dire sans hypothèse de séparabilité ni de simplicité de l'extension, une propriété analogue est toujours vraie. :* Le nombre de morphismes de ''L'' dans Ω laissant invariant ''K'' est inférieur ou égal à n.s Elle se démontre à l'aide de la propriété suivante: :* Soit une famille finie de ''m'' morphismes de ''L'' dans Ω. Si les morphismes sont distincts deux à deux, alors la famille est [[Famille libre|libre]]. Dans le cas particulier où l'extension est engendrée par des éléments séparables, l'hypothèse de simplicité de l'extension n'est pas nécessaire pour obtenir un résultat analogue à la première proposition: :* Si ''L'' est engendré par des éléments séparables alors il existe exactement n morphismes de corps de ''L'' à valeur dans Ω laissant invariant ''K''. Pour la démonstration, les propositions suivantes sont utilisées : :* Si ''L'' est une extension finie de ''K<sub>1</sub>'' et ''K<sub>1</sub>'' une extension de ''K'', alors un morphisme de ''K<sub>1</sub>'' dans Ω laisssant invariant ''K'' se prolonge en un morphisme de ''L'' dans Ω laissant invariant ''K''. :* Si ''L'' est une extension de ''K<sub>1</sub>'' contenant n<sub>1</sub> morphismes de ''L'' dans Ω laissant invariant ''K<sub>1</sub>'' et ''K<sub>1</sub>'' une extension de K contenant n<sub>2</sub> morphismes de ''K<sub>1</sub>'' dans Ω laissant invariant ''K'', alors il existe au moins n<sub>1</sub>.n<sub>2</sub> morphismes de ''L'' dans Ω laissant invariant ''K''. {{boîte déroulante|align=left|titre=Démonstrations|contenu= : :* ''' S'il existe un élément ''l'' tel que ''K(l)'' est égal à L alors il existe au plus n morphismes de ''L'' dans Ω laissant invariant ''K''. Si ''l'' est séparable, alors il existe exactement n morphismes.''' Soit P[X] le polynôme minimal de ''l'' dans ''K''. La première proposition du paragraphe [[Extension algébrique#Extension algébrique et sur-corps|Extension algébrique et sur-corps]] indique, pour toute racine x<sub>i</sub> de P[X] dans Ω, l'existence d'un morphisme de ''L'' dans Ω qui à ''l'' associe x<sub>i</sub>. Il existe donc au moins autant de morphismes que de racines de P[X]. Réciproquement, si ''f'' est un morphisme de ''L'' dans Ω, alors P(f(l))=f(P(l)))=0. Donc ''l'' a pour image par ''f'' une racine. En conclusion, il existe exactement autant de morphismes que de racines de P[X] dans Ω. Dans le cas général il n'existe donc jamais plus de morphismes que le degré de P[X], lequel est égal à la dimension de ''L''. En effet, la famille (1, l, l<sup>2</sup>, ... , l<sup>n-1</sup>) est une base de ''L''. Une condition nécessaire et suffisante d'égalité entre le nombre de morphismes et la dimension de ''L'' est la séparabilité de ''l''. :* '''Soit une famille finie de ''m'' morphismes de ''L'' dans Ω. Si les morphismes sont distincts deux à deux, alors la famille est libre en tant que partie d'un espace vectoriel de corps Ω.''' Raisonnons par contraposée. Soit (f<sub>i</sub>) une famille linéairement dépendante de ''m'' morphisme, à une permutation près, on peut supposer que l'élément d'indice p est non nul, et combinaison linéaire des précédents qui forment une famille libre. l'égalité suivante est donc vérifiée: <center><math>f_p=\sum_{i=1}^{p-1}\lambda_i.f_i\;</math></center> Si ''l'' et ''l' ''sont deux éléments de ''L'' tel que ''l' ''soit choisi non nul, alors f<sub>i</sub>(l.l')=f<sub>i</sub>(l)f<sub>i</sub>(l'). Comme f<sub>i</sub>(l') est non nul, l'égalité suivante est vérifiée: <center><math>f_p(l)=\sum_{i=1}^{p-1}\frac{\lambda_i.f_i(l')}{f_p(l')}.f_i(l)\;</math></center> La famille des p-1 premiers éléments est choisie libre. La combinaison linéaire est unique, on en déduit les p-1 égalités suivantes. <center><math>\forall i \in [1, p-1]\quad \lambda_i.f_i(l')=\lambda_i.f_p(l')\;</math></center> Cette égalité est vrai pour tout ''l' ''d'où l'égalité entre f<sub>i</sub> et c si le scalaire associé est non nul. Il existe au moins un scalaire associé non nul car f<sub>p</sub> est non nul. Nous avons démontré que la famille n'est pas distincte deux à deux. La contraposée permet de terminer la démonstration. :* '''Le nombre de morphismes de ''L'' dans Ω est inférieur ou égal à n.''' Considérons ''E'' l'espace des applications ''K'' linéaires de ''L'' dans Ω. ''E'' est un espace vectoriel de dimension n sur le corps Ω. En effet, si (l<sub>i</sub>) est une base de ''L'' l'application φ de ''E'' dans Ω<sup>n</sup> qui à une application linéaire ''m'' associe ''((m(l<sub>i</sub>))'' est un isomorphisme d'espace vectoriel. Considérons alors la famille de tous les morphismes de corps de ''L'' dans Ω. C'est une famille de ''E'' d'éléments distints deux à deux. C'est donc une famille libre qui ne peut comporter plus d'éléments que la dimension de l'espace ''E''. Et la proposition est démontrée. :* '''Si ''L'' est une extension finie de ''K<sub>1</sub>'' et ''K<sub>1</sub>'' une extension de ''K''. Alors un morphisme f de ''K<sub>1</sub>'' dans Ω laisssant invariant ''K'' se prolonge en un morphisme de ''L'' dans Ω laissant invariant ''K''.''' ''L'' est un espace vectoriel sur ''K<sub>1</sub>'' il existe donc une base (l<sub>1</sub>, l<sub>2</sub>, ...,l<sub>m</sub>) où l<sub>1</sub> = 1 de ''L'' sur ''K<sub>1</sub>''. Considérons alors l'application g de ''L'' dans Ω défini par l'application définie par: <center><math>\forall l \in L \; \exist (\lambda_i) \in K_1^m \; avec \quad l=\sum_{i=1}^m \lambda_i.l_i \quad g(l)=\sum_{i=1}^m f(\lambda_i).l_i\;</math></center> Montrons alors que g est un morphisme de ''L'' dans Ω. Pour cela considérons un deuxième élément l' de coordonnées <math>\lambda_i'</math> dans la base considérée: <center><math>g(l.l')=g(\sum_{i=1}^m \lambda_i.l_i.\sum_{j=1}^m \lambda_j'.l_j)=\sum_{i,j}f(\lambda_i).f(\lambda_j').l_i.l_j=g(l).g(l') \;</math></center> Les égalités précédentes montrent que g est le morphisme cherché et la proposition est démontrée car le corps ''K'' est manifestement invariant. :* '''Si ''L'' est une extension de ''K<sub>1</sub>'' contenant n<sub>1</sub> morphismes de ''L'' dans Ω laissant invariant ''K<sub>1</sub>'' et ''K<sub>1</sub>'' une extension de K contenant n<sub>2</sub> morphismes de ''K<sub>1</sub>'' dans Ω laissant invariant ''K''. Alors il existe au moins n<sub>1</sub>.n<sub>2</sub> morphismes de ''L'' dans Ω laissant invariant ''K''.''' La proposition précédente montre qu'il est possible d'étendre les morphismes de ''K<sub>1</sub>'' à ''L''. Il existe n<sub>1</sub>.n<sub>2</sub> compositions différentes de morphismes. Il ne reste donc qu'à vérifier que ces morphismes sont tous distincts. Soit (m<sub>i</sub>) les n<sub>1</sub> prolongements dans ''L'' des morphismes de ''K<sub>1</sub>'' et (m'<sub>j</sub>) les n<sub>2</sub> morphismes de ''L''. Si m<sub>i</sub> est différent de m<sub>i'</sub> alors leurs composées avec des morphismes de la deuxième famille sont distinctes car elles sont distinctes sur ''K<sub>1</sub>''. Il suffit alors de montrer que les composés de m<sub>i</sub> avec deux morphismes différents m'<sub>j</sub> et m'<sub>j'</sub> sont distinctes. Si leurs images sont différentes, alors les composées sont distinctes car elles n'ont pas le même ensemble d'arrivée. Considérons le cas ou les images sont les mêmes. Alors la base de ''L'' de la proposition précédente a pour image par m'<sub>j</sub> une base B' de l'ensemble d'arrivée de m'<sub>j</sub> et m'<sub>j'</sub>. Soit ''l'' un élément de ''L'' ayant deux images différentes par m'<sub>j</sub> et m'<sub>j'</sub>. Il existe alors un élément de la base B' tel que les coefficients a et a' des images par les deux morphismes sont différents. D'après la construction de l'extension décrite durant la démonstration précédente, les coefficients des composées sont alors m<sub>i</sub>(a) et m<sub>i</sub>(a') qui sont différents car m<sub>i</sub> est injectif comme tous les morphismes de corps. Et la proposition est démontrée. :*'''Si ''L'' est engendré par des éléments séparables alors il existe exactement n morphismes de corps de ''L'' à valeur dans Ω laissant invariant ''K''.''' Montrons la proposition suivante par récurrence sur ''m'': Si une extention finie ''L'' d'un corps ''K<sub>i</sub>'' est générée par ''m'' éléments de ''L'', alors le nombres de morphismes de ''L'' dans Ω laissant invariant ''K<sub>i</sub>'' au moins égal à la dimension de ''L'' sur ''K<sub>i</sub>''. Si ''m'' est égal à 0, la proposition est trivialement vraie. Supposons le résultat vrai pour ''m'' est supposons que ''L'' est généré par une famille ''(l<sub>i</sub>)'' de ''m+1'' éléments. Notons alors ''K<sub>1</sub>'' l'extension de ''K'' ''K(l<sub>m+1</sub>)''. ''L'' est alors une extension de ''K(l<sub>m+1</sub>)'' générée par m éléments séparables. ''L'' est une extension de ''K(l<sub>m+1</sub>)'' générée par m éléments, l'hypothèse de récurrence montre qu'il existe au moins la dimension de ''L'' sur ''K(l<sub>m+1</sub>)'' (que l'on note ''[L:K(l<sub>m+1</sub>)]'') morphismes de ''L'' dans Ω laissant invariant ''K(l<sub>m+1</sub>)''. Nous avons démontré qu'il existe ''[K(l<sub>m+1</sub>):K]'' morphismes de ''K(l<sub>m+1</sub>)'' dans Ω laissant invariant ''K''. La proposition précédente montre donc qu'ils existes au moins ''[L:K(l<sub>m+1</sub>)].[K(l<sub>m+1</sub>):K]'' morphismes de ''L'' dans Ω laissant invariant ''K''. Or ce produit est égal à la ''[L:K]'' d'après une proposition élémentaire démontrée dans l'article [[Extension algébrique]]. Donc si ''L'' est séparable, il existe au moins n morphismes. Or une proposition précédente montre qu'il en existe dans le cas général au plus n. La démonstration est donc terminée. }} === Théorème de l'élément primitif === {{Article détaillé|Théorème de l'élément primitif}} Toutes les propriétés du paragraphe précédent peuvent se résumer par le fait que, dans le contexte des extensions finies ''L'' sur ''K'', la séparabilité implique que le nombre de morphismes est égal à la dimension de ''L'' sur ''K''. Une analyse plus fine montre que les deux propriétés sont équivalentes. Ces deux propriétés sont aussi équivalente à une troisième: l'extension est engendrée par un unique élément séparable. Ainsi, pour une famille importante de corps, celle des corps parfaits contenant non seulement les corps usuels mais aussi tous les corps finis, toute extension finie est non seulement séparable, mais il existe autant de morphismes que la dimension de l'extension et l'extension est simple. Ce résultat se résume dans par un théorème fondamental pour la théorie de Galois, connu sous le nom de l'élément primitif. :* Les quatre conditions suivantes sont équivalentes: # L'extension ''L'' est séparable sur ''K''. # L'extension est engendrée par des éléments séparables. # Il existe exactement n morphismes de ''L'' dans Ω laissant invariant ''K''. # ''L'' est une extension simple générée par un élément séparable. ''La démonstration est donnée dans l'article détaillé.'' === Forme trace === {{Article détaillé|forme trace}} Il existe un critère nécessaire et suffisant pour qu'une [[extension finie]] soit séparable, elle utilise la forme trace, une [[forme bilinéaire]] de ''L''. Soit φ l'application qui à ''a'' associe l'endomorphisme φ<sub>a</sub> défini par : <center><math>\forall x \in \mathbb L,\quad \varphi_a(x) = ax \;</math></center> La forme trace associe à deux éléments ''a'' et ''b'' de ''L'' la [[trace (algèbre)|trace]] de l'endomorphisme φ<sub>ab</sub>. :* ''L'extension ''L'' est séparable sur ''K'' si et seulement si la forme trace est non dégénérée.'' ''La démonstration est donnée dans l'article détaillé.'' ==Voir aussi== ===Liens externes=== * {{fr}} [http://perso.univ-rennes1.fr/bernard.le-stum/Documents/galois.pdf Une courte présentation des extensions algébriques] par Bernard le Stum Université de Rennes 1 2001 * {{fr}} [http://www.institut.math.jussieu.fr/dea/aa/dea01-02/Galois.pdf Un cours de DEA sur la théorie de Galois] par Alain Kraus Université de Paris VI 1998 * {{fr}} [http://www.les-mathematiques.net/b/b/f/node3.php3 Extensions séparables] dans les-mathématiques.net ===Références=== :R. et [[Adrien Douady|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 {{Théorie de Galois}} {{portail mathématiques}} [[Catégorie:Théorie de Galois]] [[ca:Extensió separable]] [[de:Körpererweiterung#Separable_Erweiterungen]] [[en:Separable extension]] [[es:Extensión separable]] [[it:Estensione separabile]] [[ru:Сепарабельное расширение]]