Fix any labeling of the vertices of a square and use this to identify as a subgroup of . Prove that the subgroups and do not commute in .
We can label the vertices of a square as follows.
Now a 90 degree clockwise rotation corresponds to the permutation and a reflection across the (1,3) axis to .
Now let and . If , then in particular , a contradiction. So .