- Diviseur de zéro
-
En mathématiques, dans un anneau, un diviseur de zéro est un élément non nul dont le produit par un certain élément non nul est égal à zéro[1].
Sommaire
Définition formelle
Soient
un anneau et 
tel que 
, où 0A est l'élément neutre pour la loi + .On dit que a est un diviseur de zéro à gauche dans A si[2]
On dit que a est un diviseur de zéro à droite dans A si
On dit que a est un diviseur de zéro dans A si a est un diviseur de zéro à gauche dans A ou un diviseur de zéro à droite dans A[3].
Un élément de A est dit régulier s'il n'est ni nul, ni diviseur de zéro.
Un diviseur de zéro ne peut pas être inversible ; en particulier, un corps commutatif (ou même un corps gauche) ne contient pas de diviseur de zéro. En effet, soit a un élément d'un anneau
diviseur de zéro. On suppose que a est inversible. Alors par définition il existe 
non nul tel que 
, et en composant par a − 1 à gauche il vient b = 0A, contradiction.Anneau intègre
Article détaillé : anneau intègre.Un anneau commutatif est dit intègre s'il n'est pas réduit à zéro et n'admet aucun diviseur de zéro.
Exemples
Entiers relatifs et nombres réels
L'anneau Z des entiers relatifs est intègre, ainsi que le corps commutatif des nombres rationnels, ou réels, ou complexes (tout corps de manière générale).
Anneau Z / n Z
Dans l'anneau
, la classe de 4 est un diviseur de zéro, car 
est congru à 0 modulo 6, alors que 3 et 4 ne sont pas congrus à 0 modulo 6.Plus généralement, dans l'anneau Z / n Z, les diviseurs de zéro sont exactement les classes modulo n des entiers relatifs qui ne sont pas premiers avec n. Cette affirmation est une simple reformulation du théorème de Bachet-Bézout.
Matrices
L’anneau
des matrices carrées à deux lignes et deux colonnes réelles contient des diviseurs de zéro. Par exemple, la matriceest un diviseur de zéro, en effet elle est non nulle, et nous avons
Plus généralement les diviseurs de zéro à droite dans une algèbre de matrices
à coefficients dans un corps K sont les matrices non surjectives et les diviseurs à gauche les matrices non injectives. Lorsque n = m, les diviseurs de zéro à gauche et à droite coincident et ce sont les matrices non-inversibles.Algèbre de fonctions
L'ensemble des fonctions de
dans lui-même est un anneau qui admet des diviseurs de zéro. En effet si nous prenons la fonction caractéristique des rationnels ainsi que la fonction caractéristique des irrationnels, il est clair que ces deux fonctions sont différentes de la fonction nulle, pourtant leur produit donne bien la fonction nulle, car un nombre réel est rationnel ou bien irrationnel.Plus généralement, si A est une algèbre associative, désignons par AX l'algèbre des fonctions
, où X est un ensemble non vide quelconque. Les diviseurs de zéro de AX sont exactement les fonctions non nulles admettant zéro ou un diviseur de zéro dans leur image.Notes et références
- Il ne s'agit donc pas tout à fait de la particularisation à a = 0 de la notion de diviseur d'un élément a, puisqu'on exige ici que les deux facteurs soient non nuls.
- Aviva Szpirglas, Exercices d'algèbre, éd. Cassini (2008) ISBN 2-84225-128-8 p. 199
- Saunders Mac Lane et Garrett Birkhoff, Algèbre [détail des éditions] , vol. 1, p. 152
Wikimedia Foundation. 2010.
