Anneau sans diviseur de zéro

Modèle:Ébauche En théorie des anneaux, un anneau sans diviseur de zéro (Modèle:En anglais) est un anneau unitaire dans lequel un produit est nul seulement si l'un des facteurs est nul, autrement dit dans lequel l'implication suivante est vérifiée :

$ab=0\Rightarrow (a=0\mathrm{o}\mathrm{u}b=0)$.

En d'autres termes, c'est un anneau dans lequel il n'y a aucun diviseur de zéro (ni à droite, ni à gauche).

Certains auteurs exigent également que la condition 1 ≠ 0 soit remplie ou, ce qui revient au même, que l'anneau ait au moins deux éléments.

Un anneau commutatif sans diviseur de zéro qui vérifie en outre la condition 1 ≠ 0 est appelé un anneau intègre.

Un anneau sans diviseur de zéro qui est fini est nécessairement un anneau à division et donc un corps commutatif en utilisant le théorème de Wedderburn.