In

, then the automorphism group of ''X'' is the mathematics
Mathematics (from Greek: ) includes the study of such topics as quantity (number theory), structure (algebra), space (geometry), and change (analysis). It has no generally accepted definition.
Mathematicians seek and use patterns to formulate ...

, the automorphism group of an object ''X'' is the group
A group is a number of people or things that are located, gathered, or classed together.
Groups of people
* Cultural group, a group whose members share the same cultural identity
* Ethnic group, a group whose members share the same ethnic identi ...

consisting of automorphism
In mathematics, an automorphism is an isomorphism from a mathematical object to itself. It is, in some sense, a symmetry of the object, and a way of mapping the object to itself while preserving all of its structure. The set of all automorphisms of ...

s of ''X''. For example, if ''X'' is a finite-dimensional
In mathematics, the dimension of a vector space ''V'' is the cardinality (i.e. the number of vectors) of a basis of ''V'' over its base field. p. 44, ยง2.36 It is sometimes called Hamel dimension (after Georg Hamel) or algebraic dimension to disting ...

vector space#REDIRECT Vector space#REDIRECT Vector space
{{Redirect category shell, 1=
{{R for alternate capitalisation
...

{{Redirect category shell, 1=
{{R for alternate capitalisation
...general linear group
A general officer is an officer of high rank in the armies, and in some nations' air forces, space forces, or marines.
The term ''general'' is used in two ways: as the generic title for all grades of general officer and as a specific rank.
It ...

of ''X'', the group of invertible linear transformations
In mathematics, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a mapping V \rightarrow W between two vector spaces that preserves the operations of vector addi ...

from ''X'' to itself.
Especially in geometric contexts, an automorphism group is also called a symmetry group
In group theory, the symmetry group of a geometric object is the group of all transformations under which the object is invariant, endowed with the group operation of composition. Such a transformation is an invertible mapping of the ambient s ...

. A subgroup of an automorphism group is called a transformation group (especially in old literature).
Examples

*The automorphism group of a set ''X'' is precisely thesymmetric group
In abstract algebra, the symmetric group defined over any set is the group whose elements are all the bijections from the set to itself, and whose group operation is the composition of functions. In particular, the finite symmetric group S_n de ...

of ''X''.
*A group homomorphismImage:Group homomorphism ver.2.svg, 250px, Image of a group homomorphism (h) from G (left) to H (right). The smaller oval inside H is the image of h. N is the Kernel_(algebra)#Group_homomorphisms, kernel of h and aN is a coset of N.
In mathema ...

to the automorphism group of a set ''X'' amounts to a group action
In mathematics, a group action on a space is a group homomorphism of a given group into the group of transformations of the space. Similarly, a group action on a mathematical structure is a group homomorphism of a group into the automorphism gr ...

on ''X'': indeed, each left ''G''-action on a set ''X'' determines $G\; \backslash to\; \backslash operatorname(X),\; \backslash ,\; g\; \backslash mapsto\; \backslash sigma\_g,\; \backslash ,\; \backslash sigma\_g(x)\; =\; g\; \backslash cdot\; x$, and, conversely, each homomorphism $\backslash varphi:\; G\; \backslash to\; \backslash operatorname(X)$ defines an action by $g\; \backslash cdot\; x\; =\; \backslash varphi(g)x$.
*Let $A,\; B$ be two finite sets of the same cardinality
In mathematics, the cardinality of a set is a measure of the "number of elements" of the set. For example, the set A = \ contains 3 elements, and therefore A has a cardinality of 3. Beginning in the late 19th century, this concept was generalized ...

and $\backslash operatorname(A,\; B)$ the set of all bijection
In mathematics, a bijection, bijective function, one-to-one correspondence, or invertible function, is a function between the elements of two sets, where each element of one set is paired with exactly one element of the other set, and each element ...

s $A\; \backslash mathrel\; B$. Then $\backslash operatorname(B)$, which is a symmetric group (see above), acts on $\backslash operatorname(A,\; B)$ from the left freely and transitively; that is to say, $\backslash operatorname(A,\; B)$ is a torsor:''For the term "torsor" in algebraic geometry, see torsor (algebraic geometry).''
In mathematics, a principal homogeneous space, or torsor, for a group ''G'' is a homogeneous space ''X'' for ''G'' in which the stabilizer subgroup of every point is t ...

for $\backslash operatorname(B)$ (cf. #In category theory).
*The automorphism group $G$ of a finite cyclic group of Order (group theory), order ''n'' is Group isomorphism, isomorphic to $(\backslash mathbb/n\backslash mathbb)^*$ with the isomorphism given by $\backslash overline\; \backslash mapsto\; \backslash sigma\_a\; \backslash in\; G,\; \backslash ,\; \backslash sigma\_a(x)\; =\; x^a$. In particular, $G$ is an abelian group.
*The automorphism group of a field extension $L/K$ is the group consisting of field automorphisms of ''L'' that fixed-point subring, fix ''K''. If the field extension is Galois extension, Galois, the automorphism group is called the Galois group of the field extension.
*The automorphism group of the projective space, projective ''n''-space over a Field (mathematics), field ''k'' is the projective linear group $\backslash operatorname\_n(k).$
*The automorphism group of a finite-dimensional real Lie algebra $\backslash mathfrak$ has the structure of a (real) Lie group (in fact, it is even a linear algebraic group: see below). If ''G'' is a Lie group with Lie algebra $\backslash mathfrak$, then the automorphism group of ''G'' has a structure of a Lie group induced from that on the automorphism group of $\backslash mathfrak$.
*Let ''P'' be a finitely generated module, finitely generated projective module over a Ring (mathematics), ring ''R''. Then there is an embedding $\backslash operatorname(P)\; \backslash hookrightarrow\; \backslash operatorname\_n(R)$, unique up to inner automorphisms.
In category theory

Automorphism groups appear very naturally in category theory. If ''X'' is an Object (category theory), 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 (category theory), PROP.) If $A,\; B$ are objects in some category, then the set $\backslash operatorname(A,\; B)$ of all $A\; \backslash mathrel\; B$ is a left $\backslash operatorname(B)$-principal homogeneous space, torsor. In practical terms, this says that a different choice of a base point of $\backslash operatorname(A,\; B)$ differs unambiguously by an element of $\backslash operatorname(B)$, or that each choice of a base point is precisely a choice of a trivialization of the torsor. If $X\_1$ and $X\_2$ are objects in categories $C\_1$ and $C\_2$, and if $F:\; C\_1\; \backslash to\; C\_2$ is a functor mapping $X\_1$ to $X\_2$, then $F$ induces a group homomorphism $\backslash operatorname(X\_1)\; \backslash to\; \backslash operatorname(X\_2)$, as it maps invertible morphisms to invertible morphisms. In particular, if ''G'' is a group viewed as a Category (mathematics), category with a single object * or, more generally, if ''G'' is a groupoid, then each functor $G\; \backslash to\; C$, ''C'' a category, is called an action or a representation of ''G'' on the object $F(*)$, or the objects $F(\backslash operatorname(G))$. Those objects are then said to be $G$-objects (as they are acted by $G$); cf. S-object, $\backslash mathbb$-object. If $C$ is a module category like the category of finite-dimensional vector spaces, then $G$-objects are also called $G$-modules.Automorphism group functor

Let $M$ be a finite-dimensional vector space over a field ''k'' that is equipped with some algebraic structure (that is, ''M'' is a finite-dimensional algebra over a field, algebra over ''k''). It can be, for example, an associative algebra or a Lie algebra. Now, consider ''k''-linear maps $M\; \backslash to\; M$ that preserve the algebraic structure: they form a vector subspace $\backslash operatorname\_(M)$ of $\backslash operatorname(M)$. The unit group of $\backslash operatorname\_(M)$ is the automorphism group $\backslash operatorname(M)$. When a basis on ''M'' is chosen, $\backslash operatorname(M)$ is the space of Square matrix, square matrices and $\backslash operatorname\_(M)$ is the zero set of some Polynomial, polynomial equations, and the invertibility is again described by polynomials. Hence, $\backslash operatorname(M)$ is a linear algebraic group over ''k''. Now base extensions applied to the above discussion determines a functor: namely, for each commutative ring ''R'' over ''k'', consider the ''R''-linear maps $M\; \backslash otimes\; R\; \backslash to\; M\; \backslash otimes\; R$ preserving the algebraic structure: denote it by $\backslash operatorname\_(M\; \backslash otimes\; R)$. Then the unit group of the matrix ring $\backslash operatorname\_(M\; \backslash otimes\; R)$ over ''R'' is the automorphism group $\backslash operatorname(M\; \backslash otimes\; R)$ and $R\; \backslash mapsto\; \backslash operatorname(M\; \backslash otimes\; R)$ is a group functor: a functor from the Category_of_rings#Category_of_commutative_rings, category of commutative rings over ''k'' to the category of groups. Even better, it is represented by a scheme (since the automorphism groups are defined by polynomials): this scheme is called the automorphism group scheme and is denoted by $\backslash operatorname(M)$. In general, however, an automorphism group functor may not be represented by a scheme.See also

*Outer automorphism group *Level structure (algebraic geometry), Level structure, a trick to kill an automorphism group *Holonomy groupReferences

* * * * * {{cite book , author-link=William C. Waterhouse , first=William C. , last=Waterhouse , title=Introduction to Affine Group Schemes , publisher=Springer Verlag , series=Graduate Texts in Mathematics , volume=66 , orig-year=1979 , year=2012 , isbn=9781461262176 , url=https://books.google.com/books?id=SpfwBwAAQBAJExternal links

*https://mathoverflow.net/questions/55042/automorphism-group-of-a-scheme Group automorphisms