Trivial automorphism group implies trivial or order two
From Groupprops
This article describes an easy-to-prove fact about basic notions in group theory, that is not very well-known or important in itself
View other elementary non-basic facts
VIEW FACTS USING THIS: directly | directly or indirectly, upto two steps | directly or indirectly, upto three steps|
VIEW: Survey articles about this
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
If the automorphism group of a group is the trivial group, then the group is either itself trivial, or cyclic of order two.
Related facts
Proof
Proof outline
The proof has three steps:
- The group must be Abelian: Otherwise, it would have nontrivial inner automorphisms
- The group must have exponent two: Otherwise, the map sending an element to its inverse, would be a nontrivial automorphism. In particular, it is an elementary Abelian group, or is a vector space
- The group must be one-dimensional as a vector space, otherwise it will have other automorphisms (the general linear group on a vector space of dimension greater than one, is nontrivial)