Outer automorphism group

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 denoted Out(G). If Out(G) is trivial and G has a trivial center, then G is said to be complete.

An automorphism of a group which is not inner is called an outer automorphism. Note that the elements of Out(G) are cosets of automorphisms of G, and not themselves automorphisms; this is an instance of the fact that quotients of groups are not in general subgroups. Elements of Out(G) are cosets of Inn(G) in Aut(G).

For example, for the alternating group An, the outer automorphism group is usually the group of order 2, with exceptions noted below. Considering An as a subgroup of the symmetric group Sn conjugation by any odd permutation is an outer automorphism of An or more precisely "represents the class of the (non-trivial) outer automorphism of An", but the outer automorphism does not correspond to conjugation by any particular odd element, and all conjugations by odd elements are equivalent up to conjugation by an even element.

However, for an abelian group A, the inner automorphism group is trivial and thus the automorphism group and outer automorphism group are naturally identified, and outer automorphisms do act on A.


Out(G) for some finite groups

For the outer automorphism groups of all finite simple groups see the list of finite simple groups. Sporadic simple groups and alternating groups (other than the alternating group A6; see below) all have outer automorphism groups of order 1 or 2. The outer automorphism group of a finite simple group of Lie type is an extension of a group of "diagonal automorphisms" (cyclic except for Dn(q) when it has order 4), a group of "field automorphisms" (always cyclic), and a group of "graph automorphisms" (of order 1 or 2 except for D4(q) when it is the symmetric group on 3 points). These extensions are semidirect products except that for the Suzuki-Ree groups the graph automorphism squares to a generator of the field automorphisms.

Group Parameter Out(G) | Out(G) |
Z infinite cyclic Z2 2
Zn n > 2 Zn× φ(n) = n\prod_{p|n}\left(1-\frac{1}{p}\right) elements
Zpn p prime, n > 1 GLn(p) (pn − 1)(pnp )(pnp2) ... (pnpn−1)


Sn n not equal to 6 trivial 1
S6   Z2 (see below) 2
An n not equal to 6 Z2 2
A6   Z2 × Z2(see below) 4
PSL2(p) p > 3 prime Z2 2
PSL2(2n) n > 1 Zn n
PSL3(4) = M21   Dih6 12
Mn n = 11, 23, 24 trivial 1
Mn n = 12, 22 Z2 2
Con n = 1, 2, 3   trivial 1

[citation needed]

The outer automorphisms of the symmetric and alternating groups

The outer automorphism group of a finite simple group in some infinite family of finite simple groups can almost always be given by a uniform formula that works for all elements of the family. There is just one exception to this:[1] the alternating group A6 has outer automorphism group of order 4, rather than 2 as do the other simple alternating groups (given by conjugation by an odd permutation). Equivalently the symmetric group S6 is the only symmetric group with a non-trivial outer automorphism group.

n\neq 6: \mathrm{Out}(S_n) & = 1 \\
n\geq 3,\ n\neq 6: \mathrm{Out}(A_n) & = C_2 \\
\mathrm{Out}(S_6) & = C_2 \\
\mathrm{Out}(A_6) & = C_2 \times C_2

Outer automorphism groups of complex Lie groups

Let G now be a connected reductive group over an algebraically closed field. Then any two Borel subgroups are conjugate by an inner automorphism, so to study outer automorphisms it suffices to consider automorphisms that fix a given Borel subgroup. Associated to the Borel subgroup is a set of simple roots, and the outer automorphism may permute them, while preserving the structure of the associated Dynkin diagram. In this way one may identify the automorphism group of the Dynkin diagram of G with a subgroup of Out(G).

D4 has a very symmetric Dynkin diagram, which yields a large outer automorphism group of Spin(8), namely Out(Spin(8)) = S3; this is called triality.

Outer automorphism groups of complex and real simple Lie algebras

The preceding interpretation of outer automorphisms as symmetries of a Dynkin diagram follows from the general fact, that for a complex or real simple Lie algebra \mathfrak{g}, the automorphism group \operatorname{Aut}(\mathfrak{g}) is a semidirect product of \operatorname{Inn}(\mathfrak{g}) and \operatorname{Out}(\mathfrak{g}), i.e., the short exact sequence

1 \;\xrightarrow{}\; \operatorname{Inn}(\mathfrak{g}) \;\xrightarrow{}\; \operatorname{Aut}(\mathfrak{g}) \;\xrightarrow{}\; \operatorname{Out}(\mathfrak{g}) \;\xrightarrow{}\; 1

splits. In the complex simple case, this is a classical result[2], whereas for real simple Lie algebras, this fact has been proven as recently as 2010.[3]


The Schreier conjecture asserts that Out(G) is always a solvable group when G is a finite simple group. This result is now known to be true as a corollary of the classification of finite simple groups, although no simpler proof is known.

Dual to center

The outer automorphism group is dual to the center in the following sense: conjugation by an element of G is an automorphism, yielding a map \sigma\colon G \to \operatorname{Aut}(G). The kernel of the conjugation map is the center, while the cokernel is the outer automorphism group (and the image is the inner automorphism group). This can be summarized by the short exact sequence:

Z(G) \hookrightarrow G \overset{\sigma}{\to} \operatorname{Aut}(G) \twoheadrightarrow \operatorname{Out}(G).


The outer automorphism group of a group acts on conjugacy classes, and accordingly on the character table. See details at character table: outer automorphisms.

Topology of surfaces

The outer automorphism group is important in the topology of surfaces because there is a connection provided by the Dehn–Nielsen theorem: the extended mapping class group of the surface is the Out of its fundamental group.


The term "outer automorphism" lends itself to puns: the term outermorphism is sometimes used for "outer automorphism", and a particular geometry on which \scriptstyle\operatorname{Out}(F_n) acts is called outer space.

External links

(contains a lot of information on various classes of finite groups (in particular sporadic simple groups), including the order of Out(G) for each group listed.

See also


  1. ^ ATLAS p. xvi
  2. ^ (Fulton & Harris 1991, Proposition D.40)
  3. ^ [1]

Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Outer space (disambiguation) — Outer space refers to the relatively empty regions of the universe outside the atmospheres of celestial bodies. Outer space may also refer to: Outer Space (video game), a 1978 video game OuterSpace, a hip hop duo Outer Space (EP), an EP by S Endz …   Wikipedia

  • Group of Lie type — In mathematics, a group of Lie type G(k) is a (not necessarily finite) group of rational points of a reductive linear algebraic group G with values in the field k. Finite groups of Lie type form the bulk of nonabelian finite simple groups.… …   Wikipedia

  • 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

  • Group isomorphism — In abstract algebra, a group isomorphism is a function between two groups that sets up a one to one correspondence between the elements of the groups in a way that respects the given group operations. If there exists an isomorphism between two… …   Wikipedia

  • O'Nan group — Group theory Group theory …   Wikipedia

  • General linear group — Group theory Group theory …   Wikipedia

  • 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

  • Symmetric group — Not to be confused with Symmetry group. A Cayley graph of the symmetric group S4 …   Wikipedia

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

  • Alternating group — In mathematics, an alternating group is the group of even permutations of a finite set. The alternating group on the set {1,..., n } is called the alternating group of degree n , or the alternating group on n letters and denoted by A n or Alt( n… …   Wikipedia

Share the article and excerpts

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