Anneau intègre

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

Cet article est une ébauche concernant l'algèbre.

Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).

Un anneau intègre est, en mathématiques et plus particulièrement dans la théorie des anneaux, un anneau qui ne possède aucun diviseur de zéro, et non réduit à l'élément neutre pour la première loi.

[modifier] Définition

Un anneau $(A,+,\times)$ est dit intègre s'il est non réduit à l'élément neutre et ne possède aucun diviseur de zéro, c’est-à-dire que tout élément non nul de $A$ est régulier pour la deuxième loi notée multiplicativement, soit encore :

$\forall (a, b) \in A^2,\ a\times b = 0_A \Longrightarrow (a=0_A \quad \mathrm{ou}\quad b=0_A)$

Par convention, l'anneau nul ${0 A}$ n'est pas intègre.

[modifier] Propriétés

Tout corps, ou plus généralement tout anneau à division (corps non commutatif) est un anneau intègre.
Tout anneau commutatif intègre peut être plongé dans un corps. Il existe à isomorphisme près un plus petit corps dans lequel il peut être plongé, appelé le corps des fractions.
Un anneau commutatif $A$ est intègre si et seulement si son anneau des polynômes $A [X]$ l'est.

[modifier] Exemples

L'ensemble $\mathbb Z$ des entiers relatifs est un anneau intègre. Par définition, $\mathbb Q$ est son corps des fractions.
L'anneau des congruences modulo 6 noté $\mathbb Z/6\mathbb Z$ n'est pas intègre car on peut y écrire $\overline{3}\times \overline{2}=\overline{6}=\overline{0}$ .
L'anneau des congruences modulo $n$ noté $\Z/n\Z$ est intègre si $n$ est premier, et dans ce cas, c'est un corps.