Definition:Identity (Abstract Algebra)/Right Identity

From ProofWiki
Jump to navigation Jump to search

Definition

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


Sources