Entier de Gauss
En mathématiques, et plus précisément, en théorie algébrique des nombres, un entier de Gauss est un nombre complexe dont la partie réelle et la partie imaginaire sont des entiers relatifs. Il s'agit formellement d'un élément de l'anneau des entiers quadratiques de l'extension quadratique des rationnels de Gauss
L'ensemble des entiers de Gauss possède une structure forte. Comme tous les ensembles d'entiers algébriques, muni de l'addition et de la multiplication ordinaire des nombres complexes, il forme un anneau intègre, généralement noté <math display="inline">\mathbb{Z}[i] </math>, <math>i</math> désignant ici l'unité imaginaire. Cet ensemble dispose en plus d'une division euclidienne , ce qui permet d'y bâtir une arithmétique très analogue à celle des entiers relatifs. De manière plus générale, cet ensemble peut être vu comme un anneau d'entiers quadratiques et à ce titre est un anneau de Dedekind.
Ils sont largement utilisés en théorie algébrique des nombres et en arithmétique modulaire, par exemple pour l'étude d'équations diophantiennes, en particulier ils fournissent une démonstration élégante du théorème des deux carrés de Fermat. Leur utilisation a permis à Carl Friedrich Gauss de démontrer la loi de réciprocité quadratique.
Histoire
Les entiers de Gauss ont été découverts alors que Gauss recherche une solution à la question des congruences des carrés étudiée dans un premier temps par Fermat. Euler formalise la notion de résidu quadratique et conjecture la solution, c'est-à-dire la loi de réciprocité quadratique. Legendre reprend le théorème et propose une preuve<ref>Modèle:Ouvrage.</ref> incomplète et insuffisante.
À l'âge de 18 ans, Gauss démontre le théorème. La démonstration est publiée<ref>Modèle:Ouvrage.</ref> trois ans plus tard. Il considère cette loi comme le joyau de l'arithmétique, l'appelant même le « théorème d'or ». Pour résoudre cette question, il découvre un ensemble : celui des entiers qui portent maintenant son nom. Ils bénéficient des mêmes propriétés arithmétiques que les entiers relatifs. On y trouve la division euclidienne, l'équivalent du lemme d'Euclide, de l'identité de Bézout, des nombres premiers et du théorème fondamental de l'arithmétique. À l'aide de cette structure, il redémontre le théorème des deux carrés conjecturé par Fermat et démontré par Euler et ouvre la voie de l'arithmétique modulaire.
L'utilisation d'une structure comme celle des entiers de Gauss subit des tentatives de généralisation pour s'appliquer à des cubes ou à des puissances quelconques. Elles débouchent dans le cas des cubes (voir entier d'Eisenstein) ou des puissances cinquièmes (voir [[Anneau des entiers de Q(√5)|Anneau des entiers de ℚ(Modèle:Racine)]]). En 1847 Gabriel Lamé utilise une méthode d'extension brutale et pense à tort avoir démontré le grand théorème de Fermat. Sa méthode est inopérante car, à la différence des entiers de Gauss, son extension ne dispose pas de la propriété d'unicité du théorème fondamental de l'arithmétique. Kummer trouve<ref>Ernst Kummer, Modèle:Titre?, 1846.</ref> une solution qui garantit à nouveau cette unicité. Cette méthode permet de généraliser la loi de réciprocité dans de nombreux cas, et prouve le grand théorème de Fermat dans tous les cas compris entre 3 et 100, excepté 37, 59 et 67.
L'étude de ce type de structure est alors largement développée par des mathématiciens comme Dedekind<ref>Modèle:Ouvrage.</ref> ou Hilbert<ref>Modèle:Article.</ref> et prend le nom de théorie des anneaux.
Définition
Formellement, l'ensemble des entiers de Gauss est l'anneau des entiers algébriques du corps des rationnels de Gauss, c'est-à-dire l'ensemble des rationnels de Gauss dont le polynôme irréductible normalisé est à coefficients entiers.
Il est égal à l'ensemble des nombres complexes qui peuvent être écrits sous la forme
Premières propriétés
Structure d'anneau
L'ensemble des entiers de Gauss muni de l'addition et de la multiplication forme un anneau.
Ses éléments inversibles sont :
Cette propriété est générale aux entiers d'une extension de corps (voir Entier algébrique). Il est néanmoins simple de vérifier ici que l'ensemble est un sous-anneau du corps des rationnels de Gauss :
En tant que sous-anneau du corps des rationnels de Gauss, il hérite de certaines propriétés, ainsi l'anneau est intègre. Il est de plus unitaire et donc de caractéristique nulle.
L'ensemble est en particulier un groupe abélien pour l'addition, autrement dit un ℤ-module. Ce module bénéficie des propriétés inhérentes aux anneaux d'entiers algébriques : il est libre et de type fini. Il possède donc une base finie, ici la base canonique est (1, Modèle:Math).
Norme
Comme tout anneau d'entiers algébriques, les entiers de Gauss possèdent une norme. Si Modèle:Mvar est cette norme, elle est définie par :
ou encore
La norme est donc le carré du module du nombre, si bien que tous les nombres de norme Modèle:Math sont sur le cercle de centre l'origine et de rayon Modèle:Mvar. La figure de droite illustre ce fait : le nombre Modèle:Mvar, égal à 1 + Modèle:Math, est sur le cercle (de rayon Modèle:Racine) des éléments de norme 2 et Modèle:Mvar, égal à 2 + Modèle:Math, sur le cercle (de rayon Modèle:Racine) des éléments de norme 5.
La norme telle que définie ici semble incohérente avec celle d'un espace euclidien, une racine carrée est manquante. Leurs origines sont différentes : les généralisations des normes euclidiennes apparaissent comme la racine carrée d'une somme de carrés dans un espace de dimension finie ; Modèle:Douteux. Sous le même mot, se cachent deux notions différentes, même si, dans le cas particulier des entiers de Gauss, les formes sont analogues.
- La norme est à valeurs entières et toujours positive. Elle est de plus multiplicative.
\forall x,y \in\Z[\mathrm i] \quad
N(xy) = xy\overline {xy} = xy\bar x\bar y = x\bar xy\bar y = N(x)N(y).~</math>Le graphique illustre cette propriété : Modèle:Mvar de norme 2 et Modèle:Mvar de norme 5 ont pour produit un entier de Gauss de norme 10.
La norme permet de démontrer simplement quelques résultats, par exemple la recherche des éléments inversibles de l'anneau. Soit Modèle:Mvar un élément inversible. Alors Modèle:Math donc la norme de tout élément inversible est égale à 1. Réciproquement si Modèle:Mvar est de norme 1 alors son conjugué est égal à son inverse donc Modèle:Mvar est inversible. Le groupe des unités est composé des éléments ayant une norme égale à 1 : les quatre éléments 1, −1, Modèle:Math et −Modèle:Math.
Division euclidienne
La norme possède une propriété plus importante : elle permet de définir une division euclidienne. Modèle:Énoncé
Illustrons la division euclidienne par un exemple :
a&=-36+242\mathrm i\\ b&=50+50\mathrm i\\ \frac{a}{b}&=\frac{103}{50}+\frac{139}{50}\mathrm i
\end{align}</math>L'objectif est de trouver un entier de Gauss Modèle:Mvar proche de Modèle:Math. Par proche on entend que le reste de la division soit de norme plus petite que la norme de Modèle:Mvar. Une autre manière d'exprimer la division euclidienne est de dire que la distance entre Modèle:Math et Modèle:Mvar est strictement inférieure à 1.
Dans l'illustration, le carré contenant Modèle:Math est mis en valeur par un fond rouge. Les quatre sommets du carré sont alors candidats à être solution de la division euclidienne. Chaque sommet est le centre d'un cercle de rayon un, dont l'intersection du disque intérieur avec le carré rouge indique la zone où la division est possible. On remarque que tout point du carré est couvert par au moins un cercle. Plus précisément les points près du centre sont couverts par quatre cercles, une zone près de chaque sommet est couverte par trois cercles, le reste du carré, autour des côtés, par deux cercles à l'exception des sommets, couverts par un unique cercle.
En conclusion, la division euclidienne admet toujours de une à quatre solutions, la solution est unique si et seulement si Modèle:Math est un entier de Gauss. Dans notre exemple, les trois solutions acceptables sont :
L'unicité de la solution n'est pas si importante, les entiers de Gauss forment un anneau euclidien.
Modèle:Démonstration/début Il suffit (Modèle:Cf. fin du § « Définitions » de l'article détaillé) de vérifier le critère général suivant : pour tout élément Modèle:Mvar de [[Rationnel de Gauss|ℚ(Modèle:Math)]], il existe au moins un entier de Gauss θ tel que Modèle:Math (Modèle:Mvar n'est unique que si Modèle:Mvar est un entier de Gauss).
Pour tous réels Modèle:Mvar, Modèle:Mvar majorés en valeur absolue par 1/2, Modèle:Math. Donc si Modèle:Math avec Modèle:Mvar et Modèle:Mvar rationnels, en choisissant des entiers Modèle:Mvar et Modèle:Mvar tels que Modèle:Math et Modèle:Math puis en posant Modèle:Math, on a bien Modèle:Math.
Arithmétique
La division euclidienne possède des propriétés fortes. Elle permet de construire une arithmétique complète. On parle alors d'anneau euclidien. Cette arithmétique est semblable à celle des entiers.
Anneau principal
Un anneau principal est un anneau commutatif dont tous les idéaux sont principaux. L'anneau des entiers de Gauss est principal. Cette propriété est vraie pour tout anneau euclidien.
Pour s'en rendre compte il suffit de considérer un idéal Modèle:Mvar quelconque et un élément Modèle:Mvar différent de 0, de plus petite norme dans Modèle:Mvar. Si Modèle:Mvar est un élément quelconque de l'idéal, la division de Modèle:Mvar par Modèle:Mvar montre que le reste, élément de l'idéal possède une norme plus petite que Modèle:Mvar, donc est nul.
Identité de Bézout
Comme dans tout anneau principal, l'identité de Bézout est vérifiée dans l'anneau des entiers de Gauss. Elle s'exprime de la manière suivante : Modèle:Énoncé
Lemme de Gauss
Le lemme de Gauss indique que : Modèle:Énoncé La démonstration est la copie exacte du cas des entiers relatifs. Cette propriété est vraie pour tous les anneaux principaux.
Gauss est le premier mathématicien ayant saisi la portée de ce lemme. Il garantit l'unicité de la décomposition en facteurs premiers. Ce lemme rend possible l'arithmétique telle que nous la connaissons dans ℤ. C'est la raison pour laquelle il prend le nom de lemme de Gauss, alors qu'il était déjà connu depuis plus de deux mille ans.
Théorème fondamental de l'arithmétique
Le théorème fondamental de l'arithmétique s'énonce encore exactement comme dans le cas des entiers relatifs : Modèle:Énoncé
Un « nombre premier de Gauss » est un entier de Gauss qui n'admet comme diviseurs que les produits de lui-même ou de 1 par une unité et qui n'est pas une unité. Par exemple, Modèle:Math, bien que nombre premier au sens usuel du terme, n'est pas un nombre premier de Gauss. L'expression « aux éléments inversibles près » signifie qu'une décomposition dans laquelle chaque facteur irréductible est remplacé par son produit par un inversible, comme Modèle:Math n'est pas considérée comme une décomposition différente.
Une fois encore la démonstration est la copie exacte du cas des entiers relatifs, et la propriété est vraie pour tous les anneaux principaux. Cette propriété dépasse le cas des anneaux principaux, par exemple l'anneau des polynômes sur ℤ vérifie cette propriété mais n'est pas principal. Un tel anneau s'appelle un anneau factoriel.
Un anneau satisfaisant ce théorème dispose alors des notions de PPCM et PGCD et le passage au quotient donne accès à une arithmétique modulaire de même nature que celle des entiers relatifs.
La connaissance fine de cette arithmétique suppose une capacité à caractériser les nombres premiers de Gauss.
Notes et références
Voir aussi
Liens externes
- Entier de Gauss Vincent Lefèvre
- {{#invoke:Langue|indicationDeLangue}} Applet de factorisation des entiers de Gauss
- Modèle:Lien web
