The Group Properties Wiki (pre-alpha)
TIP: Read more about how the definition in Groupprops is structured
ABOUT US: Read our purpose statement and learn what makes us special
ALSO CHECK OUT: Diffgeom: The Differential Geometry Wiki
Automorphism group of a group
From Groupprops
|
This article is about a basic definition in group theory. The article text may, however, contain more material. Rate its utility as a basic definition article on the talk page
VIEW: Definitions built on this | Facts about this | Survey articles about this
View a complete list of basic definitions in group theory | Go through a guided tour for beginners to this wiki
Definition
Symbol-free definition
The automorphism group of a group is defined as a group whose elements are all the automorphisms of the base group, and where the group operation is composition of automorphisms. In other words, it gets a group structure as a subgroup of the group of all permutations of the group.
Definition with symbols
The automorphism group of a group G, denoted Aut(G), is a set whose elements are automorphisms 
, and where the group multiplication is composition of automorphisms. In other words, its group structure is obtained as a subgroup of Sym(G), the group of all permutations on G.
Subgroups
Every group-closed automorphism property gives rise to a normal subgroup of the automorphism group. Examples are the property of being an inner automorphism, class automorphism, extensible automorphism.
