Solvable automorphism group implies solvable of derived length at most one more

This article gives the statement and possibly, proof, of an implication relation between two group properties. That is, it states that every group satisfying the first group property (i.e., group whose automorphism group is solvable) must also satisfy the second group property (i.e., solvable group)
View all group property implications | View all group property non-implications
Get more facts about group whose automorphism group is solvable|Get more facts about solvable group

This article gives a result about how information about the structure of the automorphism group of a group (abstractly, or in action) can control the structure of the group
View other such results

Statement

Suppose $G$ is an group whose automorphism group is solvable, i.e., a group whose automorphism group is solvable. Then, $G$ is also solvable. Moreover, if the derived length of the automorphism group of $G$ is $l$, the derived length of $G$ is at most $l + 1$.

Related facts

Similar facts

• Aut-abelian implies class two
• Aut-nilpotent implies nilpotent of class at most one more
• Trivial automorphism group implies trivial or order two

Converse

The converse is not true: solvable not implies aut-solvable.

Facts used

1. Group acts as automorphisms by conjugation
2. Solvability is subgroup-closed
3. The center of a group is abelian, hence solvable
4. Solvability is extension-closed