Question

Define identity element for a binary operation defined on a set.

Answer 1

Let * be a binary operation on a set A.
An element e is called an identity element in A with respect to * if and only if

\[a * e = e * a = a, \forall a \in A\]