Definition:Identity (Abstract Algebra)/Right Identity

From ProofWiki
Jump to navigation Jump to search


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

An element $e_R \in S$ is called a right identity if and only if:

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

Also known as

  • Right neutral element
  • Right unit

Also see

  • Results about identity elements can be found here.