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

Let $G$ be the orthogonal subgroup $O_2$. Show that the set $\{g \in G : g^2= e\}$ is not a subgroup of $G$

The question before says let $G$ be an abelian group and I can see where I have used that fact. It lets us write $a^2b^2=(ab)^2$ and so $ab \in G$. But I cant find a way to 'get out' of $G$.

share|cite|improve this question
HINT: If $g$ and $h$ are elements of the set in question, is it true that the product $gh$ is in there? – Joe Johnson 126 Jun 13 '12 at 13:45

Hint: Every rotation is a product of two reflections.

share|cite|improve this answer

Somewhere in your proof you have used that $(gh)^2=g^2h^2.$ You need $G$ to be abelian for this.

In general $(gh)^2=ghgh$ and you cannot swap the inner $h$ and $g$ unless $G$ is abelian.

share|cite|improve this answer
Thanks think its time to take a break. This shouldn't have been that hard ;-). – Ben Davidson Jun 13 '12 at 13:57
Of course, $(gh)^2 = ghgh \neq g^2h^2$ is generally true, but you still need to find an explicit example of elements in $G$ with $(gh)^2\neq g^2h^2$. Other wise, it might have just happened on accident. For example, if instead of $O_2$, one used $SO_2$, then the corresponding $G$ would be a group. – Jason DeVito Jun 13 '12 at 14:29
@JasonDeVito: Indeed. $SO_2$ is abelian though. A non-abelian example with the mentioned property is the quaternion group. – Dejan Govc Jun 13 '12 at 14:59

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.