Affirmation de l'existence d'un élément particulier e dans un ensemble muni d'une opération binaire · tel que pour tout élément a, e·a = a·e = a ; e est appelé élément neutre ou identité pour cette opération.

Principe

Neutralité : l'élément identité agit comme unité pour l'opération, ne modifiant aucun élément et servant de référence pour l'inversibilité et la classification structurelle.

Démonstration

Dans (R, +) l'élément 0 est l'identité additive puisque 0 + a = a + 0 = a pour tout réel a ; dans (R\{0}, ×) le nombre 1 est l'identité multiplicative car 1·a = a·1 = a.

Mauvaise application

Confondre une identité avec un idempotent ou supposer que toute structure algébrique possède une identité ; certains semi-groupes n'ont pas d'identité et certains anneaux sont non unitaires.

Conséquence

L'existence d'une identité permet de définir les unités (éléments inversibles), facilite la résolution d'équations par inverses et fournit des homomorphismes canoniques qui préservent l'identité.

Inversion

Élément absorbant ou absence d'unité : un élément absorbant z vérifie a·z = z·a = z (par ex. le zéro pour la multiplication), qui est conceptuellement l'opposé du comportement neutre d'une identité ; certaines structures n'ont pas d'identité.

Limite

S'applique à une opération donnée et exige que e agisse neutralement avec chaque élément ; l'identité est unique si elle existe, mais son existence n'est pas garantie dans les systèmes algébriques généraux.

Tension sémantique

Identité vs application identité/objet identité : « élément identité » est un concept algébrique et ne doit pas être confondu avec l'application identité ou avec les éléments idempotents qui satisfont a·a = a plutôt que d'être neutres par rapport aux autres.

Synthèse

La loi d'identité désigne un élément neutre qui laisse inchangés les opérandes sous l'opération ; cette unité est centrale pour définir les inverses, les unités et organiser la structure algébrique.