The rotations form a cyclic subgroup of index two, so it is normal. The quotient has order two and is cyclic. Hence has abelian factors, proving . Its commutator subgroup is contained in the abelian rotation subgroup, so its second derived subgroup is already trivial.
Articles by others on the same topic
There are currently no matching articles.