digplanet beta 1: Athena
Share digplanet:

Agriculture

Applied sciences

Arts

Belief

Chronology

Culture

Education

Environment

Geography

Health

History

Humanities

Language

Law

Life

Mathematics

Nature

People

Politics

Science

Society

Technology

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 An or Alt(n).

## Basic properties

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

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

The group A4 has a Klein four-group V as a proper normal subgroup, namely the double transpositions {(12)(34), (13)(24), (14)(23)}, and maps to $A_3 = C_3$, from the sequence $V \to A_4 \to A_3 = C_3.$ In Galois theory, this map, or rather the corresponding map $S_4 \to S_3,$ 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, the conjugacy classes in An consist of elements with the same cycle shape. 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 A3, although they have the same cycle shape, and are therefore conjugate in S3
• the permutation (123)(45678) is not conjugate to its inverse (132)(48765) in A8, although the two permutations have the same cycle shape, so they are conjugate in S8.

## Automorphism group

 $n$ $\mbox{Aut}(A_n)$ $\mbox{Out}(A_n)$ $n\geq 4, n\neq 6$ $S_n\,$ $C_2\,$ $n=1,2\,$ $1\,$ $1\,$ $n=3\,$ $C_2\,$ $C_2\,$ $n=6\,$ $S_6 \rtimes C_2$ $V=C_2 \times C_2$

For n > 3, except for n = 6, the automorphism group of An is the symmetric group Sn, with inner automorphism group An and outer automorphism group Z2; 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 Z2, with trivial inner automorphism group and outer automorphism group Z2.

The outer automorphism group of A6 is the Klein four-group V = Z2 × Z2, and is related to the outer automorphism of S6. The extra outer automorphism in A6 swaps the 3-cycles (like (123)) with elements of shape 32 (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:

• A4 is isomorphic to PSL2(3)[1] and the symmetry group of chiral tetrahedral symmetry.
• A5 is isomorphic to PSL2(4), PSL2(5), and the symmetry group of chiral icosahedral symmetry.(See [1] for an indirect isomorphism of $PSL_2(F_5) \to A_5$ using a classification of simple groups of order 60, and here for a direct proof).
• A6 is isomorphic to PSL2(9) and PSp4(2)'
• A8 is isomorphic to PSL4(2)

More obviously, A3 is isomorphic to the cyclic group Z3, and A0, A1, and A2 are isomorphic to the trivial group (which is also SL1(q)=PSL1(q) for any q).

## Examples S4 and A4

 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 graph of S4 Cycle graph of A4 (using a similar structure to the cycle graph of S4 on the left)

## Subgroups

A4 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 = A4, 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.

## 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).

### H1: Abelianization

The first homology group coincides with abelianization, and (since $A_n$ is perfect, except for the cited exceptions) is thus:

$H_1(A_n,\mathbf{Z})=0$ for $n=0,1,2$;
$H_1(A_3,\mathbf{Z})=A_3^{\text{ab}} = A_3 = \mathbf{Z}/3$;
$H_1(A_4,\mathbf{Z})=A_4^{\text{ab}} = \mathbf{Z}/3$;
$H_1(A_n,\mathbf{Z})=0$ for $n\geq 5$.

This is easily seen directly, as follows. $A_n$ is generated by 3-cycles – so the only non-trivial abelianization maps are $A_n \to 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,$ $A_n$ is trivial, and thus has trivial abelianization. For $A_3$ and $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 $A_3 \twoheadrightarrow C_3$ (in fact an isomorphism) and $A_4 \twoheadrightarrow C_3.$

### H2: Schur multipliers

The Schur multipliers of the alternating groups An (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.[2] These were first computed in (Schur 1911).

$H_2(A_n,\mathbf{Z})=0$ for $n = 1,2,3$;
$H_2(A_n,\mathbf{Z})=\mathbf{Z}/2$ for $n = 4,5$;
$H_2(A_n,\mathbf{Z})=\mathbf{Z}/6$ for $n = 6,7$;
$H_2(A_n,\mathbf{Z})=\mathbf{Z}/2$ for $n \geq 8$.

## Notes

1. ^ a b Robinson (1996), p. 78
2. ^ Wilson, Robert (October 31, 2006), "Chapter 2: Alternating groups", http://www.maths.qmul.ac.uk/~raw/fsgs.html |url= missing title (help), 2.7: Covering groups

## 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
 38152 videos foundNext >
 302.5B: The Alternating GroupThe sign of a permutation, and some properties of the alternating group A_n. GT17. Symmetric and Alternating GroupsAbstract Algebra: We review symmetric and alternating groups. We show that S_n is generated by its 2-cycles and that A_n is generated by its 3-cycles. Applyi... The order of alternating groupThis video is based on Johb Fraleigh's Text Section 9, pg 92-93. This video establishes that |An| =n!/2. GT18.2. A_n is Simple (n ge 5)Abstract Algebra: Using conjugacy classes, we give a second proof that A5, the alternating group on 5 letters, is simple. We adapt the first proof that A5 is... Symmetric groupsIn this video, we introduce symmetric groups and cycle notation. 302.6C: The Trouble with A5The alternating group on five symbols "breaks the pattern" of solvability found in smaller alternating groups. The converse of Lagrange's Theorem is falseA demonstration that the converse of Lagrange's Theorem is false. It is also shown that the alternating group A4 is the smallest group that does not have a g... GT20.2 Sylow Theory for Simple 60Abstract Algebra: Using Sylow theory, we show that any simple, non-abelian group with 60 elements is isomorphic to A_5, the alternating group on 5 letters. A... 11. The group Sn is non-abelian for n=3,4,... 302.7D: What is a Galois Group?This less-technical introduction to Galois groups sets a context for our study of solutions of polynomial equations.
 38152 videos foundNext >

We're sorry, but there's no news about "Alternating group" right now.

 Limit to books that you can completely read online Include partial books (book previews) .gsc-branding { display:block; }

Oops, we seem to be having trouble contacting Twitter