Commutator of finite group with coprime automorphism group equals second commutator

From Groupprops
Jump to: navigation, search
This article states and (possibly) proves a fact that involves two finite groups of relatively prime order, requiring the additional datum that at least one of them is solvable. Due to the Feit-Thompson theorem, we know that for two finite groups of relatively prime orders, one of them is solvable. Hence, the additional datum of solvability can be dropped. However, the proof of the Feit-Thompson theorem is considered heavy machinery.
View more such facts
This article states and (possibly) proves a fact about a finite group and a Coprime automorphism group (?): a subgroup of the automorphism group whose order is relatively prime to the order of the group itself.
View other such facts

Statement

Suppose G is a finite group and H is a subgroup of the automorphism group \operatorname{Aut}(G) such that the orders of G and H are relatively prime. Then, we have:

[[G,H],H] = [G,H].