For any perfect group and , the permutation wreath product is generated by elements of order three. The top is generated by 3-cycles. With , the product of the conjugate and is ; using gives . The commutator of and is , since distinct coordinate groups commute. Perfectness gives the entire first coordinate group, and transitivity gives all coordinates. No finite-generation assumption on is needed.

Articles by others on the same topic (0)

There are currently no matching articles.