emsenn.net on relations and things
About this site

Identity Element

Defines Identity Element, identity elements, neutral element

An identity element for a binary operation ∗ on a set S is an element e ∈ S such that e ∗ a = a and a ∗ e = a for all a ∈ S. The identity element “does nothing” — combining any element with it returns that element unchanged.

If an identity element exists, it is unique: if e and e’ are both identity elements, then e = e ∗ e’ = e’. A magma with an identity element is called unital; a semigroup with an identity element is a monoid.

Familiar examples: 0 is the identity for addition (a + 0 = a), 1 is the identity for multiplication (a × 1 = a), the empty string is the identity for concatenation, and the identity function id is the identity for composition. In a category, every object has an identity morphism — this is one of the axioms of a category. In the semiotic universe, the identity operator on the Heyting algebra H maps every semantic value to itself: it is the trivial closure that stabilizes nothing.

Relations

Date created
Defines

Cite

@misc{emsenn2025-identity-element,
  author    = {emsenn},
  title     = {Identity Element},
  year      = {2025},
  url       = {https://emsenn.net/library/math/domains/algebra/terms/identity-element/},
  publisher = {emsenn.net},
  license   = {CC BY-SA 4.0}
}