Entier de Dirichlet - Définition

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.

Groupe des unités

Norme

Les unités, c'est-à-dire l'ensemble des éléments inversibles pour la multiplication, forment un groupe commutatif pour la multiplication. Dans le cas des entiers de Dirichlet, ce groupe est vaste, ce qui constitue une obstruction. En effet, ces éléments ne sont pas traitables avec les outils classiques de l'arithmétique, avec eux, pas d'identité de Bézout, ni de lemme d'Euclide, de décomposition en facteurs premiers ou de petit théorème de Fermat. En conséquence, il est nécessaire de bien comprendre la structure de ce groupe pour pouvoir le manier sans trop de difficultés. La norme est utile.

Le groupe des unités de l'anneau de Dirichlet est composé des éléments de norme égale à ±1.

En effet, si ε est un entier de Dirichlet de norme égal à ±1, alors soit φ(ε) soit -φ(ε) est l'inverse de ε, ce qui montre que ε est bien une unité. Réciproquement si ε est une unité, alors :

\mathcal N(\epsilon\epsilon^{-1}) = \mathcal N(\epsilon)\mathcal N(\epsilon)^{-1} = \mathcal N(1) = 1

La norme de ε est un entier relatif inversible, il n'en existe que deux, 1 et -1, ce qui montre la réciproque.

Déterminer le groupe des unités revient à résoudre l'équation suivante :

x^2 + xy - y^2 = \pm 1 \;

Cette équation diophantienne, qui intervient souvent dans l'étude des entiers de Dirichlet, correspond à l'expression, en termes de coordonnées, de la norme d'un entier de Dirichlet. La suite de l'article montre qu'elle est équivalente à une équation de Pell-Fermat.

Puissance du nombre d'or

Un exemple d'unité est donné par ω, on vérifie de fait que N(ω) = 0 + 0 - 12 = -1. La compatibilité de la norme avec la multiplication montre que si n est un entier relatif, ±ωn est aussi une unité car :

\mathcal N(\pm \omega^n) =\mathcal N(\omega^n)=\mathcal N(\omega)^n = (-1)^n \;
  • Soit e un entier égal à 1 ou à -1 et n un entier relatif,n est une unité de l'anneau des entiers de Dirichlet.

La figure de droite illustre le positionnement des unités, les branches bleues supportent les unités positives et les rouges, les négatives. Cette méthode, purement algébrique, pour déterminer les unités est généralisable. Brahmagupta l'avait remarqué, ce qui lui a permis de construire une méthode très générale sur ce principe, appelée méthode chakravala.

Une question plus délicate est celle de la réciproque, la réponse est donnée par la proposition suivante :

  • Soit ε un élément du groupe des unités, il existe un entier e égal à 1 ou -1 et un entier relatif n tel que ε soit égal àn.

Cette question arrêta longuement les mathématiciens dans le cas général. C'est Joseph-Louis Lagrange qui finalement vient à bout du cas des entiers quadratiques en prolongeant les travaux d'Euler sur la fraction continue d'un nombre quadratique. Dirichlet trouve au siècle suivant une méthode de résolution valable pour tous les entiers algébriques, généralisant ainsi les travaux de Lagrange. Ce résultat est l'objet d'un théorème dit des unités de Dirichlet. Une démonstration simplifiée, pour résoudre uniquement le cas des entiers quadratiques, est proposé dans l'article Entier quadratique. Si l'objectif n'est que l'étude du groupe des unités des entiers de Dirichlet, une démonstration élémentaire est envisageable.

Suite de Fibonacci

Si l'on considère la suite des coordonnées de ωn pour n un entier naturel, on obtient (1,0), (0,1), (1,1), (1,2), (2,3) ... On reconnait là une suite de Fibonacci :

  • Soit (an) une suite à valeur dans les entiers naturels définie par la relation de récurrence suivante :
a_0 = 1,\;a_1 = 0 \quad\text{et}\quad \forall n \in \mathbb N \quad a_{n+2}= a_{n+1} + a_n \quad \text{alors}\quad \omega^n = a_n + a_{n+1}\omega \quad\text{et}\quad \omega^{-n} = (-1)^n(a_{n+2} -a_{n+1}\omega)

Cette proposition se démontre par récurrence, un rapide calcul montre que la formule est vraie si n est égal à 0 ou 1, supposons la première formule vraie jusqu'à n :

\omega^{n+1}= \omega\cdot\omega^n= \omega\cdot(a_n + a_{n+1}\omega) = a_n\omega + a_{n+1}\omega^2 = a_n\omega + a_{n+1}(1 + \omega) =a_{n+1} + (a_{n+1} + a_n)\omega\;

Une démonstration de même nature établit la relation de récurrence pour les valeurs négatives de n.

Page générée en 0.106 seconde(s) - site hébergé chez Contabo
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
A propos - Informations légales
Version anglaise | Version allemande | Version espagnole | Version portugaise