Relation between local nilpotency class of group and inner automorphism group
Statement
Suppose is a group and are positive integers such that the -local nilpotency class of is at most . Suppose is the center of , so that the inner automorphism group of , denoted , is isomorphic to . Then, the -local nilpotency class of is at most .
Note that if we took , this would simply tell us that the nilpotency class of the inner automorphism group is one less than that of the original group.