Théorème des unités de Dirichlet

Théorème des unités de Dirichlet
Page d'aide sur l'homonymie Pour les articles homonymes, voir Théorème de Dirichlet.

En théorie algébrique des nombres, le théorème des unités de Dirichlet détermine la structure du groupe des unités de l'anneau des entiers algébriques d'un corps de nombres K. Le groupe des unités désigne l'ensemble des éléments inversibles d'un anneau commutatif. Un corps de nombres est une extension finie des nombres rationnels Q, c'est-à-dire un sous-corps des nombres complexes C qui, en tant qu'espace vectoriel sur Q est de dimension finie. Un entier algébrique du corps de nombres est un élément dont le polynôme minimal est à coefficients dans Z, l'anneau des nombres entiers.

Le théorème des unités stipule que le groupe des unités est isomorphe au produit d'un groupe cyclique fini et d'un groupe abélien libre de rang fini. Si r1 désigne le nombre de morphismes injectifs du corps K dans R le corps des nombres réels et r2 le nombre de couples de morphismes injectifs conjugués du corps K dans l'ensemble C, alors ce rang est égal à r1 + r2 - 1. Le groupe cyclique est un sous-groupe du groupe des racines de l'unité.

Sommaire

Définitions et théorème

L'expression du théorème des unités de Dirichlet utilise parfois la notion de place. Dans le cas général :

  • Une place d'un corps K dans un corps L est une application de K adjoint de la valeur infinie ∞ dans L adjoint de la même valeur et respectant l'addition et la multiplication. On utilise les conventions x + ∞ = ∞ si x est un élément du corps, x.∞ = ∞ si x est un élément non nul du corps et ∞.∞ = ∞ avec ∞ + ∞ = ∞[1].

Si K est une extension finie de Q, alors la théorie de Galois indique qu'il existe autant de places de K à valeurs dans C que la dimension de K en tant qu'espace vectoriel sur Q (cf l'article Extension de Galois). Si une place a pour image un sous-corps de C qui n'est pas inclus dans R, alors la composition de l'application conjuguée et de la place est aussi une place. On peut ainsi séparer les r1 places à valeurs réelles d'avec les r2 couples de places conjuguées à valeurs complexes. De plus r1 + 2r2 est égal à la dimension de K sur Q. Le théorème des unités de Dirichlet s'exprime de la manière suivante :

  • Le groupe E(K) des unités de l'anneau d'entiers OK d'un corps de nombres est isomorphe au produit direct d'un groupe cyclique fini et d'un groupe abélien libre de rang r1 + r2 - 1 où r1 désigne le nombre de places réelles et r2 le nombre de couples de places complexes.

Un groupe abélien de type fini et de dimension n est isomorphe à Zn.

Exemple

Article détaillé : Entier quadratique.

Considérons la fermeture intégrale d'un corps quadratique, c'est-à-dire l'ensemble des entiers algébriques sur Q d'une extension quadratique de Q.

Si cet anneau contient des éléments à composante imaginaire non nulle, alors r1 est égal à zéro et r2 à un, le groupe des unités est un groupe cyclique fini, il contient en général deux éléments sauf pour les entiers de Gauss et ceux de d'Eisenstein. Ces anneaux d'entiers quadratiques sont les seuls fermeture intégrale d'un corps de nombres à posséder un groupe des unités d'ordre fini (non égal à 2).

Si cet anneau est inclus dans le corps des réels, r1 est égal à deux et r2 à zéro. Le groupe est le produit direct d'un groupe cyclique à deux éléments et d'un groupe isomorphe à Z. Cette situation est par exemple celle des entiers de Dirichlet. L'équation de Pell-Fermat se résout à l'aide de la détermination du groupe des unités d'un corps quadratique réel.

Une démonstration du théorème dans le cas particulier des entiers quadratiques est donnée dans l'article détaillé.

Démonstration

Décors

Il est analogue à celui de l'analyse du groupe des classes d'idéaux de OK. Rappelons-le brièvement :

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 σ1, ... , σd. La numérotation suit l'ordre suivant : les automorphismes à valeurs réelles sont numérotés de 1 à r1, si 2r2 désigne le nombre d'automorphismes ayant une composante imaginaire non nulle, alors le conjugué de la fonction σr1 + n est σr1 + r2 + n.

L'ensemble KR désigne l'espace vectoriel Rr1 x Cr2 et Σ le morphisme de Q algèbre suivant :

\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}

On définit de même une fonction NR de KR à valeurs dans R par :

\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})

La norme NR correspond à la moyenne géométrique des différentes valeurs absolues ou modules si la coordonnée est complexe.

Si NK désigne la fonction qui à un élément α de K associe sa norme relative élément de Q, on obtient le diagramme commutatif :

\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}

On munit KR de la norme suivante :

\|\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}

Image et noyau du morphisme Σ restreint à E(K)

L'isomorphisme est donné par l'application : Log : E(K) \rightarrow\mathbb{R}^r\times\mathbb{R}^s

\epsilon\mapsto(log\mid\sigma(\epsilon)\mid)_{\sigma(K)\subset\mathbb{R}}\times(log\mid\sigma(\epsilon)\mid)_{\sigma(K)\subset\mathbb{C}}

L'image est indexée par les plongements réels de K (r premières composantes), et par le choix d'un représentant de chaque couple de plongement complexe conjugué (s dernières composantes).

L'idée de la preuve est de montrer que les racines de l'unité forment le noyau de ce morphisme, et que l'image est un réseau d'un hyperplan de l'espace d'arrivée, via le théorème de Minkowski.

Cette caractérisation de r1 et de r2 est basée sur le fait qu'il existe n manières d'inclure (ou de plonger, d'où le terme plongement) K dans le corps des nombres complexes, où n = [K : Q]\, est le degré du corps K. Ces plongements sont soit inclus dans le corps des nombres réels, soit ne le sont pas ; et ce dernier type de plongement arrive par paires reliées par la conjugaison complexe. Ainsi : n = r1 + 2r2.

Dans le cas d'un corps quadratique réel, le rang du groupe des unités est donc 1 (0 dans le cas complexe). La théorie des unités pour les corps quadratiques réels est essentiellement la théorie de l'équation de Pell-Fermat. Pour tout corps de nombres autre que \mathbb{Q} lui-même et les corps quadratiques imaginaires, le rang du groupe des unités est >0.

La taille des unités est mesurée par un certain déterminant, appelé régulateur. Par ailleurs, le calcul de bases pour la partie libre du groupe des unités est effective, mais se heurte en pratique à la complexité des calculs dès que le degré du corps K augmente (les problèmes surviennent généralement avant le degré 100).

Le théorème admet des généralisations dans plusieurs axes : étude du groupe des S-unités, pour S un ensemble d'idéaux premiers, c'est-à-dire, grossièrement parlant, des éléments dont les composantes suivant tous les facteurs sont inversibles, sauf un certain nombre prescrit ; ou bien des caractères pour l'action d'un groupe de Galois sur ces groupes d'unités.

Bibliographie

Pierre Samuel, Théorie algébrique des nombres [détail des éditions]

Références

  1. ↑ Cette définition se trouve par exemple page I 5 dans le site Nombres algébriques et nombres p-adiques par Loïc Merel cours préparatoire aux études doctorales 2003-04

Lien externe


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorème des unités de Dirichlet de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • Theoreme des unites de Dirichlet — Théorème des unités de Dirichlet En théorie algébrique des nombres, le théorème des unités de Dirichlet détermine la structure du groupe des unités d un corps de nombres des entiers algébriques d un corps de nombres K. Le groupe des unités… …   Wikipédia en Français

  • Théorème des unités de dirichlet — En théorie algébrique des nombres, le théorème des unités de Dirichlet détermine la structure du groupe des unités d un corps de nombres des entiers algébriques d un corps de nombres K. Le groupe des unités désigne l ensemble des éléments… …   Wikipédia en Français

  • Groupe des unités d'un anneau d'entiers quadratiques — Johann Peter Gustav Lejeune Dirichlet est l auteur du théorème explicitant la structure du groupe des unités d un anneau d entiers algébriques. Cet article traite d un cas particulier du théorème. En mathématiques, et plus précisément en théorie… …   Wikipédia en Français

  • Theoreme des deux carres de Fermat — Théorème des deux carrés de Fermat Pierre Fermat En mathématiques, le théorème des deux carrés de Fermat énonce les conditions pour qu’un nombre entier soit la somme de deux carrés parfaits (c est à dire de deux carrés d’entiers) et précise de… …   Wikipédia en Français

  • Théorème des deux carrés — de Fermat Pierre Fermat En mathématiques, le théorème des deux carrés de Fermat énonce les conditions pour qu’un nombre entier soit la somme de deux carrés parfaits (c est à dire de deux carrés d’entiers) et précise de combien de façons… …   Wikipédia en Français

  • Théorème des deux carrés de fermat — Pierre Fermat En mathématiques, le théorème des deux carrés de Fermat énonce les conditions pour qu’un nombre entier soit la somme de deux carrés parfaits (c est à dire de deux carrés d’entiers) et précise de combien de façons différentes il peut …   Wikipédia en Français

  • Groupe Des Unités — En mathématiques, et plus particulièrement en algèbre, le groupe des unités est une notion de la théorie des anneaux. Il est constitué de l ensemble des éléments de l anneau ayant un inverse pour la deuxième loi. On l appelle parfois groupe des… …   Wikipédia en Français

  • Groupe des unites — Groupe des unités En mathématiques, et plus particulièrement en algèbre, le groupe des unités est une notion de la théorie des anneaux. Il est constitué de l ensemble des éléments de l anneau ayant un inverse pour la deuxième loi. On l appelle… …   Wikipédia en Français

  • Groupe des unités — En mathématiques, et plus particulièrement en algèbre, le groupe des unités est une notion de la théorie des anneaux. Il est constitué de l ensemble des éléments de l anneau ayant un inverse pour la deuxième loi. On l appelle parfois groupe des… …   Wikipédia en Français

  • Théorème des deux carrés de Fermat — Pierre Fermat En mathématiques, le théorème des deux carrés de Fermat énonce les conditions pour qu’un nombre entier soit la somme de deux carrés parfaits (c est à dire de deux carrés d’entiers) et précise de combien de façons différentes il peut …   Wikipédia en Français

Share the article and excerpts

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