Élément neutre

Gelose | Tous les portails | Portail Medecine | Portail Biologie | Portail Biochimie | Portail Microbiologie | Portail Ecologie | Portail Botanique | Biologie cellulaire | Portail Zoologie | Science de la terre | Portail Eau |


 Inscrivez votre site en haut de cette page Soumission direct par Allopass, obtenez 1 lien de qualite en haut de cette page Element neutre ainsi que sur la page des nouveaux sites inscrits pour seulement 20 euros!


En mathématiques, 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 combiné avec eux par cette loi. Un ensemble possèdant un élément neutre est dit unifère.

Sommaire

[] Définition

Soit E un ensemble muni d'une loi de composition interne \top. Soit e\in E.

  • e est dit élément neutre à gauche si \forall x \in E, e \top x = x.
  • e est dit élément neutre à droite si \forall x \in E, x \top e = x.
  • e est dit élément neutre s'il est neutre à droite et à gauche.

[] Exemples

L'élément neutre ne l'est bien entendu que pour la loi considérée :

  • 0 est l'élément neutre de l’addition arithmétique, ainsi que du « ou » logique.
  • 1 est l'élément neutre de la multiplication arithmétique, ainsi que du « et » logique.
  • Idn est l'élément neutre de la multiplication des matrices carrées d'ordre n.
  • Le mot vide ε est l'élément neutre de la concaténation des chaînes de caractères.
  • Si E = {e1,e2} et est muni de la loi de composition interne \top définie par e_1\top e_1=e_2\top e_1=e_1 et e_2\top e_2=e_1\top e_2=e_2, alors e1 et e2 sont tous les deux éléments neutres à gauche. Il n'y a pas dans ce cas d'élément neutre à droite.

[] Propriétés

Il est possible que l'élément neutre à gauche (resp. à droite) ne soit pas unique. Mais s'il existe pour un ensemble et une loi de composition interne donnés à la fois un élément neutre à gauche et un élément neutre à droite, ils sont égaux et il n'existe donc alors en fait qu'un unique élément neutre (en effet, si e1 est neutre à gauche et e2 neutre à droite, e_1=e_1\top e_2=e_2).

[] Voir aussi

Element_neutre