# Commutator of finite group with coprime automorphism group equals second commutator

From Groupprops

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 consideredheavy 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 is a finite group and is a subgroup of the automorphism group such that the orders of and are relatively prime. Then, we have:

.