Definition:Identity (Abstract Algebra)/Left Identity

From ProofWiki
Jump to navigation Jump to search


Let $\struct {S, \circ}$ be an algebraic structure.

An element $e_L \in S$ is called a left identity if and only if:

$\forall x \in S: e_L \circ x = x$

Also known as

  • Left neutral element
  • Left unit

Also see

  • Results about identity elements can be found here.