Alternating group

Algebraic structure → Group theory Group theory
Basic notions Subgroup Normal subgroup Quotient group (Semi-)direct product Group homomorphisms kernel image direct sum wreath product simple finite infinite continuous multiplicative additive cyclic abelian dihedral nilpotent solvable List of group theory topics
Finite groups Classification of finite simple groups cyclic alternating Lie type sporadic Lagrange's theorem Sylow theorems Hall's theorem p-group Elementary abelian group Frobenius group Schur multiplier Symmetric group Sn Klein four-group V Dihedral group Dn Quaternion group Q Dicyclic group Dicn
Discrete groups Lattices Integers (Z) Free group Modular groups PSL(2,Z) SL(2,Z) Arithmetic group Lattice Hyperbolic group
Topological and Lie groups Solenoid Circle General linear GL(n) Special linear SL(n) Orthogonal O(n) Euclidean E(n) Special orthogonal SO(n) Unitary U(n) Special unitary SU(n) Symplectic Sp(n) G2 F4 E6 E7 E8 Lorentz Poincaré Conformal Diffeomorphism Loop Infinite dimensional Lie group O(∞) SU(∞) Sp(∞)
Algebraic groups Linear algebraic group Reductive group Abelian variety Elliptic curve

In mathematics, an alternating group is the group of even permutations of a finite set. The alternating group on a set of n elements is called the alternating group of degree n, or the alternating group on n letters and denoted by A_n or Alt(n).

Basic properties

For n > 1, the group A_n is the commutator subgroup of the symmetric group S_n with index 2 and has therefore n! / 2 elements. It is the kernel of the signature group homomorphism sgn : S_n → {1, −1} explained under symmetric group.

The group A_n is abelian if and only if n ≤ 3 and simple if and only if n = 3 or n ≥ 5. A₅ is the smallest non-abelian simple group, having order 60, and the smallest non-solvable group.

The group A₄ has a Klein four-group V as a proper normal subgroup, namely the identity and the double transpositions { (), (12)(34), (13)(24), (14)(23) }, and maps to A₃ = C₃, from the sequence V → A₄ → A₃ = C₃. In Galois theory, this map, or rather the corresponding map S₄ → S₃, corresponds to associating the Lagrange resolvent cubic to a quartic, which allows the quartic polynomial to be solved by radicals, as established by Lodovico Ferrari.

Conjugacy classes

As in the symmetric group, any two elements of in A_n that are conjugate by an element of A_n must have the same cycle shape. The converse is not necessarily true, however. If the cycle shape consists only of cycles of odd length with no two cycles the same length, where cycles of length one are included in the cycle type, then there are exactly two conjugacy classes for this cycle shape (Scott 1987, §11.1, p299).

Examples:

• The two permutations (123) and (132) are not conjugates in A₃, although they have the same cycle shape, and are therefore conjugate in S₃.
• The permutation (123)(45678) is not conjugate to its inverse (132)(48765) in A₈, although the two permutations have the same cycle shape, so they are conjugate in S₈.

Relation with symmetric group

See Symmetric group.

Generators and relations

A_n is generated by 3-cycles, since 3-cycles can be obtained by combining pairs of transpositions. This generating set is often used to prove that A_n is simple for n ≥ 5.

Automorphism group

Further information: Automorphisms of the symmetric and alternating groups

$n$	$\operatorname {Aut} (\mathrm {A} _{n})$	$\operatorname {Out} (\mathrm {A} _{n})$
$n\geq 4,n\neq 6$	$\mathrm {S} _{n}$	$\mathrm {Z} _{2}$
$n=1,2$	$\mathrm {Z} _{1}$	$\mathrm {Z} _{1}$
$n=3$	$\mathrm {Z} _{2}$	$\mathrm {Z} _{2}$
$n=6$	$\mathrm {S} _{6}\rtimes \mathrm {Z} _{2}$	$\mathrm {V} =\mathrm {Z} _{2}\times \mathrm {Z} _{2}$

For n > 3, except for n = 6, the automorphism group of A_n is the symmetric group S_n, with inner automorphism group A_n and outer automorphism group Z₂; the outer automorphism comes from conjugation by an odd permutation.

For n = 1 and 2, the automorphism group is trivial. For n = 3 the automorphism group is Z₂, with trivial inner automorphism group and outer automorphism group Z₂.

The outer automorphism group of A₆ is the Klein four-group V = Z₂ × Z₂, and is related to the outer automorphism of S₆. The extra outer automorphism in A₆ swaps the 3-cycles (like (123)) with elements of shape 3² (like (123)(456)).

Exceptional isomorphisms

There are some exceptional isomorphisms between some of the small alternating groups and small groups of Lie type, particularly projective special linear groups. These are:

• A₄ is isomorphic to PSL₂(3) and the symmetry group of chiral tetrahedral symmetry.
• A₅ is isomorphic to PSL₂(4), PSL₂(5), and the symmetry group of chiral icosahedral symmetry. (See for an indirect isomorphism of PSL₂(F₅) → A₅ using a classification of simple groups of order 60, and here for a direct proof).
• A₆ is isomorphic to PSL₂(9) and PSp₄(2)'.
• A₈ is isomorphic to PSL₄(2).

More obviously, A₃ is isomorphic to the cyclic group Z₃, and A₀, A₁, and A₂ are isomorphic to the trivial group (which is also SL₁(q) = PSL₁(q) for any q).

Examples S₄ and A₄

Cayley table of the symmetric group S4 The odd permutations are colored: Transpositions in green and 4-cycles in orange

Cayley table of the alternating group A4 Elements: The even permutations (the identity, eight 3-cycles and three double-transpositions (double transpositions in boldface)) Subgroups:

Cycle graphs

A3 = Z3 (order 3)	A4 (order 12)	A4 × Z2 (order 24)
S3 = Dih3 (order 6)	S4 (order 24)	A4 in S4 on the left

Subgroups

A₄ is the smallest group demonstrating that the converse of Lagrange's theorem is not true in general: given a finite group G and a divisor d of |G|, there does not necessarily exist a subgroup of G with order d: the group G = A₄, of order 12, has no subgroup of order 6. A subgroup of three elements (generated by a cyclic rotation of three objects) with any additional element generates the whole group.

For all n > 4, A_n has no nontrivial (i.e., proper) normal subgroups. Thus, A_n is a simple group for all n > 4. A₅ is the smallest non-solvable group.

Group homology

See also: Symmetric group § Homology

The group homology of the alternating groups exhibits stabilization, as in stable homotopy theory: for sufficiently large n, it is constant. However, there are some low-dimensional exceptional homology. Note that the homology of the symmetric group exhibits similar stabilization, but without the low-dimensional exceptions (additional homology elements).

H₁: Abelianization

The first homology group coincides with abelianization, and (since $\mathrm {A} _{n}$ is perfect, except for the cited exceptions) is thus:

$H_{1}(\mathrm {A} _{n},\mathrm {Z} )=0$ for $n=0,1,2$;

$H_{1}(\mathrm {A} _{3},\mathrm {Z} )=\mathrm {A} _{3}^{\text{ab}}=\mathrm {A} _{3}=\mathrm {Z} /3$;

$H_{1}(\mathrm {A} _{4},\mathrm {Z} )=\mathrm {A} _{4}^{\text{ab}}=\mathrm {Z} /3$;

$H_{1}(\mathrm {A} _{n},\mathrm {Z} )=0$ for $n\geq 5$.

This is easily seen directly, as follows. $\mathrm {A} _{n}$ is generated by 3-cycles – so the only non-trivial abelianization maps are $\mathrm {A} _{n}\to \mathrm {C} _{3},$ since order 3 elements must map to order 3 elements – and for $n\geq 5$ all 3-cycles are conjugate, so they must map to the same element in the abelianization, since conjugation is trivial in abelian groups. Thus a 3-cycle like (123) must map to the same element as its inverse (321), but thus must map to the identity, as it must then have order dividing 2 and 3, so the abelianization is trivial.

For $n<3$, $\mathrm {A} _{n}$ is trivial, and thus has trivial abelianization. For $\mathrm {A} _{3}$ and $\mathrm {A} _{4}$ one can compute the abelianization directly, noting that the 3-cycles form two conjugacy classes (rather than all being conjugate) and there are non-trivial maps $\mathrm {A} _{3}\twoheadrightarrow \mathrm {C} _{3}$ (in fact an isomorphism) and $\mathrm {A} _{4}\twoheadrightarrow \mathrm {C} _{3}.$

H₂: Schur multipliers

Main article: Covering groups of the alternating and symmetric groups

The Schur multipliers of the alternating groups A_n (in the case where n is at least 5) are the cyclic groups of order 2, except in the case where n is either 6 or 7, in which case there is also a triple cover. In these cases, then, the Schur multiplier is (the cyclic group) of order 6. These were first computed in (Schur 1911).

$H_{2}(\mathrm {A} _{n},\mathrm {Z} )=0$ for $n=1,2,3$;

$H_{2}(\mathrm {A} _{n},\mathrm {Z} )=\mathrm {Z} /2$ for $n=4,5$;

$H_{2}(\mathrm {A} _{n},\mathrm {Z} )=\mathrm {Z} /6$ for $n=6,7$;

$H_{2}(\mathrm {A} _{n},\mathrm {Z} )=\mathrm {Z} /2$ for $n\geq 8$.

References

• Robinson, Derek John Scott (1996), A course in the theory of groups, Graduate texts in mathematics, 80 (2 ed.), Springer, ISBN 978-0-387-94461-6
• Schur, Issai (1911), "Über die Darstellung der symmetrischen und der alternierenden Gruppe durch gebrochene lineare Substitutionen", Journal für die reine und angewandte Mathematik, 139: 155–250, doi:10.1515/crll.1911.139.155
• Scott, W.R. (1987), Group Theory, New York: Dover Publications, ISBN 978-0-486-65377-8

External links

• Weisstein, Eric W. "Alternating group". MathWorld.
• Weisstein, Eric W. "Alternating group graph". MathWorld.