Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Prove that the identity element in a group is unique.

Suppose $e_1$ and $e_2$ are two identity elements of a group $G$, then for $g\in G$ we have $e_1g = ge_1 = e_1$ and $e_2g = ge_2 = e_2$ then $e_2e_1g = ge_1e_2 = e_2$. The proof in the book stops here, saying $e_1e_2 =e_2$.

This is the proof in the book, and I did the same in my attempt. However, the book follows the above by simply stating, "hence $e_1 = e_2$". How is this?

share|cite|improve this question
Is that really the proof in the book? It seems a little garbled, especially the unnecessary introduction of an extra element $g$ in the penultimate equation. – cardinal Aug 28 '11 at 16:08
Can you tell us what book it is, so I can add it to my personal do-not-recommend-list? – Arturo Magidin Aug 28 '11 at 19:12
I hope that's not transcribed correctly. If $e$ is an identity, $eg = g$, not $e$. – jwodder Aug 28 '11 at 19:37
up vote 8 down vote accepted

This is more work than necessary. All you need to say is that $e_1 = e_1 e_2 = e_2$.

share|cite|improve this answer

I would have written $e_2 = e_1 e_2 = e_1$ myself

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.