Voir la source de Anneau ℤ/nℤ

[[Fichier:Zahl 60.png|vignette|Représentation graphique de l’anneau ℤ/60''ℤ. Chaque pixel représente la valeur de produit de ses coordonnées, de (0,0) en haut à gauche et (59,59) en bas à droite. La couleur noire indique 0, la couleur rouge indique 1 et vert les autres valeurs.Les pixels rouges indiquent donc les éléments inversibles : les coordonnées de ces pixels sont des paires (''a'',''a''{{-1}}).]]
{{Titre mis en forme|Anneau ℤ/''n''ℤ}}
En [[mathématiques]], et plus particulièrement en [[algèbre]], ('''ℤ/''n''ℤ,+,×)''' est un cas particulier d'[[anneau commutatif]], correspondant au [[Arithmétique modulaire|calcul modulaire]] sur les restes des entiers dans la division par ''n''.

Tout anneau unitaire contient un [[sous-anneau]] [[isomorphisme|isomorphe]] soit à (ℤ/''n''ℤ,+,×) soit à l'anneau (ℤ,+,×) des [[entier relatif|entiers]].

Cet anneau joue un rôle particulier en [[arithmétique]], il est en effet l'outil de base de l'[[arithmétique modulaire]].

L'article « [[Congruence sur les entiers]] » traite le même sujet avec une approche plus didactique et moins exhaustive, tandis que l'article « [[Arithmétique modulaire]] » traite de l'histoire de ce concept, des outils utilisés ainsi que de ses applications.

Tout au long de cet article, on simplifie la notation des anneaux (et des groupes) en les notant non pas comme un triplet (ni comme un couple, pour les groupes) mais par l'ensemble auquel on a attribué les lois usuelles.

{{ancre|Construction de Z/nZ}}

== Construction de ℤ/''n''ℤ ==
{{ancre|Idéaux de Z}}
=== Idéaux de ℤ ===
{{Article détaillé|Idéal}}
La [[division euclidienne]] dans ℤ montre que cet ensemble est un [[anneau euclidien]], en conséquence ℤ est un [[anneau principal]]. Cela signifie que pour tout [[idéal]] '''I''' de ℤ, il existe un entier ''n'' tel que '''I''' est égal à ''n''ℤ. Comme les idéaux ''n''ℤ et -''n''ℤ sont confondus, il est toujours possible de choisir ''n'' [[Nombre positif|positif]]. Dans toute la suite de l'article, ''n'' désigne un entier positif.

=== Anneau quotient ===
{{Article détaillé|Anneau quotient}}
La construction de ℤ/''n''ℤ correspond à la construction générale des anneaux quotients. Ici la [[relation d'équivalence]] correspond à la classique [[congruence sur les entiers]]. Un élément de ℤ/''n''ℤ est la classe des éléments ayant tous le même reste par la division euclidienne par ''n''.

Un élément est identifié par un membre de sa classe, souvent l'entier compris entre 0 et ''n'' - 1. Il est parfois noté <math>\dot a</math> ou <math>\bar a</math>, ainsi dans ℤ/6ℤ, {{surligner|2}} désigne la classe contenant les éléments 2, 8, 14 etc. Quand il n'existe pas d'ambigüité, on utilise simplement la lettre ''a''.

{{énoncé|Les éléments de ℤ/''n''ℤ sont appelés '''classes modulo ''n'' '''ou '''résidus'''.}}

L'anneau ℤ/''n''ℤ est parfois noté ℤ{{ind|''n''}}, lorsque le contexte élimine l'ambiguïté avec l'anneau ℤ{{ind|''n''}} des [[Nombre p-adique|entiers ''n''-adiques]].

== Propriétés ==
=== Propriétés élémentaires ===

La théorie des anneaux permet directement de démontrer certaines propriétés de l'anneau.
* ''L'anneau ''ℤ''/n''ℤ'' est [[Anneau unitaire|unitaire]]''.<br />C'est une conséquence directe du fait que ℤ l'est.
* ''Les [[idéaux]] de l'anneau ''ℤ''/n''ℤ'' sont [[idéal principal|principaux]]''.<br />C'est une conséquence directe du fait que tous les idéaux de ℤ le sont. En pratique et comme pour ℤ, tous les  [[sous-groupe]]s additifs et tous les sous-anneaux sont aussi des idéaux principaux. Si ''m'' est un diviseur de ''n'' alors il existe un unique ideal de ℤ/''n''ℤ isomorphe à ℤ/''m''ℤ, ce résultat est une conséquence directe de la troisième proposition du paragraphe [[groupe cyclique#Théorème fondamental|Théorème fondamental]] de l'article « [[Groupe cyclique]] ».

Si ''n'' est non nul et non premier, alors l'anneau ℤ/''n''ℤ n'est pas [[anneau intègre|intègre]], ce n'est donc pas un [[anneau principal]]. En revanche, on verra plus loin que lorsque ''n'' est premier, ℤ/''n''ℤ est un corps (donc principal).

=== Structure additive ===
{{Article détaillé|Groupe cyclique}}
La structure du groupe (ℤ/''n''ℤ,+) est celle d'un groupe cyclique (ou : monogène), c'est-à-dire engendré par un seul élément (si ''n'' est égal à 0 on obtient un groupe isomorphe à ℤ ; si ''n'' est différent de 0, alors le groupe est fini). La classe de 1 est en effet un générateur du groupe. Ce n'est d'ailleurs pas le seul :

* ''Les générateurs du groupe ''(ℤ/''n''ℤ, +) ''sont les ''[[#Groupe des unités|éléments inversibles de l'anneau ℤ/nℤ]].

Ce sont par conséquent (cf. article « [[Inverse modulaire]] ») les classes d'entiers [[Nombres premiers entre eux|premiers avec]] ''n''.

La caractérisation ci-dessus des générateurs résulte du fait que dans tout [[anneau unitaire]] cyclique – c'est-à-dire dont le groupe additif est cyclique – les générateurs de ce groupe sont les inversibles de l'anneau. Comme 1 en fait partie, ceci prouve de plus que :

* ''Les ''ℤ/''n''ℤ ''sont ([[à quelque chose près|à isomorphisme près]]) les seuls anneaux unitaires cycliques<ref>{{en}} Warren Buck, ''[http://www.uni.illinois.edu/~wbuck/thesis.pdf Cyclic Rings]'', Master Thesis, 2004.</ref>{{,}}<ref>{{en}} ''[http://planetmath.org/CyclicRing3.html Cyclic ring]'' de [[PlanetMath]].</ref>.''

{{Démonstration/début}}
Soit ''A ''un anneau unitaire dont le groupe additif (''A'', +) est engendré par un élément ''x''. Montrons que les générateurs de (''A'', +) sont les inversibles de ''A''.
* Pour tout générateur ''u ''de (''A'', +), 1 est un multiple entier de ''u ''donc ''u ''est inversible (en particulier, ''x ''est inversible).
* Réciproquement, si ''u ''est inversible, soit ''n ''un entier tel que ''xu''{{-1}}''x ''= ''nx''. Alors, ''x ''= ''nu ''donc ''u ''est générateur.
{{Démonstration/fin}}

=== Théorème chinois ===
{{Article détaillé|Théorème des restes chinois}}
La logique du théorème chinois s'applique encore, ainsi les propriétés du paragraphe [[Groupe cyclique#Théorème chinois|Théorème chinois]] de l'article « [[Groupe cyclique]] ». Il suffit pour les vérifier de valider que le [[morphisme de groupes]] utilisé est aussi un [[morphisme d'anneaux]].
* ''Soient u et v deux [[Nombres premiers entre eux|entiers premiers entre eux]] non nuls, alors l'anneau ''ℤ''/uv''ℤ'' est isomorphe au [[produit cartésien|produit]] des anneaux ''ℤ''/u''ℤ'' et ''ℤ''/v''ℤ.''
''Note'' : L'anneau produit ne contient pas d'élément d'ordre supérieur au [[Plus petit commun multiple|ppcm]] de ''u'' et de ''v''. Donc si ''u'' et ''v'' ne sont pas premiers entre eux, cet anneau n'est pas isomorphe à l'anneau ℤ/''uv''ℤ.

Cette proposition entraîne, pour tout ''n ''> 0, une décomposition unique de ℤ/''n''ℤ en facteurs premiers. Le [[théorème fondamental de l'arithmétique]] montre que ''n'' se décompose de la manière unique suivante :
<center><math>n = \prod_{i=1}^k p_i^{\alpha_i}\;</math></center>
où (''p''{{ind|i}}) est une famille de ''k'' nombres premiers tous distincts et α{{ind|i}} des entiers supérieurs ou égaux à un. Les puissances des nombres premiers du produit sont tous premiers entre eux. Une simple récurrence montre :
* ℤ''/n''ℤ'' se décompose de manière unique en un produit d'anneaux quotients de ''ℤ'' dont chacun a pour cardinal une puissance d'un nombre premier.''

{{ancre|Cas où Z/nZ est un corps}}

=== Cas où ℤ/''n''ℤ est un corps ===
{{Article détaillé|Corps commutatif|Corps fini}}
* ℤ''/n''ℤ'' est un corps si et seulement si n est un [[nombre premier]]''.

En effet, la classe d'un entier ''m'' est inversible dans ℤ/''n''ℤ si et seulement si ''m'' est premier avec ''n'' (voir l'article « [[Inverse modulaire]] »). Dans ℤ/''n''ℤ avec ''n ''≠ 1, la classe nulle est donc la seule classe non inversible si et seulement si les multiples de ''n'' sont les seuls entiers non premiers avec ''n'', c'est-à-dire si et seulement si ''n'' est premier.

=== Caractéristique d'un anneau ===
{{Article détaillé|Caractéristique d'un anneau}}
Soit ''A'' un anneau unitaire ; il existe un unique morphisme d'anneaux φ de ℤ dans ''A'' tel que φ(1{{ind|ℤ}}) = 1{{ind|''A''}} (pour tout entier ''k'', on a φ(''k'') = [[Algèbre associative#Exemples|''k''‧1{{ind|''A''}}]]).

Soit ''n'' l'entier positif tel que le noyau de φ soit égal à ''n''ℤ. Le [[premier théorème d'isomorphisme pour les anneaux|premier théorème d'isomorphisme]] montre qu'il existe un sous-anneau de ''A'' isomorphe à ℤ/''n''ℤ, à savoir le sous-anneau Im φ.

L'entier ''n'' est appelé '''caractéristique de l'anneau''' ''A''.

Ainsi, tout anneau unitaire contient un sous-anneau isomorphe soit à ℤ dans le cas où ''n'' est égal à 0, soit à ℤ/''n''ℤ.

== Groupe des unités ==
{{Article détaillé|Inverse modulaire}}
Le [[groupe des unités]] d'un anneau est le groupe multiplicatif formé des éléments inversibles. De tels éléments sont appelés '''unités'''. Dans ℤ/''n''ℤ pour ''n ''> 0, les unités forment un [[groupe abélien fini]] (donc un produit de groupes cycliques, d'après le [[théorème de Kronecker]]) ; de plus, comme [[Loi de composition interne#Inversibilité|dans tout anneau fini, les unités sont exactement les éléments réguliers]]. Dans ℤ/0ℤ = ℤ, les seules unités sont 1 et –1, ce qui est un cas particulier de la proposition suivante (démontrée dans l'article détaillé).
* ''La classe dans ''ℤ/''n''ℤ ''d'un entier m est une unité si et seulement si m est premier avec n.''
Par conséquent :
* ''Pour n ''> 0'', l'[[Ordre (théorie des groupes)|ordre]] du groupe des unités de ''ℤ/''n''ℤ ''est égal à'' φ(''n''), ''où'' φ ''désigne la fonction [[indicatrice d'Euler]].''
Par ailleurs, puisque les unités de l'anneau ℤ/''n''ℤ sont les générateurs de [[#Structure additive|son groupe additif]] :
* ''Le groupe des unités de ''ℤ/''n''ℤ ''est canoniquement isomorphe au groupe des [[Groupe cyclique#Endomorphisme|automorphismes du groupe cyclique]] ''(ℤ/''n''ℤ, +).

On suppose dans la suite ''n ''> 1.

=== Cas où ''n'' est premier ===
{{Voir|Corps fini#Groupe multiplicatif et conséquences{{!}}Groupe multiplicatif d'un corps fini}}
Dans le cas où ''n'' est premier c'est-à-dire si l'anneau est un corps, le groupe des inversibles est d'ordre ''n'' – 1. Sa structure est simple :
{{énoncé|Si ''n'' est un nombre premier, le groupe des inversibles du corps ℤ/''n''ℤ est [[Groupe cyclique|cyclique]].}}
En effet, le groupe multiplicatif de tout [[corps fini]] est cyclique (voir l'article détaillé ; la preuve repose sur deux propriétés : l'[[exposant d'un groupe]] abélien fini est égal à l'[[Ordre (théorie des groupes)|ordre]] d'au moins un élément du groupe, et dans un [[corps commutatif]], le nombre de [[Racine d'un polynôme|racines d'un polynôme]] non nul est au plus égal à son degré).

===Cas où ''n'' n'est pas premier===
Étudions d'abord le cas où ''n ''est de la forme ''p{{r}}'', pour un nombre premier ''p ''et un entier ''r ''≥ 2 (le cas ''r ''= 1 vient d'être étudié). Le groupe des unités de ℤ/''p{{r}}''ℤ est alors toujours cyclique, sauf si ''p'' = 2 et ''r'' ≥ 3<!--C'est bien 3 car pour r=2, 2{{exp|''r''–2}}=1-->. Plus précisément :
* ''Si p ''= 2 ''(et r ''≥ 2''), le groupe des inversibles de ''ℤ/''p{{r}}''ℤ ''est le [[Produit direct (groupes)#Produit direct interne d'une famille finie de sous-groupes|produit direct interne]] du sous-groupe d'ordre ''2 ''engendré par la classe de'' –1 ''et du sous-groupe d'ordre ''2{{exp|''r''–2}} ''engendré par la classe de'' 5.
* ''Si p ''≠ 2, ''le groupe des inversibles est cyclique, et engendré par un élément c de la forme'' (''p'' + 1)''θ{{exp|k}}, où θ est une quelconque [[Racine primitive modulo n|racine primitive modulo p]], et k est un entier positif bien choisi.''
{{Démonstration/début|titre=Résumé de démonstration<ref>Pour plus de détails, voir ''par exemple'' {{Note autre projet|Wikiversité|Introduction à la théorie des nombres/Devoir/Groupe des inversibles des entiers modulo n|ce devoir corrigé de la leçon « Introduction à la théorie des nombres »|début=}}</ref>}}
*Cas ''p'' = 2 (et ''r'' ≥ 2) : on démontre par récurrence que<center><math>\forall k\in\N\quad5^{2^k}\equiv1+2^{k+2}\bmod{2^{k+3}}</math>,</center>ce qui prouve à la fois que la classe de 5 est d'[[Ordre (théorie des groupes)|ordre]] 2{{exp|''r''–2}} et que les deux sous-groupes engendrés respectivement par la classe de 5 et celle de –1 ont une intersection [[Groupe trivial|triviale]]. Comme le produit de leurs ordres, 2{{exp|''r''–1}} = φ(2{{exp|''r''}}), est l'ordre du groupe, ce groupe est donc leur produit direct interne.
*Cas ''p'' ≠ 2 : on démontre par récurrence que<center><math>\forall k\in\N\quad(1+p)^{p^k}\equiv1+p^{k+1}\bmod{p^{k+2}}</math>,</center>ce qui prouve que la classe de 1 + ''p'' est d'ordre ''p''{{exp|''r''–1}}. Par ailleurs, puisque [[#Cas où n est premier|(ℤ/''p''ℤ)* est cyclique]], il existe un entier ''θ'' dont l'[[ordre multiplicatif]] modulo ''p'' est égal à ''p'' – 1. Sa classe {{surligner|''θ''}} modulo ''p{{r}}'' est alors un élément de (ℤ/''p{{r}}''ℤ){{exp|×}} d'ordre multiple de ''p'' – 1, donc {{surligner|''θ''}} possède une puissance {{surligner|''θ''}}{{exp|''k''}} d'ordre ''p'' – 1. L'[[Ordre (théorie des groupes)#Ordre d'un produit|ordre du produit]] ''c ''= {{surligner|''θ''}}{{exp|''k''}}({{surligner|''p ''+ 1}}) est alors égal aux produit des ordres, (''p'' – 1)''p{{exp|r–1''}} = φ(''p{{r}}''), qui est l'ordre du groupe. Ce groupe est donc engendré par ''c''.
{{Démonstration/fin}}

Le cas général se ramène aux précédents grâce au [[théorème fondamental de l'arithmétique]]. En effet, d'après le théorème chinois :
* ''Soient n et m deux entiers premiers entre eux non nuls, le groupe des inversibles de ''ℤ/''nm''ℤ ''est isomorphe au [[produit direct (groupes)|produit direct]] des groupes des unités de'' ℤ/''n''ℤ ''et de ''ℤ/''m''ℤ.

En particulier, (ℤ/''n''ℤ){{exp|×}} est cyclique si et seulement si ''n'' = 4, ou une puissance d'un premier impair, ou le double d'une telle puissance<ref>{{Perrin1}}, {{p.|84}}.</ref>.

==Notes et références==
{{Références}}

==Voir aussi==
===Bibliographie===
{{Lang1}}

===Articles connexes===
{{Colonnes|nombre=3|
*[[Conjecture d'Artin sur les racines primitives|Conjecture d'Artin]] sur les [[Racine primitive modulo n|racines primitives]]
* [[Entier de Gauss]]
*[[Exponentiation modulaire]]
*[[Indicatrice de Carmichael|Fonction de Carmichael]]
*[[Logarithme discret]]
*[[Nombre p-adique]]
* [[Résidu quadratique]]
}}

===Liens externes===
{{Colonnes|nombre=3|1=
* [https://web.archive.org/web/20070509035807/http://www.dma.ens.fr/~madore/mpri2005/mpri2005-2.pdf Entiers modulaires] par David A. Madore
* [http://wims.unicaen.fr/wims/wims.cgi?lang=fr&+module=U1%2Falgebra%2Fdocmodarith.fr Arithmétique modulaire] par B. Perrin Riou
}}

{{Portail|cryptologie|algèbre}}

[[Catégorie:Arithmétique modulaire]]
[[Catégorie:Anneau]]