Un élément non nul a d'un anneau R tel qu'il existe un élément non nul b∈R avec ab = 0 ; les diviseurs de zéro empêchent la simplification et font que R n'est pas un anneau intègre.

Principe

Les diviseurs de zéro apparaissent quand la structure multiplicative possède des annihilateurs non triviaux ; ils mesurent l'échec d'injectivité de la multiplication et la présence de composantes enfouies ou d'une structure non réduite.

Démonstration

Dans Z/6Z, 2 et 3 sont des éléments non nuls avec 2·3 = 0 modulo 6, donc ce sont des diviseurs de zéro et Z/6Z n'est pas un anneau intègre.

Mauvaise application

Traiter un anneau ayant des diviseurs de zéro comme s'il était intègre — par exemple annuler des facteurs ou localiser sans inverser les éléments appropriés — conduit à des manipulations algébriques incorrectes.

Conséquence

Les constructions algébriques changent : les idéaux peuvent avoir des annihilateurs non triviaux, la localisation se comporte différemment (beaucoup d'idéaux premiers posent problème), et les modules sur l'anneau peuvent présenter de la torsion compliquant les théorèmes de structure.

Inversion

L'absence de diviseurs de zéro caractérise les anneaux intègres, où la simplification est valide et où le comportement des idéaux premiers est plus simple ; beaucoup de résultats exigent cette absence.

Limite

Le concept s'applique aux anneaux et modules ; il exclut l'élément zéro lui‑même, et se distingue des éléments nilpotents (même si ces derniers sont souvent des diviseurs de zéro).

Tension sémantique

Entre « diviseur de zéro » et « nilpotent » ou « élément de torsion » : les nilpotents sont une source particulière de diviseurs de zéro, tandis que la torsion en modules généralise l'idée d'annihilation.

Synthèse

Un diviseur de zéro signale un défaut multiplicatif dans un anneau : un élément non nul qui annule un autre élément non nul, interrompant la simplification, modifiant la localisation et témoignant d'une structure non intégrale.