Nombre premier de Gauss

Un article de Wikipédia, l'encyclopédie libre.

Ouvrage traitant des entiers de Gauss 1801.

En mathématiques est plus précisément en algèbre, un nombre premier de Gauss est une notion de théorie algébrique des nombres concernant les entiers de Gauss.

Un nombre premier de Gauss correspond au concept de nombre premier dans l'anneau des entiers de Gauss.

Les nombre premiers de Gauss sont utilisés pour la résolution d'équations diophantiennes comme le théorème des deux carrés de Fermat ou pour établir des résultats théoriques comme la loi de réciprocité quadratique.

Sommaire

1 Motivation
2 Définition et exemples
3 Propriétés
4 Voir aussi
- 4.1 Liens externes
- 4.2 Références

[modifier] Motivation

En 1801 dans son livre Recherches arithmétiques Carl Friedrich Gauss développe des arithmétiques sur d'autres anneaux que celui des entiers relatifs. Il utilise particulièrement l'anneau des polynômes à coefficients dans un corps et l'ensemble des entiers qui portent son nom. Un entier de Gauss est un nombre complexe dont les parties réelle et imaginaire sont entières.

L'ensemble des entiers de Gauss est un anneau euclidien donc factoriel. De manière analogue à l'arithmétique dans l'anneau des entiers relatifs. Une connaissance fine de la structure nécessite la compréhension des nombres premiers de Gauss. Elle rend opérationnelle le théorème de composition en facteurs premiers.

[modifier] Définition et exemples

Un entier de Gauss est dit nombre premier de Gauss ou irréductible si, et seulement si, les seuls diviseurs de cet entier sont les unités ou le produit du nombre par une unité.

La première approche est un peu déconcertante. Certains nombres premiers dans Z ne sont pas des nombres premiers de Gauss :

$2 = (1 + i)(1 - i)\mbox{ et }5 = (2 + i)(2 - i)\,\!$

En revanche, 2 + i ou 3 sont irréductibles. Il est relativement simple de caractériser les nombres premiers de Gauss. C'est le rôle du prochain paragraphe.

[modifier] Propriétés

Une notion utile pour l'analyse des entiers de Gauss est la norme algébrique. Elle est définie comme la somme des carrés de sa partie réelle et imaginaire. Elle est à valeur dans l'ensemble des entiers positifs et est multiplicative : deux entiers x et y vérifie l'égalité N(x.y) = N(x).N(y). La figure de droite illustre cette propriété. La norme est indiqué par le cercle bleu, dans l'exemple la norme de x est égal à deux, celle de y à cinq et le produit possède une norme de dix.

Quelques propositions permettent de caractériser les entiers irréductibles :

Si la norme d'un entier de Gauss est égale à un nombre premier, alors il est un nombre premier de Gauss.

En effet, si u et v sont deux diviseurs d'un entier de Gauss a, alors N(a) = N(u).N(v). En conséquence comme la norme de a est un nombre premier, soit u soit v possède une norme égale à un.

La réciproque n'est pas vraie, par exemple 3 est un entier de Gauss sans diviseur autre que lui-même et 1 au groupe des unités près, cependant sa norme est égale à 9.

Il existe une condition nécessaire et suffisante simple pour caractériser les nombres premiers de Gauss :

Un nombre premier est irréductible si et seulement si il n'est pas somme de deux carrés.

Elle permet de caractériser précisemment les nombres irréductibles :

Un entier de Gauss est irréductible si et seulement si :

sa norme est un nombre premier et le nombre premier est congru à 1 modulo 4

ou sa norme est le carré d'un nombre premier congru à 3 modulo 4 et dans ce cas une partie réelle où imaginaire est égale à 0.

Démonstrations

Un nombre premier est irréductible si et seulement si il n'est pas somme de deux carrés.

Soit p un nombre premier, supposons qu'il est somme de deux carrés:

$\exists a,b \in \mathbb{Z} \quad p=a^2+b^2=(a+i.b)(a-i.b)$

Alors p admet deux diviseurs non unitaires car de norme égale à p.

Supposons qu'il ne soit pas irréductible, alors il existe deux entiers de Gauss α et β non unitaires tel que p = α.β et comme la norme de p est égale à p² la norme de α est égale à p. La norme est somme de deux carrés, ce qui termine la démonstration.

Un nombre premier p impaire est somme de deux carrés si et seulement si il est congru à 1 modulo 4.

La démonstration est donnée dans l'article sur la démonstration du théorème des deux carrés de Fermat par Dedekind

Un entier n est somme de deux carrés d'entiers si et seulement si dans sa décomposition en facteurs premiers, les nombres premiers congrus à trois modulo 4 figurent à une puissance paire.

La démonstration est donnée dans l'article sur la généralisation à tous les entiers du théorème des deux carrés de Fermat

Condition nécessaire et suffisante pour qu'un entier n soit irreductible :

Cas où N(x) est premier :

Alors x est premier et pour qu'un nombre premier supérieur à 3 soit une norme, il faut et il suffit qu'il soit congru à 1 modulo 4.

Cas où N(x) est le carré d'un nombre premier p congru à 3 modulo 4 :

Soit u et v une décomposition en deux facteurs de x. Alors si la norme de u est différente de 1, comme elle ne peut être égale à p car une telle valeur n'est pas une norme, elle est égale à la norme de x. On en déduit que x est irréductible.

De plus, N(x) n'est somme de deux carrés que si chacun des membres est un multiple de p^{2^{. Ceci démontre que soit la partie réelle, soit la partie imaginaire est nulle.}}

^{Cas où il existe un facteur premier congru à 3 modulo 4 à une puissance impair :}

^{Un tel facteur n'est pas somme de deux carrés, il n'existe donc pas d'entier de Gauss ayant cette valeur pour norme.}

^{Cas où N(x) est une somme de deux carrés, non première et non carré d'un nombre premier p congru à 3 modulo 4.}

^{Montrons avec un raisonnement par l'absurde que x n'est pas irréductible. Supposons qu'il le soit et trouvons une contradiction. N(x) est le produit de deux sommes de deux carrés chacune différente de 1 (c'est une conséquence de la démonstation du cas général du théorème des deux carrés. Il existe donc u et v tel que N(x) = N(u.v). On en déduit :}

^{Si x est irréductible alors x divise l'un des facteurs de droite, par exemple u.v. et il existe un entier α tel que α.x = u.v. Comme la norme de x est égale à celle de u.v, la norme de α est égale à 1 et α est une unité. On en déduit que x = α^-1u.v. Ce qui prouve que x n'est pas irréductible d'où une contradiction et la démonstration est achevée.}