Inner automorphism

Inner automorphism

In abstract algebra an inner automorphism is a function which, informally, involves a certain operation being applied, then another one (x) performed, and then the initial operation being reversed. Sometimes this has a net effect ("take off shoes, take off socks, put on shoes"), and sometimes it does not ("take off left glove, take off right glove, put on left glove" or "take off right glove" are equivalent).

More formally an inner automorphism of a group G is a function:

ƒ: GG

defined by

ƒ(x) = a−1xa, for all x in G,

where a is a given fixed element of G.

The operation a−1xa is called conjugation (see also conjugacy class).

In fact

a−1xa = x

is equivalent to saying

ax = xa.

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.

Contents

Notation

The expression a−1xa is often denoted exponentially by xa. This notation is used because we have the rule (xa)b=xab (giving a right action of G on itself).

Properties

Every inner automorphism is indeed an automorphism of the group G, i.e. it is a bijective map from G to G and it is a homomorphism; meaning (xy)a = xaya.

Inner and outer automorphism groups

The composition of two inner automorphisms is again an inner automorphism (as mentioned above: (xa)b=xab, and with this operation, the collection of all inner automorphisms of G is itself a group, the inner automorphism group of G denoted Inn(G).

Inn(G) 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 outer automorphism group measures, in a sense, how many automorphisms of G are not inner. Every non-inner automorphism yields a non-trivial element of Out(G), but different non-inner automorphisms may yield the same element of Out(G).

By associating the element a in G with the inner automorphism ƒ(x) = xa in Inn(G) as above, one obtains an isomorphism between the quotient group G/Z(G) (where Z(G) is the center of G) and the inner automorphism group:

G/Z(G) = Inn(G).

This is a consequence of the first isomorphism theorem, because Z(G) is precisely the set of those elements of G that give the identity mapping as corresponding inner automorphism (conjugation changes nothing).

Non-inner automorphisms of finite p-groups

A result of Wolfgang Gaschütz says that if G is a finite non-abelian p-group, then G has an automorphism of p-power order which is not inner.

It is an open problem whether every non-abelian p-group G has an automorphism of order p. The latter question has positive answer whenever G has one of the following conditions:

  1. G is nilpotent of class 2
  2. G is a regular p-group
  3. The centralizer CG(Z(Φ(G))) in G of the center of the Frattini subgroup Φ(G) of G is not equal to Φ(G)
  4. G/Z(G) is a powerful p-group

Types of groups

It follows that the group Inn(G) of inner automorphisms is itself trivial (i.e. consists only of the identity element) if and only if G is abelian.

Inn(G) can only be a cyclic group when it is trivial, by a basic result on the center of a 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 is called complete.

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

Ring case

Given a ring R and a unit u in R, the map ƒ(x) = u−1xu 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.

Lie algebra case

An automorphism of a Lie algebra \mathfrak{g} is called an inner automorphism if it is of the form Adg, where Ad is the adjoint map and g is an element of a Lie group whose Lie algebra is \mathfrak{g}. 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 G arises as the group of units of a ring A, then an inner automorphism on G can be extended to a projectivity on the projective space over A by inversive ring geometry. In particular, the inner automorphisms of the classical linear groups can be so extended.

References


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • inner automorphism — Math. an automorphism that maps an element x into an element of the form axa 1 where a 1 is the inverse of a. Cf. outer automorphism. * * * …   Universalium

  • inner automorphism — Math. an automorphism that maps an element x into an element of the form axa 1 where a 1 is the inverse of a. Cf. outer automorphism …   Useful english dictionary

  • automorphism — /aw teuh mawr fiz euhm/, n. Math. an isomorphism from a given set to itself. Cf. inner automorphism, outer automorphism. [1870 75; AUTO 1 + MORPH + ISM] * * * ▪ mathematics       in mathematics, a correspondence that associates to every element… …   Universalium

  • automorphism — /aw teuh mawr fiz euhm/, n. Math. an isomorphism from a given set to itself. Cf. inner automorphism, outer automorphism. [1870 75; AUTO 1 + MORPH + ISM] …   Useful english dictionary

  • 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… …   Wikipedia

  • Inner product space — In mathematics, an inner product space is a vector space with the additional structure of inner product. This additional structure associates each pair of vectors in the space with a scalar quantity known as the inner product of the vectors.… …   Wikipedia

  • Outer automorphism group — In mathematics, the outer automorphism group of a group G is the quotient Aut(G) / Inn(G), where Aut(G) is the automorphism group of G and Inn(G) is the subgroup consisting of inner automorphisms. The outer automorphism group is usually …   Wikipedia

  • Class automorphism — In mathematics, in the realm of group theory, a class automorphism is an automorphism of a group that sends each element to within its conjugacy class. The class automorphisms form a subgroup of the automorphism group. Some facts: Every inner… …   Wikipedia

  • Extensible automorphism — In mathematics, an automorphism of a structure is said to be extensible if, for any embedding of that structure inside another structure, the automorphism can be lifted to the bigger structure.In group theory, an extensible automorphism of a… …   Wikipedia

  • Power automorphism — In mathematics, in the realm of group theory, a power automorphism of a group is an automorphism that takes each subgroup of the group to within itself. It is worth noting that the power automorphism of an infinite group may not restrict to an… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”