En mathématiques, plus précisément en algèbre, un élément neutre (ou élément identité) d'un ensemble pour une loi de composition interne est un élément de cet ensemble qui laisse tous les autres éléments inchangés lorsqu'il est composé avec eux par cette loi. Un magma possédant un élément neutre est dit unifèreN. Bourbaki, Algèbre, chap. I, ..

Définition Soit un magma. Un élément de est dit:

neutre à gauche si ; neutre à droite si ; neutre s'il est neutre à droite et à gauche.

Exemples Un élément neutre est relatif à la loi considérée : 0 est l'élément neutre (ou élément nul dans ce contexte) de l’addition arithmétique, ainsi que du « ou » binaire ; 1 est l'élément neutre (ou élément unitaire dans ce contexte) de la multiplication arithmétique, ainsi que du « et » binaire ; La matrice unité d'ordre est l'élément neutre de la multiplication des matrices carrées d'ordre ; Le mot vide est l'élément neutre de la concaténation des chaînes de caractères.

Propriétés Il est possible que l'élément neutre à gauche (resp. à droite) ne soit pas unique. Par exemple, considérons un ensemble contenant au moins deux éléments. On peut définir une loi sur par la formule et une loi par la formule . Pour la loi , tout élément est neutre à droite et aucun n'est neutre à gauche. Pour la loi , tout élément est neutre à gauche et aucun n'est neutre à droite. En revanche, s'il existe un élément neutre à gauche et un élément neutre à droite, alors l'ensemble admet un unique élément neutre et en outre, tout élément neutre à gauche (resp. à droite) lui est égal. En effet, pour tous éléments neutre à gauche et neutre à droite, on a : .Dans cette situation — en particulier lorsque est un groupe, Partie III : Groupes, Exemples 6.2.Jean-Pierre Marco et Laurent Lazzarini, Mathématiques L1, , .Jean-Marie Monier, Méthodes et Exercices de mathématiques MPSI, , . —, l'unique élément neutre de est couramment appelé le neutre de . Dans un groupe, le neutre est le seul élément idempotent, c'est-à-dire le seul élément tel que .

Notes et références

Voir aussi

Articles connexes

Liens externes

Element neutre Element neutre