In

abstract algebra
In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures. Algebraic structures include groups, rings, fields, modules, vector spaces, lattices, and algebras over a field. The term ''a ...

an inner automorphism is an 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 automorphism ...

of a group
A group is a number of persons 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 ide ...

, ring
Ring may refer to:
* Ring (jewellery), a round band, usually made of metal, worn as ornamental jewelry
* To make a sound with a bell, and the sound made by a bell
:(hence) to initiate a telephone connection
Arts, entertainment and media Film and ...

, or algebra
Algebra () is one of the broad areas of mathematics. Roughly speaking, algebra is the study of mathematical symbols and the rules for manipulating these symbols in formulas; it is a unifying thread of almost all of mathematics.
Elementary a ...

given by the conjugation action of a fixed element, called the ''conjugating element''. They can be realized via simple operations from within the group itself, hence the adjective "inner". These inner automorphisms form a subgroup of the automorphism group, and the quotient of the automorphism group by this subgroup is defined as the outer automorphism group.
Definition

If is a group and is an element of (alternatively, if is a ring, and is aunit
Unit may refer to:
Arts and entertainment
* UNIT, a fictional military organization in the science fiction television series ''Doctor Who''
* Unit of action, a discrete piece of action (or beat) in a theatrical presentation
Music
* ''Unit'' (al ...

), then the function
:$\backslash begin\; \backslash varphi\_g\backslash colon\; G\&\backslash to\; G\; \backslash \backslash \; \backslash varphi\_g(x)\&:=\; g^xg\; \backslash end$
is called (right) conjugation by (see also conjugacy class
In mathematics, especially group theory, two elements a and b of a group are conjugate if there is an element g in the group such that b = gag^. This is an equivalence relation whose equivalence classes are called conjugacy classes. In other ...

). This function is an endomorphism
In mathematics, an endomorphism is a morphism from a mathematical object to itself. An endomorphism that is also an isomorphism is an automorphism. For example, an endomorphism of a vector space is a linear map , and an endomorphism of a ...

of : for all $x\_1,x\_2\backslash in\; G,$
:$\backslash varphi\_g(x\_1\; x\_2)\; =\; g^\; x\_1\; x\_2g\; =\; \backslash left(g^\; x\_1\; g\backslash right)\backslash left(g^\; x\_2\; g\backslash right)\; =\; \backslash varphi\_g(x\_1)\backslash varphi\_g(x\_2),$
where the second equality is given by the insertion of the identity between $x\_1$ and $x\_2.$ Furthermore, it has a left and right inverse
Inverse or invert may refer to:
Science and mathematics
* Inverse (logic), a type of conditional sentence which is an immediate inference made from another conditional sentence
* Additive inverse (negation), the inverse of a number that, when ...

, namely $\backslash varphi\_.$ Thus, $\backslash varphi\_g$ is bijective
In mathematics, a bijection, also known as a 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 ...

, and so an isomorphism of with itself, i.e. an automorphism. An inner automorphism is any automorphism that arises from conjugation.
When discussing right conjugation, the expression $g^xg$ is often denoted exponentially by $x^g.$ This notation is used because composition of conjugations satisfies the identity: $\backslash left(x^\backslash right)^\; =\; x^$ for all $g\_1,\; g\_2\; \backslash in\; G.$ This shows that right conjugation gives a right action of on itself.
Inner and outer automorphism groups

Thecomposition
Composition or Compositions may refer to:
Arts and literature
*Composition (dance), practice and teaching of choreography
*Composition (language), in literature and rhetoric, producing a work in spoken tradition and written discourse, to include v ...

of two inner automorphisms is again an inner automorphism, and with this operation, the collection of all inner automorphisms of is a group, the inner automorphism group of denoted .
is a normal subgroup
In abstract algebra, a normal subgroup (also known as an invariant subgroup or self-conjugate subgroup) is a subgroup that is invariant under conjugation by members of the group of which it is a part. In other words, a subgroup N of the group G i ...

of the full 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 g ...

of . The outer automorphism group, is the quotient group
A quotient group or factor group is a mathematical group obtained by aggregating similar elements of a larger group using an equivalence relation that preserves some of the group structure (the rest of the structure is "factored" out). For exampl ...

:$\backslash operatorname(G)\; =\; \backslash operatorname(G)\; /\; \backslash operatorname(G).$
The outer automorphism group measures, in a sense, how many automorphisms of are not inner. Every non-inner automorphism yields a non-trivial element of , but different non-inner automorphisms may yield the same element of .
Saying that conjugation of by leaves unchanged is equivalent to saying that and commute:
:$a^xa\; =\; x\; \backslash iff\; xa\; =\; ax.$
Therefore the existence and number of inner automorphisms that are not the identity mapping is a kind of measure of the failure of the commutative law in the group (or ring).
An automorphism of a group is inner if and only if it extends to every group containing .
By associating the element with the inner automorphism in as above, one obtains an isomorphism
In mathematics, an isomorphism is a structure-preserving mapping between two structures of the same type that can be reversed by an inverse mapping. Two mathematical structures are isomorphic if an isomorphism exists between them. The word is ...

between the quotient group
A quotient group or factor group is a mathematical group obtained by aggregating similar elements of a larger group using an equivalence relation that preserves some of the group structure (the rest of the structure is "factored" out). For exampl ...

(where is the center
Center or centre may refer to:
Mathematics
* Center (geometry), the middle of an object
* Center (algebra), used in various contexts
** Center (group theory)
** Center (ring theory)
* Graph center, the set of all vertices of minimum eccentr ...

of ) and the inner automorphism group:
:$G\backslash ,/\backslash ,\backslash mathrm(G)\; \backslash cong\; \backslash operatorname(G).$
This is a consequence of the first isomorphism theorem
In mathematics, specifically abstract algebra, the isomorphism theorems (also known as Noether's isomorphism theorems) are theorems that describe the relationship between quotients, homomorphisms, and subobjects. Versions of the theorems exist f ...

, because is precisely the set of those elements of that give the identity mapping as corresponding inner automorphism (conjugation changes nothing).
Non-inner automorphisms of finite -groups

A result of Wolfgang Gaschütz says that if is a finite non-abelian -group, then has an automorphism of -power order which is not inner. It is an open problem whether every non-abelian -group has an automorphism of order . The latter question has positive answer whenever has one of the following conditions: # is nilpotent of class 2 # is a regular -group # is a powerful -group # Thecentralizer
In mathematics, especially group theory, the centralizer (also called commutant) of a subset ''S'' in a group ''G'' is the set of elements \mathrm_G(S) of ''G'' such that each member g \in \mathrm_G(S) commutes with each element of ''S'', ...

in , , of the center, , of the Frattini subgroup, , of , , is not equal to
Types of groups

The inner automorphism group of a group , , is trivial (i.e., consists only of theidentity element
In mathematics, an identity element, or neutral element, of a binary operation operating on a set is an element of the set that leaves unchanged every element of the set when the operation is applied. This concept is used in algebraic structures ...

) if and only if is abelian.
The group is cyclic only when it is trivial.
At the opposite end of the spectrum, the inner automorphisms may exhaust the entire automorphism group; a group whose automorphisms are all inner and whose center is trivial is called complete. This is the case for all of the symmetric groups on elements when is not 2 or 6. When , the symmetric group has a unique non-trivial class of non-inner automorphisms, and when , the symmetric group, despite having no non-inner automorphisms, is abelian, giving a non-trivial center, disqualifying it from being complete.
If the inner automorphism group of a perfect group is simple, then is called quasisimple.
Lie algebra case

An automorphism of aLie algebra
In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an operation called the Lie bracket, an alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow \mathfrak g, that satisfies the Jacobi identi ...

is called an inner automorphism if it is of the form , where is the adjoint map and is an element of a Lie group
In mathematics, a Lie group (pronounced ) is a group that is also a differentiable manifold. A manifold is a space that locally resembles Euclidean space, whereas groups define the abstract concept of a binary operation along with the additio ...

whose Lie algebra is . The notion of inner automorphism for Lie algebras is compatible with the notion for groups in the sense that an inner automorphism of a Lie group induces a unique inner automorphism of the corresponding Lie algebra.
Extension

If is thegroup of units
In algebra, a unit of a ring is an invertible element for the multiplication of the ring. That is, an element of a ring is a unit if there exists in such that
vu = uv = 1,
where is the multiplicative identity; the element is unique for thi ...

of a ring
Ring may refer to:
* Ring (jewellery), a round band, usually made of metal, worn as ornamental jewelry
* To make a sound with a bell, and the sound made by a bell
:(hence) to initiate a telephone connection
Arts, entertainment and media Film and ...

, , then an inner automorphism on can be extended to a mapping on the projective line over by the group of units of the matrix ring, . In particular, the inner automorphisms of the classical group
In mathematics, the classical groups are defined as the special linear groups over the reals , the complex numbers and the quaternions together with special automorphism groups of symmetric or skew-symmetric bilinear forms and Hermitian or ...

s can be extended in that way.
References

Further reading

* * * * * * * {{DEFAULTSORT:Inner Automorphism Group theory Group automorphisms de:Automorphismus#Innere Automorphismen