Definition:Identity (Abstract Algebra)/Left Identity

From ProofWiki
Jump to: navigation, search

Definition

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


Sources