In abstract algebra, an inner automorphism of a group is a function f : G -> G defined by

f(x) = axa^-1    

for all x in G; where the conjugation is often denoted exponentially by x^a. As the name suggests, f is an automorphism of G. An automorphism not of this form is called an outer automorphism.

The collection of all inner automorphisms of G is a group, denoted Inn(G). It is a normal subgroup of the full automorphism group Aut(G) of G. The quotient group Aut(G)/Inn(G) is known as the outer automorphism group Out(G) (the elements of that group are cosets of automorphisms, and hence are not actually the outer automorphisms, since those can't form a group.)

By associating the element a in G with the inner automorphism f in Inn(G) as above, one obtains an isomorphism between the factor group G/Z(G) (where Z(G) is the center of G) and Inn(G). As a consequence, the group Inn(G) of inner automorphisms is trivial (i.e. consists only of the identity element) if and only if G is abelian.

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 is called complete.