A perfect-base alternating wreath product is generated by elements of order three

ID: a-perfect-base-alternating-wreath-product-is-generated-by-elements-of-order-three

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.

New to topics? Read the docs here!