Nilpotent automorphism group implies nilpotent of class 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 nilpotent) must also satisfy the second group property (i.e., nilpotent group)
View all group property implications | View all group property non-implications
Get more facts about group whose automorphism group is nilpotent|Get more facts about nilpotent 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
Suppose is a group whose automorphism group is nilpotent, i.e., it has a nilpotent automorphism group. Then, is itself a Nilpotent group (?). Moreover, the Nilpotency class (?) of is at most one more than the nilpotency class of .
- Abelian automorphism group implies class two: This is a special case where the nilpotency class of the automorphism group is one.
- Trivial automorphism group implies trivial or order two: This is a stronger statement in the special case where the nilpotency class of the automorphism group is zero.
- Solvable automorphism group implies solvable of derived length at most one more: A corresponding statement for solvability.
- Group acts as automorphisms by conjugation
- Nilpotency is subgroup-closed (and the class of the subgroup is at most the class of the whole group).
Given: A group whose automorphism group is nilpotent of class .
To prove: is nilpotent of class at most .
Proof: We need to show that is nilpotent and the upper central series of has length at most . To do this, it suffices to show that the upper central series of the quotient (where is the center of ) has length at most .
By fact (1), there is a homomorphism given by conjugation action. The kernel of this homomorphism is and the image is a subgroup of known as the inner automorphism group, and denoted . Thus, is isomorphic to the subgroup of . By fact (2), , and hence , is nilpotent of class at most , completing the proof.