Groupe des classes d'idéaux
211806
31516712
2008-07-12T11:15:33Z
Valvino
116222
{{portail mathématiques}}
En [[mathématiques]], la théorie des [[corps de nombres algébriques]] fait apparaître un [[groupe abélien]] fini construit à partir de chaque tel corps : son '''groupe des classes d'idéaux'''.
== Histoire et origine du groupe des classes d'idéaux ==
Les premiers '''groupes de classes''' rencontrés en [[mathématiques]] furent des groupes de classes de [[forme quadratique|formes quadratiques]] : dans le cas des formes quadratiques binaires, dont l'étude a été faite par le [[mathématicien]] [[Allemagne|allemand]] [[Carl Friedrich Gauss|Gauss]], une [[loi de composition]] est définie sur certaines classes d'équivalence de formes. On obtient ainsi un [[groupe abélien]] fini.
Plus tard au {{s-|XIX|e}}, [[Ernst Kummer|Kummer]] travailla à une théorie des [[corps cyclotomique]]s. Il comprit alors qu'il y avait une bonne raison pour que les tentatives de donner une démonstration complète du cas général du [[dernier théorème de Fermat]] par de simples méthodes de factorisation utilisant les [[racine de l'unité|racines de l'unité]] échouent : l'absence d'un analogue adéquat du [[théorème fondamental de l'arithmétique]], dans les [[anneau (mathématiques)|anneaux]] engendrés par ces racines de l'unité, était un obstacle majeur. La première étude de cette obstruction à la factorisation se trouve dans le travail de Kummer. L'obstruction obtenue par Kummer est, en langage contemporain, une partie du '''groupe des classes d'idéaux''' : en fait, Kummer a isolé la ''p''-[[sous-groupe de torsion|torsion]] dans ce groupe, pour le corps, dit cyclotomique, engendré par les ''p''-racines de l'unité, pour tout [[nombre premier]] ''p'', et l'a identifiée comme la raison de l'échec des tentatives classiques de résolution du problème de Fermat (voir [[nombre premier régulier]]).
[[Richard Dedekind|Dedekind]] formula ensuite le concept d'[[idéal]], que Kummer n'avait pas énoncé. Ce langage donnait un cadre pour l'unification des divers exemples étudiés notamment par Kummer. Il fut montré qu'alors que les anneaux d'[[entier algébrique|entiers algébriques]] n'ont pas toujours une [[théorème fondamental de l'arithmétique|décomposition unique en facteurs premiers]] (ils ne sont notamment pas des [[anneau principal|anneaux idéaux principaux]]), ils possèdent la propriété que chaque idéal propre admet une unique décomposition comme produit d'[[idéal premier|idéaux premiers]] (c’est-à-dire, chaque [[anneau (mathématiques)|anneau]] d'entiers algébrique est un [[anneau de Dedekind]]). Le '''groupe des classes d'idéaux''' est un outil théorique pour étudier la question : quels idéaux sont des [[idéal principal|idéaux principaux]] ? Il mesure en fait le défaut de principalité de l'anneau considéré, et, en particulier, ''tous les idéaux sont principaux, si et seulement si le groupe des classes d'idéaux (qui est un groupe fini) est réduit à un élément''.
== Développement technique ==
Si ''A'' est un [[anneau intègre]], définissons une [[relation (mathématiques)|relation]] ~ sur les idéaux non nuls de ''A'' par : ''I'' ~ ''J'' lorsqu'il existe des éléments non nuls ''a'' et ''b'' de ''A'' tels que (''a'')''I'' = (''b'')''J'' (ici, la notation (''a'') signifie l'[[idéal principal]] de ''A'' constitué de tous les multiples de ''a''. On montre que celle-ci est une [[relation d'équivalence]]. Les [[classe d'équivalence|classes d'équivalences]] sont appelées les ''classes d'idéaux'' de ''A''.
Les classes d'idéaux peuvent être multipliées : si [''I''] désigne la classe d'équivalence de l'idéal ''I'', alors la multiplication [''I''][''J''] = [''IJ''] est correctement définie et est [[commutativité|commutative]]. Les idéaux principaux forment la classes d'idéaux [''A''] qui sert d'[[élément neutre]] pour cette multiplication.
Si ''A'' est un anneau d'entiers algébriques ''O''<sub>K</sub>, ou plus généralement un [[anneau de Dedekind]], la multiplication définie ci-dessus munit l'ensemble des classes d'idéaux d'une structure de [[groupe abélien]] : on obtient le '''groupe des classes d'idéaux''' de ''A''. La propriété d'existence d'éléments opposés pour la loi de groupe n'est pas immédiate, et nécessite un développement spécifique (voir [[idéal fractionnaire]]).
Le groupe des classes d'idéaux est trivial (c.a.d. contient seulement son élément identité) si et seulement si tous les idéaux de ''A'' sont principaux. Dans ce sens, le groupe des classes d'idéaux mesure un défaut de principalité de l'anneau ''A'' (est-il loin d'être un [[anneau principal]]?), et par conséquent ''a fortiori'' un défaut de factorialité : lui manque-t-il beaucoup pour que la propriété de décomposition unique en facteurs premiers soit vérifiée ? (les anneaux de Dedekind sont des [[anneau factoriel|anneaux factoriels]] si et seulement s’ils sont des [[anneau principal|anneaux principaux]]). Principalité et factorialité sont des propriétés de l'anneau ''Z'' des [[entier relatif|entiers rationnels]] ; le groupe des classes donne une première indication sur l'éloignement entre l'arithmétique de cet anneau et celle des anneaux d'entiers algébriques.
Le nombre d'éléments du groupe des classes d'idéaux (appelé '''nombre de classes''' de ''A'') peut être infini en général. Cependant, si ''A'' est un anneau d'entiers algébriques inclus dans une [[extension finie]] de ''Q'', un théorème affirme que ce nombre est '''''toujours''''' fini. C'est un des principaux résultats de la théorie algébrique classique des nombres. Le calcul effectif du groupe des classes est complexe. En général; il peut être fait à la main pour les [[corps de nombres algébriques]] de petit [[forme trace|discriminant]], en utilisant les propriétés géométriques de l'anneau. Ce résultat donne l'existence d'une borne telle que dans chaque classe d'idéaux, il existe un représentant, un certain idéal, dont la norme soit plus petite que cette borne. Sachant qu'il n'existe qu'un nombre fini d'idéaux dont la norme soit plus petite qu'une borne donnée, il ne reste plus qu'un nombre fini de combinaisons à tester. Souvent, la borne n'est pas assez fine pour rendre le calcul praticable à la main dans un corps dont le discriminant est grand ; mais les [[ordinateur]]s suppléent efficacement le mathématicien dans cette tâche.
Pour continuer à étudier l'arithmétique des anneaux d'entiers algébriques, il faut introduire un autre groupe : le groupe des éléments inversibles, appelé [[groupe des unités]] ; dans le cas des entiers rationnels, ce groupe est réduit à 1 et -1. Quelles nouvelles unités trouve-t-on dans les autres anneaux ? L'existence de nouvelles unités est une autre obstruction à ce que l'arithmétique des anneaux d'entiers algébriques soit semblable à celle de ''Z''.
Ces deux obstructions, groupe des classes et groupe des unités peuvent être liées comme suit : définissons une application de ''K''\{0} vers l'ensemble de tous les idéaux fractionnaires différents de zéro de ''A'' en envoyant chaque élément du corps vers l'idéal (fractionnaire) principal qu'il engendre. Ceci est un [[homomorphisme de groupe]]s ; son [[noyau (algèbre)|noyau]] est le groupe des unités de ''A'', et son conoyau est le groupe des classes d'idéaux de ''A''. La non trivialité de ces groupes, qui mesure la distance entre l'arithmétique de ''A'' et celle de ''Z'', est précisément le défaut d'[[isomorphisme|isomorphie]] de l'application.
L'association à un anneau d'entiers de son groupe des classes est fonctorielle, et le groupe de classes peut être interprété en termes de [[K-théorie|K-théorie algébrique]] : K<sub>0</sub>(''A'') est le foncteur assignant à ''A'' son groupe des classes d'idéaux ; plus précisément, ''K''<sub>0</sub>(''A'') = ''Z'' x ''C''(''A''), où ''C''(''A'') est le groupe de classes. Les groupes K<sub>n</sub> pour <math> n </math> plus élevé peuvent aussi être employés et interprétés arithmétiquement en relation avec les anneaux des entiers.
== Exemples de groupes des classes d'idéaux ==
{{Article détaillé|Entier quadratique}}
Les premiers anneau d'entiers algébriques contiennent un groupe des classes trivial. C'est le cas des entiers naturels ou des [[entier de Gauss|entiers de Gauss]], correspondant à l'ensemble ''Z''[''i''] où ''Z'' désigne l'ensemble des entiers naturels et ''i'' l'[[unité imaginaire]]. D'autres ensembles de cette nature permettent historiquement de résoudre quelques [[équation diophantienne|équations diophantiennes]] : les [[entier d'Eisenstein|entiers d'Eisenstein]] ou ceux de [[entier de Dirichlet|Dirichlet]] correspondent à cette configuration.
Cette famille d'exemples correspond aux anneaux d'entiers de corps quadratiques, c'est à dire d'[[extension quadratique|extensions quadratiques]] des nombres rationnels. Une question difficile est celle de l'identification des anneaux de cette nature ayant un groupe des classes trivial. La liste est initialement conjecturée par [[Carl Friedrich Gauss]] et démontré par [[Kurt Heegner]] ; cependant, la démonstration d'Heegner ne fut pas reconnue jusqu'à ce qu'[[Harold Stark]] donne une démonstration en [[1967 en science|1967]], et que le même Stark montre que sa propre démonstration était en fait équivalente à celle de Heegner. Ce résultat est maintenant connu sous le nom de [[théorème de Stark-Heegner]] et est un cas particulier du [[Problème du nombre de classes pour les corps quadratiques imaginaires|problème du nombre de classes]]. D'autres anneaux d'entiers sur des corps quadratiques ne sont pas principaux. L'article détaillé élucide la structure de ''Z''[''i''√5], qui possède un groupe de classes à deux éléments.
Si ''K'' est un corps, alors l'anneau polynomial ''K''[''X''<sub>1</sub>, ''X''<sub>2</sub>, ''X''<sub>3</sub>, ...] est intègre et possède un ensemble infini dénombrable de classes d'idéaux.
== Démonstrations ==
=== Décors ===
{{Article détaillé|Idéal fractionnaire}}
Ici ''Q'' désigne le corps des nombres rationnels, ''K'' une [[extension finie]] de ''Q'' et ''C'' le corps des nombres complexes. L'anneau étudié, noté ''O''<sub>K</sub> est la fermeture intégrale de ''K'', c'est à dire l'ensemble des [[entier algébrique|entiers algébriques]] contenu dans ''K''. C'est un [[anneau de Dedekind]] tel que tout idéal se décompose de manière unique en un produit d'idéaux premiers. Ce résultat s'obtient en adjoignant des idéaux alors appelés fractionnaires, pour obtenir une structure de groupe. Ces propriétés sont analysées dans l'article détaillé.
Les éléments du groupe de Galois du [[corps de décomposition]] de ''K'' (la plus petite [[extension de Galois]] contenant ''K'') sont notés σ<sub>1</sub>, ... , σ<sub>d</sub>. La numérotation suit l'ordre suivant : les automorphismes à valeurs réels sont numérotés de 1 à ''r''<sub>1</sub>, si 2''r''<sub>2</sub> désigne le nombre d'automorphismes ayant une composante imaginaire non nul, alors le [[conjugué]] de la fonction σ<sub>''r''<sub>1</sub> + n</sub> est σ<sub>''r''<sub>1</sub> + ''r''<sub>2</sub> + n</sub>.
L'ensemble ''K''<sub>R</sub> désigne l'espace vectoriel ''R''<sup>r<sub>1</sub></sup> x ''C''<sup>r<sub>2</sub></sup> et Σ le morphisme de ''Q'' [[algèbre sur un corps|algèbre]] suivant :
<center><math>\Sigma : \quad \begin{align}\mathbb K \ & \longrightarrow \mathbb K_{\mathbb R} = \mathbb R^{r_1} \times \mathbb C^{r_2} \\
\alpha \ & \longrightarrow \Sigma(\alpha)= \big(\sigma_1(\alpha),\cdots ,\sigma_{r_1 + r_2}(\alpha)\big) \end{align}</math></center>
On définit de même une fonction ''N''<sub>R</sub> de ''K''<sub>R</sub> à valeur dans ''R'' par :
<center><math>\mathcal N_{\mathbb R} : \quad \begin{align}\mathbb K_{\mathbb R} \ & \longrightarrow \mathbb R \\
x \ & \longrightarrow \mathcal N_{\mathbb R}(x)= |x_1|\cdot \; \cdots \; \cdot |x_{r_1}|\cdot |x_{r_1 +1}|^2\cdot \;\cdots \; \cdot |x_{r_1 + r_2}|^2 \end{align} \quad \text{avec}\quad x =(x_1,\cdots,x_{r_1 + r_2})</math></center>
La norme ''N''<sub>R</sub> correspond à la [[moyenne géométrique]] des différentes [[valeur absolue|valeurs absolues]] ou [[module d'un nombre complexe|modules]] si la coordonnée est complexe.
Si ''N''<sub>K</sub> désigne la fonction qui à un élément α de ''K'' associe sa [[norme (arithmétique)|norme relative]] élément de ''Q'', on obtient le diagramme commutatif :
<center><math>\begin{matrix} & \mathbb K & \xrightarrow{\Sigma} & \mathbb K_{\mathbb R} \\
\mathcal N_{\mathbb K /\mathbb Q} & \downarrow & & \downarrow & \mathcal N_{\mathbb R} \\
& \mathbb Q & \xrightarrow{|\cdot |} & \mathbb R \end{matrix}
</math></center>
On munit ''K''<sub>R</sub> de la [[Norme (mathématiques)|norme]] suivante :
<center><math>\|\cdot\| : \quad \begin{align}\mathbb K_{\mathbb R} \ & \longrightarrow \mathbb R_+ \\
x \ & \longrightarrow \|x\|= |x_1| + \cdots + |x_{r_1}| + 2|x_{r_1 +1}|+\cdots +2|x_{r_1 + r_2}| \end{align} </math></center>
Enfin, planter exhaustivement le décors suppose d'introduire le [[forme trace|discriminant]] d'une [[forme bilinéaire]] dans un ''Z''-[[module sur un anneau]]. Il correspond au déterminant d'une matrice qui la représente. Comme les endomorphismes inversibles ont un déterminant aussi inversible et donc égal à +/-1, un changement de [[base (algèbre linéaire)|base]] ne modifie pas le discriminant. Ce terme est aussi appliqué à un anneau d'entiers algébriques. La forme bilinéaire associé donne pour valeur du couple (''a'', ''b'') la [[Trace (algèbre)|trace]] de l'application linéaire qui à ''x'' associe ''a.b.x'', elle porte le nom de [[forme trace]].
=== Lemmes techniques ===
Soit ''d'' la dimension de ''K''<sub>R</sub>, c'est à dire ''r''<sub>1</sub> + 2.''r''<sub>2</sub> alors :
:* ''La majoration suivante est toujours vérifiée :''
<center><math>\forall x \in \mathbb K_{\mathbb R}\quad |\mathcal N_{\mathbb R}(x)|^{1/d}\le \frac{\|x\|}d</math></center>
Ce lemme signifie simplement que la [[moyenne géométrique]] est plus petite que la [[moyenne arithmétique]].
Soit <math>\delta</math> une longueur, c'est à dire un nombre réel positif :
:* ''Le volume ''V'' d'une [[Boule (mathématiques)|boule]] de ''K''<sub>R</sub> de rayon δ est donné par la formule suivante :''
<center><math>V = 2^{r_1}\left(\frac{\pi}2 \right)^{r_2} \frac {\delta^d}{d!}</math></center>
Considérons l'image de ''O''<sub>K</sub> dans ''K''<sub>R</sub>, c'est un ''Z'' module. Son '''[[Réseau (géométrie)|volume fondamental]]''' est la mesure de l'aire composée par l'ensemble des vecteurs de coordonnées toutes prises dans l'intervalle [0, 1] si la base choisie est une base du module. Comme tout isomorphisme de ''Z'' module possède un déterminant inversible dans ''Z'', l'isomorphisme possède un déterminant égal à +/- 1. Ainsi le volume fondamental est indépendant du choix de la base du module. Ce volume correspond à celui de ''K''<sub>R</sub>/ Σ(''O''<sub>K</sub>). Pour cette raison, on le note ''Vol'' (''K''<sub>R</sub>/ Σ(''O''<sub>K</sub>)). Le troisième lemme technique concerne un volume de cette nature :
:* ''Soit ''M'' un idéal de ''O''<sub>K</sub>, l'égalité suivante est vérifiée :''
<center><math>\text{Vol}\left(\frac {\mathbb K_{\mathbb R}}{\Sigma (\mathfrak M)}\right) = 2^{-r_2}|\text{discr}(\mathcal O_{\mathbb K})|^{1/2}.\mathcal N_{\mathbb K/\mathbb Q}(\mathfrak M)</math></center>
La fonction Σ est celle définie au paragraphe précédent.
{{boîte déroulante début|align=left|titre=Démonstrations}}
:* '''La majoration suivante est toujours vérifiée :'''
<center><math>\forall x \in \mathbb K_{\mathbb R}\quad |\mathcal N_{\mathbb R}(x)|^{1/d}\le \frac{\|x\|}d</math></center>
Si ''a''<sub>i</sub> désigne la valeur absolue ou le module de ''x''<sub>i</sub>, la majoration à démontrer est la suivante :
<center><math>\left(\prod_{i=1}^d a_i\right)^{\frac 1d}\le \frac {\sum_{i=1}^d a_i}d</math></center>
Le [[logarithme]] est une fonction [[Fonction convexe|concave]], ce qui montre la majoration :
<center><math>\frac 1d\sum_{i=1}^d \ln(a_i) \le \ln \left(\frac 1d\sum_{i=1}^d a_i\right)</math></center>
La fonction [[exponentielle]] est une fonction strictement croissante inverse du logarithme, et donc :
<center><math>\exp\left(\frac 1d\sum_{i=1}^d \ln(a_i)\right) = \exp\left(\sum_{i=1}^d \ln(a_i)\right)^{1/d} = \left(\prod_{i=1}^d a_i\right)^{\frac 1d}\le \left(\frac 1d\sum_{i=1}^d a_i\right)</math></center>
On remarque que les coefficients ''a''<sub>i</sub> peuvent être nuls et la démonstration n'est alors pas valable. En revanche, si un ''a''<sub>i</sub> est nul, le terme de gauche est nul et celui de droite positif, la majoration est bien vérifiée.
:* '''Le volume ''V'' d'une [[Boule (mathématiques)|boule]] de ''K''<sub>R</sub> de rayon δ est donné par la formule suivante :'''
<center><math>V = 2^{r_1}\left(\frac{\pi}2 \right)^{r_2} \frac {\delta^d}{d!}</math></center>
Le calcul est le fruit d'une double récurrence, d'abord sur ''r''<sub>1</sub> puis sur ''r''<sub>2</sub>. Notons <math>\lambda</math>''V''<sub>λμδ</sub> le volume de la sphère si ''r''<sub>1</sub> est égal à λ et ''r''<sub>2</sub> à μ et le rayon δ.
:* ''L'égalité suivante est vérifiée :''
<center><math>V_{\lambda,0,\delta} = 2^{\lambda}\frac {\delta^{\lambda}}{\lambda!}</math></center>
Si λ est égal à 1, l'égalité est vérifiée, en effet :
<center><math>V_{1,0,\delta} =\int_{-\delta}^\delta 1 dt = 2\delta</math></center>
Ce calcul revient à dire qu'un segment de rayon δ est de longueur 2δ. Supposons maintenant établie la proposition pour λ - 1 et montrons là pour λ :
<center><math>V_{\lambda,0,\delta} =\int_{-\delta}^\delta V_{\lambda - 1,0,t} dt = 2\int_0^\delta 2^{\lambda -1}\frac {t^{\lambda -1}}{(\lambda -1)!} dt=\frac {2^{\lambda}}{\lambda!}\int_0^\delta \lambda t^{\lambda -1}dt = 2^{\lambda}\frac {\delta^{\lambda}}{\lambda!}</math></center>
Il suffit alors de traiter le cas complexe :
:* ''L'égalité suivante est vérifiée :''
<center><math>V_{r_1,\mu,\delta} = 2^{r_1}\left(\frac{\pi}2 \right)^{\mu} \frac {\delta^{r_1+\mu}}{(r_1 + \mu)!}</math></center>
Si μ est égal à 0, les calculs précédents établissent le résultat. Supposons le résultat vrai à l'ordre μ - 1 et montrons le pour μ. Pour cela, utilisons les [[coordonnées polaires]] ρ et θ :
<center><math>V_{r_1,\mu,\delta}=2\pi\int_0^{\delta/2} V_{r_1,\mu -1,\delta - 2\rho}d\rho = \frac{2^{r_1+2}}{(r_1 + \mu)!} \left(\frac{\pi}2 \right)^{\mu}\int_0^{\delta /2} (r_1 + \mu)(\delta - 2\rho)^{r_1+\mu -1} d\rho = \frac{2^{r_1+2}}{(r_1 + \mu)!} \left(\frac{\pi}2 \right)^{\mu}\left[-\frac 12(\delta - 2\rho)^{r_1+\mu}\right]_0^{\delta /2} </math></center>
On en déduit le résultat suivant, qui démontre la proposition :
<center><math>V_{r_1,\mu,\delta} =\frac{2^{r_1}}{(r_1 + \mu)!} \left(\frac{\pi}2 \right)^{\mu}\delta^{r_1+\mu}</math></center>
:* '''Soit ''M'' un idéal de ''O''<sub>K</sub>, l'égalité suivante est vérifiée :'''
<center><math>\text{Vol}\left(\frac {\mathbb K_{\mathbb R}}{\Sigma (\mathfrak M)}\right) = 2^{-r_2}|\text{discr}(\mathcal O_{\mathbb K})|^{1/2}.\mathcal N_{\mathbb K/\mathbb Q}(\mathfrak M)</math></center>
Soit ''B'' égale à (''b''<sub>i</sub>) pour ''i'' variant de 1 à ''d'' une base de ''O''<sub>K</sub>. Etablissons dans un premier temps le volume fondamental de Σ(''O''<sub>K</sub>). Il est égal au déterminant suivant :
<center><math>\text{Vol}\left(\frac {\mathbb K_{\mathbb R}}{\Sigma \mathcal O_{\mathbb K})}\right) = \left| \det \begin{pmatrix}
\sigma_1(b_1) & \cdots & \sigma_1(b_d) \\ \vdots & & \vdots \\
\sigma_{r_1}(b_1) & \cdots & \sigma_{r_1}(b_d) \\ \text{Re}(\sigma_{r_1+1}(b_1)) & \cdots & \text{Re}(\sigma_{r_1+1}(b_d)) \\
\text{Im}(\sigma_{r_1+1}(b_1)) & \cdots & \text{Im}(\sigma_{r_1+1}(b_d)) \\ \vdots & & \vdots \\ \text{Re}(\sigma_{r_1+r_2}(b_1)) & \cdots & \text{Re}(\sigma_{r_1+r_2}(b_d)) \\
\text{Im}(\sigma_{r_1+r_2}(b_1)) & \cdots & \text{Im}(\sigma_{r_1+r_2}(b_d)) \\ \end{pmatrix}\right|
</math></center>
En multipliant à gauche la matrice précédente par une matrice bloc diagonale comportant ''r''<sub>1</sub> matrice 1x1 égales à (1) et par ''r''<sub>2</sub> matrice 2x2 donnée à la ligne suivante :
<center><math>\begin{pmatrix} 1 & i \\ 1 & -i \\ \end{pmatrix}</math></center>
On obtient l'égalité suivante :
<center><math>\text{Vol}\left(\frac {\mathbb K_{\mathbb R}}{\Sigma \mathcal O_{\mathbb K})}\right) = 2^{-r_2}\left| \det \begin{pmatrix}
\sigma_1(b_1) & \cdots & \sigma_1(b_d) \\ \vdots & & \vdots \\
\sigma_{r_1}(b_1) & \cdots & \sigma_{r_1}(b_d) \\ \sigma_{r_1+1}(b_1) & \cdots & \sigma_{r_1+1}(b_d) \\
\sigma_{r_1+r_2+1}(b_1) & \cdots & \sigma_{{r_1+r_2+1}}(b_d)) \\ \vdots & & \vdots \\ \sigma_{r_1+2r_2}(b_1) & \cdots & \sigma_{r_1+2r_2}(b_d) \\ \end{pmatrix}\right| = 2^{-r_2}|\det(A)| \quad \text{avec}\quad A = (\sigma_i(b_j))</math></center>
Notons (''b''<sub>ij</sub>) les coordonnées de la [[matrice transposée|transposée]] de ''A''. Elle est définie par ''b''<sub>ij</sub> = σ<sub>j</sub>(''b''<sub>i</sub>). On a :
<center><math>^tA\cdot A =\left(\sum_{k=1}^d b_{ik}a_{kj}\right)=\left(\sum_{k=1}^d \sigma_k(b_i)\sigma_k(b_j)\right)= \left(\sum_{k=1}^d \sigma_k(b_i.b_j))\right)</math></center>
On reconnait la [[forme trace]], on en déduit :
<center><math>\det (A^2) = \det (A)^2 = \det (^tA\cdot A) = \text{discr}(\mathcal O_{\mathbb K})\quad \text{et}\quad |\det (A)| = |\text{discr}(\mathcal O_{\mathbb K})|^{1/2}</math></center>
Pour conclure, il suffit d'utiliser l'égalité suivante, démontrée dans l'article [[Forme trace]] :
<center><math>\text{discr}({\mathfrak M}) = \mathcal N_{\mathbb K/\mathbb Q}(\mathfrak M)^2.\text{discr}(\mathcal O_{\mathbb K})\;</math></center>
{{Boîte déroulante fin}}
=== Théorèmes ===
Une fois les trois lemmes établis le théorème fondamental :
:* ''Si l'extension ''K'' est finie, le groupe des classes des idéaux de ''O''<sub>K</sub> est fini.''
est relativement simple à démontrer. La preuve utilise le résultat intermédiaire :
:* ''Si ''M'' est un idéal non nul de ''O''<sub>K</sub>, il existe un élément ''m'' de ''M'' dont la norme relative vérifie la majoration suivante :''
<center><math>\mathcal N_{\mathbb K/\mathbb Q}(m) \le \left(\frac 4\pi\right)^{r_2} \frac {d!}{d^d}|\text{discr}(\mathcal O_{\mathbb K})|^{1/2} \mathcal N_{\mathbb K/\mathbb Q}(\mathfrak M)</math></center>
Cette proposition est la conséquence directe du [[théorème de Minkowski]] et des lemmes précédents. Elle implique le résultat suivant, conséquence du fait que la norme relative est multiplicative :
:* ''Soit ''M'' un idéal non nul de ''O'', la classe de ''M'' <sup>-1</sup> contient un idéal de norme inférieure à ''b'', avec ''b'' défini par :''
<center><math>b= \left(\frac 4\pi\right)^{r_2} \frac {d!}{d^d}|\text{discr}(\mathcal O_{\mathbb K})|^{1/2}</math></center>
La proposition suivante est immédiate :
:* ''Soit ''n'' un entier strictement positif, il n'existe qu'un nombre fini d'idéaux de norme relative ''n''.''
Il n'existe en effet qu'un nombre fini d'anneaux unitaires intègres de cardinal ''n'' et qu'un nombre fini de morphismes d'anneaux de ''O''<sub>K</sub> dans un anneau donné.
Le théorème principal est la conséquence des deux derniers résultats. Il permet de démontrer le résultat suivant :
:* ''L'anneau ''O''<sub>K</sub> est factoriel si et seulement s'il est principal.''
{{boîte déroulante début|align=left|titre=Démonstrations}}
:* '''Si ''M'' est un idéal non nul de ''O''<sub>K</sub>, il existe un élément ''m'' de ''M'' dont la norme relative vérifie la majoration suivante :'''
<center><math>\mathcal N_{\mathbb K/\mathbb Q}(m) \le \left(\frac 4\pi\right)^{r_2} \frac {d!}{d^d}|\text{discr}(\mathcal O_{\mathbb K})|^{1/2} \mathcal N_{\mathbb K/\mathbb Q}(\mathfrak M)</math></center>
Le théorème de Minskowski indique qu'une boule ''B''( δ) de centre l'origine et de rayon δ contient un élément non nul d'un réseau fondamental de volume ''v'' si δ est tel que le volume de la boule ''B''( δ) est supérieur à 2<sup>d</sup>''v''. Le réseau qui nous intéresse est Σ(''O''<sub>K</sub>), son volume fondamental est le fruit du calcul d'un des lemmes précédents. Le volume de la boule ''B''( δ) est aussi donné par un des lemmes précédents. En conséquence, la boule contient nécessairement un point du réseau Σ(''O''<sub>K</sub>) si la majoration suivante est vérifiée :
<center><math>2^{r_1}\left(\frac{\pi}2 \right)^{r_2} \frac {\delta^d}{d!} \ge 2^{d-r_2}|\text{discr}(\mathcal O_{\mathbb K})|^{1/2}.\mathcal N_{\mathbb K/\mathbb Q}(\mathfrak M)</math></center>
On en déduit que si δ vérifie la majoration suivante, il existe un élément ''m'' de l'idéal ''M'' dans la boule ''B''( δ)
<center><math>\delta^d \ge \frac {2^{d-r_1}d!}{\pi^{r_2}}|\text{discr}(\mathcal O_{\mathbb K})|^{1/2}.\mathcal N_{\mathbb K/\mathbb Q}(\mathfrak M)</math></center>
De plus, l'élément ''m'', de la boule ''B''( δ) vérifie, d'après le premier lemme et en remarquant que ''d'' - ''r''<sub>1</sub> est égal à 2.''r''<sub>2</sub> :
<center><math>\mathcal N_{\mathbb K/\mathbb Q}(m)|\le\frac{\|x\|^d}{d^d} \le \frac {\delta^d}{d^d}\le \frac {4^{r_2}d!}{\pi^{r_2}d^d}|\text{discr}(\mathcal O_{\mathbb K})|^{1/2}.\mathcal N_{\mathbb K/\mathbb Q}(\mathfrak M)</math></center>
Ce qui démontre la proposition.
:* '''Soit ''M'' un idéal non nul de ''O'', la classe de ''M'' <sup>-1</sup> contient un idéal de norme inférieure à ''b'', avec ''b'' défini par :'''
<center><math>b= \left(\frac 4\pi\right)^{r_2} \frac {d!}{d^d}|\text{discr}(\mathcal O_{\mathbb K})|^{1/2}</math></center>
Soit ''m'' un élément de ''M'' dont la norme relative vérifie la majoration de la proposition précédente. Par définition de l'idéal ''M'' <sup>-1</sup>, ''mM''<sup>-1</sup> est un idéal noté ''N'' de ''O''<sub>K</sub> appartenant à la même classe que ''M'' <sup>-1</sup>. La multiplicativité des normes et la proposition précédente montrent que :
<center><math>\mathcal N_{\mathbb K/\mathbb Q} (\mathfrak N) = \frac {\mathcal N_{\mathbb K/\mathbb Q} (m)}{\mathcal N_{\mathbb K/\mathbb Q} (\mathfrak M)} \le \left(\frac 4\pi\right)^{r_2} \frac {d!}{d^d}|\text{discr}(\mathcal O_{\mathbb K})|^{1/2}</math></center>
:* '''L'anneau ''O''<sub>K</sub> est factoriel si et seulement s'il est principal :'''
Tout anneau principal est factoriel. Cette propriété se démontre ici sans appel à l'[[axiome du choix]] comme dans la démonstration générale. En effet, soit ''a'' un entier de ''O''<sub>K</sub>, l'idéal ''aO''<sub>K</sub> se décompose de manière unique en produit d'idéaux premiers. Comme l'anneau est principal, chaque idéal est de la forme ''p<sub>i</sub>O''<sub>K</sub> où ''p''<sub>i</sub> est un nombre premier. L'entier ''a'' est donc le produit d'une unité (un élément inversible) et de nombres premiers. Comme la décomposition en idéaux premiers est unique, l'anneau est bien factoriel.
Réciproquement, supposons que l'anneau ''O''<sub>K</sub> soit factoriel. Montrons tout d'abord par contraposée que si ''p'' est un nombre premier ''pO''<sub>K</sub> est un idéal premier. Soit ''M'' un idéal premier contenant un nombre premier ''p''. Supposons que ''p'' n'engendre pas ''M'', la décomposition en idéaux premiers de ''pO''<sub>K</sub> contient ''M'', il existe un idéal ''N'' produit de tous les autres facteurs de ''pO''<sub>K</sub> dans sa décomposition en idéaux premiers tel que ''pO''<sub>K</sub> = ''M.N''. Soit ''m'' (resp. ''n'') un élément de ''M'' (resp. ''N'') non multiple de ''p''. Un tel élément existe sinon ''pO''<sub>K</sub> serait égal à ''M'' (resp. ''N''). L'élément ''m.n'' est un multiple de ''p'', or ni ''m'' ni ''n'' ne sont des multiples de ''p'' et l'anneau ''O''<sub>K</sub> n'est pas factoriel. On en déduit si l'anneau est factoriel, il n'existe qu'un unique idéal premier contenant ''p'', c'est l'idéal engendré par ''p''.
Il suffit maintenant de montrer que tout idéal premier ''M'' contient un nombre premier. Soit ''m'' un élément de ''M'', la proposition précédente montre que la décomposition en idéaux premiers de ''m'' est une décomposition en idéaux principaux de générateurs des nombres premiers. ''M'' contient ''mO''<sub>K</sub>, il est donc présent dans sa décomposition en idéaux premiers. Comme ''M'' est premier, il est égal à un de ses facteurs et il est principal.
{{Boîte déroulante fin}}
== Connexions avec la théorie des corps de classes ==
La [[théorie des corps de classes]] est une branche de la [[corps de nombres algébriques|théorie algébriques des nombres]] qui cherche à classifier toutes les [[théorie de Galois|extensions abéliennes]] d'un [[corps de nombres algébriques]] donné, ce qui signifie des extensions de Galois avec un [[groupe de Galois]] abélien. En particulier, un magnifique exemple est trouvé dans le corps de classe de Hilbert d'un corps de nombres, qui peut être défini comme l'extension abélienne maximale non ramifiée d'un tel corps. Le corps de classe de Hilbert ''L'' d'un corps de nombres ''K'' est unique et possède les propriétés suivantes :
* Chaque idéal d'un anneau d'entiers de ''K'' devient principal dans ''L'', c'est-à-dire, si ''I'' est un idéal intègre de ''K'' alors l'image de ''I'' est un idéal principal dans ''L''.
* ''L'' est une extension de Galois de ''K'' avec un groupe de Galois isomorphe au groupe des classes d'idéaux de ''K''.
Aucune des propriétés n'est particulièrement facile à démontrer.
=== Voir aussi ===
* [[Anneau de Dedekind]]
* [[Idéal]]
* [[Idéal fractionnaire]], [[Norme (arithmétique)|Norme]] et [[Forme trace]]
* [[K-théorie|Théorie K algébrique]]
* [[Théorie de Galois]]
* [[Entier quadratique]]
{{portail mathématiques}}
[[Catégorie:Théorie algébrique des nombres]]
[[de:Idealklassengruppe]]
[[en:Ideal class group]]
[[ko:아이디얼류군]]
[[zh:理想類群]]