Group of prime power order is either trivial or of prime order or has outer automorphism class of same prime order
From Groupprops
Contents
Statement
Suppose is a nontrivial group of prime power order, say with prime . Further, suppose that the order of is strictly greater than . Then, the following equivalent statements hold:
- The order of the Outer automorphism group (?) of is divisible by .
- has a non-identity element of order .
- There is an element in and outside whose order is a power of .
The first two statements are equivalent by Cauchy's theorem, which says that there is an element of order in a finite group for every dividing the order of the group, and Lagrange's theorem, that guarantees the converse. The equivalence of the second and third statement is clear by considering images and inverse images under the quotient map .
Related facts
Stronger facts
Open questions
References
Journal references
- Nichtabelsche $p$-Gruppen besitzen äussere $p$-Automorphismen by Wolfgang Gaschütz, Journal of Algebra, ISSN 00218693, Volume 4, Page 1 - 2(Year 1966): ^{}^{More info}
- A survey on automorphism groups of finite p-groups by Geir T. Helleloid, : This is an informal survey of what is known about automorphism groups of finite -groups.^{ArXiV paper}^{More info}