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

This question already has an answer here:

Prove that $x=x^{-1}$ for all $x \in G$ and that G is commutative.

I have no idea where to start. I know that commutative will mean that for

$x,y \in G$

$x\circ y = y \circ x$

but I don't know how to prove that.

share|cite|improve this question

marked as duplicate by Derek Holt, Henry T. Horton, Amzoti, Henning Makholm, Cameron Buie Feb 13 '13 at 15:58

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.

I think the tag should be groups, instead of algebraic groups, for it is a totally different topic, IIRC. – awllower Feb 13 '13 at 13:09
@awllower oh yeah I must have mistagged it – Adam Feb 13 '13 at 13:18
Haha. A fun mistake indeed. – awllower Feb 13 '13 at 13:19
Isn't this a duplicate? – 1015 Feb 13 '13 at 13:39

Since any element of $G$ satisfies $x^2=e$ ($e$ is neutral element), so $xy$ also satisfies $(xy)^2=e$, if $x$, $y\in G$. And


share|cite|improve this answer
How would I show that $x=x^{-1}$ would it have something to do with $(x \circ y)^{-1}$ – Adam Feb 13 '13 at 14:03
@Adam Since $x=x^{-1}$ for all $x\in G$ and $xy$ is also element of $G$, so $xy=(xy)^{-1}$. – Hanul Jeon Feb 13 '13 at 14:34

For any $x\in G$, $x^2=e$, so $x=x(xx^{-1})=(xx)x^{-1}=x^{-1}$.

For any $x,y\in G$, $xy=x^{-1}y^{-1}=(yx)^{-1}=yx$, where the first and last equalities follow from the previous paragraph.

share|cite|improve this answer

Let $x,y \in G$. Since $x^{-1}=x$ and $y^{-1}=y$, $[x,y]=xyx^{-1}y^{-1}=xyxy=(xy)^2=1$.

share|cite|improve this answer
But that is my answer, in hint form. In any case, thanks for the answer.Sorry if this claim is too rude: I will delete it if needed. – awllower Feb 13 '13 at 13:20

What is $(x\circ y)^2$? And what does that mean?

share|cite|improve this answer

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