Anneau quotient : Mathématique

D	L	M	M	J	V	S
	1	2	3	4	5	6
7	8	9	10	11	12	13
14	15	16	17	18	19	20
21	22	23	24	25	26	27
28	29	30

« Géométrie et Théorie des Modèles | Page d'accueil | Arithmétique des polynômes »

19/11/2010

Anneau quotient

Ne doit pas être confondu avec Anneau de fractions.

En mathématiques, un anneau quotient est l'ensemble quotient d'un anneau donné par un de ses idéaux.

Sommaire

[masquer]

Définition [modifier]

Soient A un anneau et I un idéal bilatère de A. On définit la relation d'équivalence R suivante :

$forall (x,y)in A^2, xRy Leftrightarrow (x-y)in I$

Deux éléments de A sont ainsi en relation si leur différence appartient à l'idéal I, c’est-à-dire si ces deux éléments sont congrus modulo I.

L'ensemble quotient A_/R, que l'on note alors A/I, muni des opérations induites

(x + I) + (y + I) = x + y + I

$(x+I)times (y+I) = (xcdot y)+I$

est un anneau, nommé anneau quotient de A par I.

Exemples [modifier]

Si I = A, A / I = A / A est l'anneau trivial {0}.
Si I = {0}, A / I = A / {0} est isomorphe à A.
Si A = Z (l'anneau des entiers) et I = n Z pour un certain entier n, l'anneau quotient A / I est l'anneau Z / n Z. Cette structure est le fondement de l'arithmétique modulaire.

Propriétés [modifier]

L'application p : A → A/I définie par p(x) = x + I est un homomorphisme surjectif d'anneau dont le noyau est l'idéal I.

Soit A un anneau commutatif :

Par définition, I est un idéal premier si A / I est intègre. On en déduit que I est premier si et seulement si c'est un idéal propre (i.e. différent de A) vérifiant : si un produit d'éléments deA appartient à I alors au moins l'un des facteurs appartient à I.
I est un idéal maximal si et seulement si A / I est un corps
Si f est un morphisme d'anneaux de A vers B, notons I = ker f son noyau. Alors f se factorise en un morphisme injectif $bar f : A/I to B$ défini par $bar f(x+I)=f(x)$ .

Utilisations [modifier]

Théorie algébrique des nombres [modifier]

Les anneaux quotients sont utilisés dans de nombreuses branches des mathématiques. Les exemples sont fréquents en théorie algébrique des nombres, par exemple pour résoudre deséquations diophantiennes. C'est-à-dire des équations à coefficients dans l'anneau Z des entiers naturels dont les solutions recherchées sont entières.

L'identité de Bézout peut être vue comme une équation diophantienne de degré un, c'est-à-dire qu'elle correspond à un polynôme de degré un. Elle peut prendre la forme suivante :

$acdot x + bcdot y = 1quadtext{avec}quad a,b in mathbb Z$

Une solution peut être vue comme l'inverse de a dans l'anneau quotient Z / b Z. Ainsi, il existe des solutions si et seulement si la classe de a est un élément inversible de l'anneau quotient, i. e. si et seulement si a premier avec b. Les valeurs possibles de x sont éléments de l'inverse de la classe de a.

Les équations diophantiennes polynomiales d'ordre deux utilisent aussi la structure d'anneau quotient. Un exemple est un cas particulier de l'équation de Pell-Fermat :

$x^2 - ncdot y^2 = pm 1;$

Ici, n désigne un entier sans facteur carré. La méthode chakravala correspond à un algorithme simple de détermination d'une solution. Pour montrer sa convergence, on utilise l'anneau des nombres de la forme a + b $\sqrt n$ où a et b désignent des entiers. Le fait de montrer que tous les anneaux quotients sont de cardinal fini est une étape clé de la démonstration.

Cette équation est analogue à la suivante :

$x^2 + ncdot y^2 = p ;$

Ici n est toujours un entier sans facteur carré et p désigne un nombre premier. L'usage d'un bon anneau A d'entiers quadratiques, c'est-à-dire de nombres de la forme a + b.i.√n où idésigne l'imaginaire pur et l'étude des anneaux quotients de la forme A/J où J est un idéal maximal permet de résoudre l'équation. Des exemples sont donnés dans l'article Entier quadratique.

Théorie de Galois [modifier]

La théorie de Galois fait aussi un large usage des anneaux quotients. Soient K un corps commutatif et K[X] l'anneau des polynômes à coefficients dans K. Un des nombreux objectifs de la théorie est l'étude de l'équation polynomiale P(X) = 0. Si P est un polynôme irréductible, on recherche des solutions dans une extension algébrique L de K. Un cas particulier largement utilisé est K[X]/(P), l'anneau des polynômes quotienté par l'idéal engendré par P(X). Comme P(X) est irréductible, l'idéal engendré par P(X) est maximal, l'anneau quotient est bien un corps.

Cette technique permet de construire tous les corps finis. Soit L un corps fini, il existe toujours p un nombre premier et n un entier positif tel que le cardinal de L soit égal à pⁿ. La valeurp correspond à la caractéristique de K.