Automorphism group

In mathematics, the automorphism group of an object X is the group consisting of automorphisms of X under composition of morphisms. For example, if X is a finite-dimensional vector space, then the automorphism group of X is the group of invertible linear transformations from X to itself (the general linear group of X). If instead X is a group, then its automorphism group ${\displaystyle \operatorname {Aut} (X)}$ is the group consisting of all group automorphisms of X.

Especially in geometric contexts, an automorphism group is also called a symmetry group. A subgroup of an automorphism group is sometimes called a transformation group.

Automorphism groups are studied in a general way in the field of category theory.

If X is a set with no additional structure, then any bijection from X to itself is an automorphism, and hence the automorphism group of X in this case is precisely the symmetric group of X. If the set X has additional structure, then it may be the case that not all bijections on the set preserve this structure, in which case the automorphism group will be a subgroup of the symmetric group on X. Some examples of this include the following:

If G is a group acting on a set X, the action amounts to a group homomorphism from G to the automorphism group of X and conversely. Indeed, each left G-action on a set X determines ${\displaystyle G\to \operatorname {Aut} (X),\,g\mapsto \sigma _{g},\,\sigma _{g}(x)=g\cdot x}$, and, conversely, each homomorphism ${\displaystyle \varphi :G\to \operatorname {Aut} (X)}$ defines an action by ${\displaystyle g\cdot x=\varphi (g)x}$. This extends to the case when the set X has more structure than just a set. For example, if X is a vector space, then a group action of G on X is a group representation of the group G, representing G as a group of linear transformations (automorphisms) of X; these representations are the main object of study in the field of representation theory.

Here are some other facts about automorphism groups:

Automorphism groups appear very naturally in category theory.

If X is an object in a category, then the automorphism group of X is the group consisting of all the invertible morphisms from X to itself. It is the unit group of the endomorphism monoid of X. (For some examples, see PROP.)