Décomposition des idéaux premiers dans les extensions galoisiennes

En mathématiques, l'interaction entre le groupe de Galois G d'une extension galoisienne de corps de nombres L/K (ou de corps de nombres p-adiques, ou de corps de fonctions), et la manière dont les idéaux premiers de l'anneau O_K des entiers se décomposent sous forme de produits d'idéaux premiers de O_L, est à la base de nombreux développements fructueux en théorie algébrique des nombres.

Le cas d'une extension non nécessairement galoisienne est traitée dans l'article « Décomposition des idéaux premiers ». Les notions d'extension ramifiée, d'extension décomposée y sont envisagées ; ces notions doivent certainement être familières pour aborder la lecture du présent article. Dans le cas d'une extension galoisienne, la structure supplémentaire se traduit au niveau de ces propriétés, via certains sous-groupes du groupe de Galois : le groupe de décomposition et le groupe d'inertie, mais aussi les groupes de ramification (en) supérieurs.

Ces notions sont quelquefois attribuées à David Hilbert par l'appellation « théorie de Hilbert ». Il existe une analogie géométrique, la ramification des surfaces de Riemann, qui est plus simple du fait qu'une seule sorte de sous-groupe de G doit être considérée, plutôt que deux. Ceci était certainement familier avant Hilbert^{[réf. nécessaire]}.

Les propriétés fondamentales

Sur les indices

Soit la factorisation d'un idéal premier P de O_K dans O_L :

PO_{L}=\prod _{1\leq j\leq g}P_{j}^{e_{j}}\,

comme un produit d'idéaux premiers distincts P_j de O_L, avec les indices de ramification e_j, alors G agit transitivement sur les P_j. C’est-à-dire, les facteurs idéaux premiers de P dans L forment une orbite unique sous les K-automorphismes de L. L'unicité de la décomposition en produit d'idéaux premiers permet alors de montrer que l'indice de ramification e_j = e est indépendant de j. De même pour les degrés d'inertie f_j, en regardant cette fois l'action du groupe de Galois sur les corps résiduels (on explique plus en détail ci-dessous cette action, ce qui est plus technique). Ces deux assertions sont fausses en général pour les extensions non galoisiennes. On obtient alors la relation suivante

[L:K]=n=efg

où g est le nombre d'idéaux premiers distincts intervenant dans la décomposition de l'idéal P.

Théorie de Galois

Cependant, la relation obtenue sur les indices ne traduit qu'une petite partie de la richesse introduite par la structure galoisienne. En effet, un élément g du groupe de Galois agit sur L en laissant K invariant et, par restriction, sur O_L en laissant O_K invariant. Un idéal premier P_i de O_L au-dessus d'un idéal premier P de O_K étant donné, on vérifie facilement que l'action passe au quotient :

g:O_{L}/P_{i}\rightarrow O_{L}/g(P_{i})

est un isomorphisme de O_K/P-espaces vectoriels entre les corps résiduels. Pour obtenir un automorphisme, il est intéressant de se restreindre au cas où g(P_i) = P_i. On appelle groupe de décomposition, noté D_{P_i}, de l'idéal P_i, l'ensemble des éléments du groupe de Galois qui vérifient cette relation. La relation fondamentale en termes de théorie de Galois devient alors :

1\rightarrow I_{P_{i}}\rightarrow D_{P_{i}}\rightarrow \mathrm {Gal} {\Big (}(O_{L}/P_{i})/(O_{K}/P){\Big )}\rightarrow 1

où le morphisme de droite est celui qu'on vient de définir. Sa surjectivité constitue un théorème. Quant à son noyau, on le définit comme étant le groupe d'inertie. Ces objets contiennent l'information qui était codée par les indices de ramification et degré d'inertie dans le cas non galoisien : le cardinal du groupe d'inertie est l'indice de ramification, celui du groupe de décomposition est le produit du degré d'inertie et de l'indice de ramification.

Application de la correspondance de Galois

Les sous-corps correspondant, par la correspondance de Galois, aux sous-groupes qu'on vient de définir, admettent une interprétation arithmétique simple : le groupe de décomposition correspond à l'extension totalement décomposée maximale, et le groupe d'inertie à l'extension non ramifiée maximale.

Le symbole d'Artin

Dans le cas d'une extension (galoisienne) non ramifiée en un premier P_i, le groupe d'inertie est trivial, comme remarqué précédemment. La relation fondamentale devient alors un isomorphisme entre le groupe de décomposition en P_i et le groupe de Galois de l'extension des corps résiduels. Dans le cas où les corps résiduels sont finis, ce qui est vrai en particulier pour les corps de nombres et les corps de nombres p-adiques, le groupe de Galois de l'extension de corps résiduels est cyclique et admet un générateur privilégié : l'automorphisme de Frobenius. Son image dans le groupe de décomposition est alors appelé l'automorphisme de Frobenius global (par opposition à l'automorphisme de Frobenius de l'extension résiduelle qu'on pourrait qualifier de résiduel). En effet, si l'on considère l'extension locale obtenue par complétion de l'extension L/K en P_i, on obtient une extension non ramifiée de corps de nombres p-adiques dont le groupe de Galois est exactement isomorphe à celui de l'extension résiduelle et est engendré par l'automorphisme de Frobenius dit ``local", image également de l'automorphisme de Frobenius de l'extension résiduelle. Si l'extension L/K est Abélienne ( $G=Gal(L/K)$ commutatif), l'automorphisme de Frobenius global est indépendant du choix de l'idéal premier P_i de L au-dessus de p (idéal premier de K) et se note $\left({\frac {L/K}{p}}\right)$ .

Supposons maintenant L/K Abélienne. Pour un idéal fractionnaire $a$ de K de étranger à la ramification dans L/K, de la forme

a:=\prod _{k}p_{k}^{a_{k}},\ \ a_{k}\in Z,

où les $p_{k}$ sont des idéaux premiers quelconques (non ramifiés) du corps de base K, on appelle symbole d'Artin de l'idéal $a$ , l'élément de $G$ noté

\left({\frac {L/K}{a}}\right):=\prod _{k}\left({\frac {L/K}{p_{k}}}\right)^{a_{k}},

où chaque $\left({\frac {L/K}{p_{k}}}\right)$ est l'automorphisme de Frobenius global que l'on vient de définir dans le cas Abélien.

C'est un objet à la base de la théorie du corps de classes global dans la mesure où l'application (dite aussi application d'Artin) du groupe des idéaux de K (étrangers à la ramification) dans le groupe $G$ qui en résulte est surjective et a un noyau canonique calculable (point très profond et difficile de la théorie), ce qui constitue la "Loi de Réciprocité d'Artin", considérable généralisation pour les corps de nombres de la loi de réciprocité quadratique de Gauss.

Exemple : les entiers de Gauss

Article détaillé : Décomposition des nombres premiers dans l'anneau des entiers d'un corps quadratique.

Ce paragraphe décrit la décomposition des idéaux premiers dans l'extension de corps ℚ( $i$ )/ℚ, c'est-à-dire que nous prenons K = ℚ et L = ℚ( $i$ ), donc O_K est simplement ℤ, etO_L = ℤ[ $i$ ] est l'anneau des entiers de Gauss. Bien que ce cas soit loin d'être représentatif^[1] — après tout, ℤ[ $i$ ] est factoriel — il expose beaucoup de possibilités de la théorie.

En notant G le groupe de Galois de ℚ( $i$ )/ℚ, et σ l'automorphisme de conjugaison complexe dans G, il existe trois cas à considérer.

Le nombre premier p = 2

Le nombre premier 2 de ℤ se ramifie dans ℤ[ $i$ ] :

(2)=(1+{\rm {i}})^{2}

donc ici, l'indice de ramification est e = 2. Le corps résiduel O_L/(1 + $i$ )O_L est le corps fini à deux éléments. Le groupe de décomposition est égal à G tout entier, puisqu'il existe seulement un élément premier de ℤ[ $i$ ] au-dessus de 2. Le groupe d'inertie est aussi G tout entier, puisque pour tous entiers $a$ et $b$ ,

a+b{\rm {i}}\equiv a-b{\rm {i}}{\pmod {(1+{\rm {i}})}}.

En fait, 2 est le seul nombre premier qui se ramifie dans ℤ[ $i$ ], puisque chaque nombre premier qui se ramifie doit diviser le discriminant de ℤ[ $i$ ], qui est –4.

Nombres premiers p ≡ 1 mod 4

Tout nombre premier p ≡ 1 mod 4 se décompose en deux idéaux premiers distincts dans ℤ[ $i$ ] ; ceci est une manifestation du théorème de Fermat sur les sommes de deux carrés. Par exemple,

(13)=(2+3{\rm {i}})(2-3{\rm {i}}).

Les groupes de décomposition dans ce cas sont tous les deux le groupe trivial ; l'automorphisme σ échange les deux nombres premiers 2 + 3 $i$ et 2 – 3 $i$ , donc il ne peut pas être dans le groupe de décomposition de chaque nombre premier. Le groupe d'inertie, étant un sous-groupe du groupe de décomposition, est aussi le groupe trivial. Il existe deux corps résiduels, un pour chaque nombre premier,

O_{L}/(2\pm 3{\rm {i}})O_{L},

qui sont tous les deux isomorphes au corps fini à 13 éléments. L'élément de Frobenius est l'automorphisme trivial, ce qui signifie que pour tous entiers $a$ et $b$ ,

(a+b{\rm {i}})^{13}\equiv a+b{\rm {i}}{\pmod {(2\pm 3i)}}.

Nombres premiers p ≡ 3 mod 4

Tout nombre premier p ≡ 3 mod 4 reste inerte dans ℤ[ $i$ ], c’est-à-dire qu'il ne se décompose pas. Par exemple, (7) reste premier dans ℤ[ $i$ ]. Dans cette situation, le groupe de décomposition est de nouveau G tout entier, parce qu'il existe seulement un seul facteur premier. Néanmoins, cette situation diffère du cas p = 2, parce que maintenant σ n'agit pas de manière triviale sur le corps résiduel O_L/(7)O_L, qui est le corps fini à 7² = 49 éléments. Par exemple, la différence entre 1 + $i$ et σ(1 + $i$ ) = 1 – $i$ est 2 $i$ , qui n'est pas divisible par 7. Par conséquent, le groupe d'inertie est le groupe trivial. Le groupe de Galois de ce corps résiduel sur le sous-corps ℤ/7ℤ est d'ordre 2, et est engendré par l'image de l'élément de Frobenius. Le Frobenius n'est autre que σ, ce qui signifie que pour tous entiers $a$ et $b$ ,

(a+b{\rm {i}})^{7}\equiv a-b{\rm {i}}{\pmod {7}}.

Résumé

Nombre premier dans ℤ	Décomposition dans ℤ[ $i$ ]	Groupe d'inertie	Groupe de décomposition
2	se ramifie avec indice 2	G	G
p ≡ 1 mod 4	se décompose en deux facteurs distincts	1	1
p ≡ 3 mod 4	reste inerte	1	G

Calcul de la factorisation

La méthode suivante^[2] permet dans de nombreux cas de déterminer la factorisation d'un idéal premier P de O_K en premiers de O_L. Pour qu'elle soit applicable, il suffit que l'extension L/K soit finie et séparable ; l'hypothèse supplémentaire de normalité dans la définition d'une extension de Galois n'est pas nécessaire. La stratégie est de choisir un élément primitif θ dans O_L et d'examiner son polynôme minimal H(X) sur K ; c'est un polynôme unitaire à coefficients dans O_K. En réduisant modulo P ces coefficients, on obtient un polynôme unitaire h(X) à coefficients dans le corps résiduel (fini) F = O_K(P). Si la factorisation de h(X) dans F[X] (en produit de puissances de polynômes unitaires irréductibles) est

h(X)=h_{1}(X)^{e_{1}}\ldots h_{n}(X)^{e_{n}}

alors, dès que P n'appartient pas à l'ensemble fini (décrit ci-dessous) des premiers exceptionnels, sa factorisation sur O_L (en produit de puissances d'idéaux premiers distincts) est de la forme

PO_{L}=Q_{1}^{e_{1}}\ldots Q_{n}^{e_{n}}.

De plus, le degré d'inertie de chaque Q_j est égal au degré du polynôme h_j correspondant, et l'on a une formule explicite pour les Q_j :

Q_{j}=PO_{L}+h_{j}(\theta )O_{L}.

Si l'extension est de Galois, tous les degrés d'inertie sont égaux, de même que tous les indices de ramification e₁ = … = e_n.

Les premiers exceptionnels, pour lesquels le résultat ci-dessus n'est pas toujours vrai, sont ceux qui ne sont pas premiers avec le conducteur de l'anneau O_K[θ].

Ce conducteur est par définition l'idéal suivant de l'anneau O_L des entiers de L :

\{y\in O_{L}\mid yO_{L}\subset O_{K}[\theta ]\}.

Il mesure à quel point l'ordre O_K[θ] diffère de l'ordre maximal qu'est l'anneau O_L tout entier.

Un exemple

Considérons de nouveau le cas des entiers de Gauss. Nous prenons, comme élément primitif θ, l'unité imaginaire $i$ , dont le polynôme minimal est X² + 1. Puisqu'ici O_K[θ] = ℤ[ $i$ ] est égal à la totalité de l'anneau des entiers de L = ℚ( $i$ ), l'idéal conducteur est l'anneau O_L lui-même, donc il n'existe pas de premiers exceptionnels.

Pour P = (2), nous devons travailler dans le corps ℤ/(2)ℤ et factoriser modulo 2 le polynôme X² + 1 : $X^{2}+1=(X+1)^{2}{\pmod {2}}.$ Par conséquent, il n'existe qu'un facteur premier, de degré d'inertie 1 et d'indice de ramification 2, et il est donné par $Q=(2)\mathbb {Z} [{\rm {i}}]+({\rm {i}}+1)\mathbb {Z} [{\rm {i}}]=(1+{\rm {i}})\mathbb {Z} [{\rm {i}}].$
Le cas suivant est P = (p) pour un nombre premier p ≡ 3 mod 4 ; plus concrètement, nous prendrons P = (7). Le polynôme $X^{2}+1$ est irréductible modulo 7. Par conséquent, il n'existe qu'un facteur premier, de degré d'inertie 2 et d'indice de ramification 1, et il est donné par $Q=(7)\mathbb {Z} [{\rm {i}}]+({\rm {i}}^{2}+1)\mathbb {Z} [{\rm {i}}]=7\mathbb {Z} [{\rm {i}}].$
Le dernier cas est P = (p) pour un nombre premier p ≡ 1 mod 4 ; nous prendrons de nouveau P = (13). Cette fois, nous avons la factorisation $X^{2}+1=(X+5)(X-5){\pmod {13}}.~$ Par conséquent, il existe deux facteurs premiers, tous les deux avec un degré d'inertie et un indice de ramification égal à 1. Ils sont donnés par $Q_{1}=(13)\mathbb {Z} [{\rm {i}}]+({\rm {i}}+5)\mathbb {Z} [{\rm {i}}]=(2+3{\rm {i}})\mathbb {Z} [{\rm {i}}]\quad {\text{et}}\quad Q_{2}=(13)\mathbb {Z} [{\rm {i}}]+({\rm {i}}-5)\mathbb {Z} [{\rm {i}}]=(2-3{\rm {i}})\mathbb {Z} [{\rm {i}}].$

Notes et références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Splitting of prime ideals in Galois extensions » (voir la liste des auteurs).

↑ Pour un corps quadratique quelconque, voir (en) Kenneth Ireland et Michael Rosen, A Classical Introduction to Modern Number Theory, Springer, coll. « GTM » (n^o 84), 1990 (réimpr. 1998), 2^e éd. (1^re éd. 1972), 389 p. (ISBN 978-0-387-97329-6, lire en ligne), p. 190.
↑ (en) Jürgen Neukirch, Algebraic Number Theory [détail des éditions], p. 47.

Portail de l’algèbre

[1] Pour un corps quadratique quelconque, voir (en) Kenneth Ireland et Michael Rosen, A Classical Introduction to Modern Number Theory, Springer, coll. « GTM » (n^o 84), 1990 (réimpr. 1998), 2^e éd. (1^re éd. 1972), 389 p. (ISBN 978-0-387-97329-6, lire en ligne), p. 190.

[2] (en) Jürgen Neukirch, Algebraic Number Theory [détail des éditions], p. 47.

[1]

[2]