The set of all automorphisms of an object forms a group, called the automorphism group.

This group is called the automorphism group of X.

The automorphism group of an object X in a category C is denoted Aut < sub > C </ sub >( X ), or simply Aut ( X ) if the category is clear from context.

The automorphism group of X is also called the symmetric group on X.

* In elementary arithmetic, the set of integers, Z, considered as a group under addition, has a unique nontrivial automorphism: negation.

Generally speaking, negation is an automorphism of any abelian group, but not of a ring or field.

* A group automorphism is a group isomorphism from a group to itself.

For every group G there is a natural group homomorphism G → Aut ( G ) whose image is the group Inn ( G ) of inner automorphisms and whose kernel is the center of G. Thus, if G has trivial center it can be embedded into its own automorphism group.

* In linear algebra, an endomorphism of a vector space V is a linear operator V → V. An automorphism is an invertible linear operator on V. When the vector space is finite-dimensional, the automorphism group of V is the same as the general linear group, GL ( V ).

The automorphism group is sometimes denoted Diff ( M ).

** In topology, morphisms between topological spaces are called continuous maps, and an automorphism of a topological space is a homeomorphism of the space to itself, or self-homeomorphism ( see homeomorphism group ).

One of the earliest group automorphisms ( automorphism of a group, not simply a group of automorphisms of points ) was given by the Irish mathematician William Rowan Hamilton in 1856, in his Icosian Calculus, where he discovered an order two automorphism, writing:

In mathematics, an automorphism is an isomorphism from a mathematical object to itself.

In category theory, an automorphism is an endomorphism ( i. e. a morphism from an object to itself ) which is also an isomorphism ( in the categorical sense of the word ).

The identity morphism ( identity mapping ) is called the trivial automorphism in some contexts.

* Inverses: by definition every isomorphism has an inverse which is also an isomorphism, and since the inverse is also an endomorphism of the same object it is an automorphism.

* In set theory, an automorphism of a set X is an arbitrary permutation of the elements of X.

** In the category of Riemann surfaces, an automorphism is a bijective biholomorphic map ( also called a conformal map ), from a surface to itself.

Hence G is also a transformation group ( and an automorphism group ) because function composition preserves the partitioning of A.

Non-Abelian groups have a non-trivial inner automorphism group, and possibly also outer automorphisms.

* An automorphism is an endomorphism which is also an isomorphism, i. e., an isomorphism from an object to itself.

When p is prime, GL ( n, p ) is the outer automorphism group of the group Z, and also the automorphism group, because Z is Abelian, so the inner automorphism group is trivial.

It is the automorphism group of the Fano plane and of the group Z, and is also known as PSL ( 2, 7 ).

In the case when and are the same space, a unitary transformation is an automorphism of that Hilbert space, and then it is also called a unitary operator.

It is known ( for compact, orientable S ) that this is isomorphic with the automorphism group of the fundamental group of S. This is consistent with the genus 1 case, stated above, if one takes into account that then the fundamental group is Z < sup > 2 </ sup >, on which the modular group acts as automorphisms ( as a subgroup of index 2 in all automorphisms, since the orientation may also be reverse, by a transformation with determinant − 1 ).

The automorphism is also called global Cartan involution, and the diffeomorphism is called global Cartan decomposition.

As an automorphism of G, σ fixes the identity element, and hence, by differentiating at the identity, it induces an automorphism of the Lie algebra of G, also denoted by σ, whose square is the identity.

He found that if a finite field of characteristic 2 also has an automorphism whose square was the Frobenius map, then an analogue of Steinberg's construction gave the Suzuki groups.

He also gave some complicated conditions satisfied by the automorphism σ.

These are clearly automorphisms of K. There is also the identity automorphism e which does not change anything, and the composition of f and g which changes the signs on both radicals:

Two-graphs have been studied because of their connection with equiangular lines and, for regular two-graphs, strongly regular graphs, and also finite groups because many regular two-graphs have interesting automorphism groups.

When viewed as a factor-algebra of g, this semisimple Lie algebra is also called the Levi factor of g. Moreover, Malcev ( 1942 ) showed that any two Levi subalgebras are conjugate by an ( inner ) automorphism of the form

* In geometry, an automorphism may be called a motion of the space.

An invertible endomorphism of X is called an automorphism.

The set of all automorphisms is a subset of End ( X ) with a group structure, called the automorphism group of X and denoted Aut ( X ).

An isomorphism from a group (< var > G </ var >,*) to itself is called an automorphism of this group.

At the opposite end of the spectrum, it is possible that the inner automorphisms exhaust the entire automorphism group ; a group whose automorphisms are all inner and whose centre is trivial is called complete.

If the inner automorphism group of a perfect group G is simple, then G is called quasisimple.

Given a ring R and a unit u in R, the map ƒ ( x ) = u < sup >− 1 </ sup > xu is a ring automorphism of R. The ring automorphisms of this form are called inner automorphisms of R. They form a normal subgroup of the automorphism group of R.

An automorphism of a Lie algebra is called an inner automorphism if it is of the form Ad < sub > g </ sub >, where Ad is the adjoint map and g is an element of a Lie group whose Lie algebra is.

The image of this function was called an automorphism of G. ( Similarly, a homomorphic function ( or homomorph ) was a function between groups which preserved the product while a homomorphism was the image of a homomorph.

A measure-preserving transformation on a standard probability space that obeys the 0-1 law is called a Kolmogorov automorphism.

The set of automorphisms of a hypergraph H (= ( X, E )) is a group under composition, called the automorphism group of the hypergraph and written Aut ( H ).

Two vertices x and y of H are called symmetric if there exists an automorphism such that.

In the case when the bijection is a mapping of a graph onto itself, i. e., when G and H are one and the same graph, the bijection is called an automorphism of G.

This action is called the monodromy action and the corresponding homomorphism into the automorphism group on F is the monodromy.

In fact, for every two n-simplices intersecting in an ( n – 1 )- simplex or panel, there is a unique period two simplicial automorphism of A, called a reflection, carrying one n-simplex onto the other and fixing their common points.