Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

This is one of my first proofs about groups. Please feed back and criticise in every way (including style & language). Axiom names (see Wikipedia) are italicised. $e$ denotes the identity element.

Let $(G, \cdot)$ be a group. We assume that every element is its inverse. It remains to prove that our group is commutative. Non-trivially, $\textit{associativity}$ implies that parentheses are unnecessary. Therefore, we do not use parentheses, we will not use $\textit{associativity}$ explicitly.

By $\textit{identity element}$, $G \ne \emptyset$. Now, let $a, b \in G$. By assumption, $$aa = e \text{ and } bb = e. \quad \text{(I)}$$ By $\textit{closure}$, $ab \in G$. So, by assumption, $$abab = e.\quad \text{(II)}$$ It remains to prove that $ab = ba$. \begin{equation*} \begin{split} ab &= aeb && \quad\text{by }\textit{identity element} \\ &= aababb && \quad\text{by (II)} \\ &= ebabb && \quad\text{by (I)} \\ &= ebae && \quad\text{by (I)} \\ &= bae && \quad\text{by }\textit{identity element} \\ &= ba && \quad\text{by }\textit{identity element} \end{split} \end{equation*} QED

share|improve this question
Seems fine to me :) –  carlosayam Aug 27 '14 at 7:57
good attempt !!! –  Imperial Aug 27 '14 at 8:02
It is fine. You may show is using reversal rule also. $$ab=(ab)^{-1}=b^{-1}a^{-1}=ba$$ –  Laxmi kant Mishra Aug 27 '14 at 8:03
Is "non-trivially" a common word + used correctly? –  DracoMalfoy Aug 27 '14 at 8:03
@LaxmikantMishra: D'oh. I was at $abba = aea = aa = e$, therefore $ba = (ab)^{-1} = ab$, but yours is better. –  Steve Jessop Aug 27 '14 at 12:12

1 Answer 1

up vote 6 down vote accepted

It is correct, however, you might see the way similarly as: $$a(ab)b=a^2b^2=e=(ab)^2=a(ba)b.$$

share|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.