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.

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

Possible Duplicate:
Group where every element is order 2

Let $(G,\star)$ be a group with identity element $e$ such that $a \star a = e$ for all $a \in G$. Prove that $G$ is abelian.

Ok, what i got is this: we want to prove that a*b=b*a, i.e. if a*a=e , a=a' where a' is the inverse and b*b=e, b=b' where b' is the inverse so a*b=(a*b)'=b'*a'=b*a....

share|cite|improve this question

marked as duplicate by Arturo Magidin, Kannappan Sampath, Did, Sivaram Ambikasaran, VelvetThunder Mar 11 '12 at 7:51

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

What does it mean to be abelian. Once you write out the definition can you see how to show a group is abelian? How does this relate to the hypotheses in the problem? – john w. Mar 11 '12 at 4:05
up vote 7 down vote accepted

HINT: You need to prove $ab = ba$, $\forall a,b \in G$. Note that since $ab \in G$ we also have that $(ab)^2 = e$ i.e. $(ab)(ab) = e$. Further, $a^{-1} = a$ and $b^{-1} = b$. Can you now finish this off?

share|cite|improve this answer
Ok, what i got is this: we want to prove that ab=ba, i.e. if aa=e , a=a' where a' is the inverse and bb=e, b=b' where b' is the inverse so ab=(ab)'=b'a'=ba.... – anilorap Mar 11 '12 at 4:21

If $a*a=e$ then $a=a^{-1}$. It follows that $(a*b)^{-1}=a*b$ but $a*b= b^{-1}*a^{-1}$ you get the desired equality for comparing both expressions.

share|cite|improve this answer

Given $a,b\in G$ we want to know $ab=ba$, i.e. $aba^{-1}b^{-1}=e$.

What we know is that $a*a=e$, i.e. $a=a^{-1}$, similarly $b=b^{-1}$, so what we need to verify is that $abab=e$.

share|cite|improve this answer

There are groups with $a\cdot a = e$ for all $a\in G$ with more than one element, so that reasoning will not work.

What you may want to think about: If $a\cdot a = e$ for all $a\in G$, then what does this tell you about the element $ab$? We know $(ab)^2 = e$ and so...

share|cite|improve this answer

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