Automorphism group of a group

From Groupprops
Revision as of 00:21, 31 December 2007 by Vipul (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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 \sigma:G \to G, 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.