Alternating group

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

For instance, the alternating group of degree 4 is A"4" = {e, (123), (132), (124), (142), (134), (143), (234), (243), (12)(34), (13)(24), (14)(23)} (see cycle notation).

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. A5 is the smallest non-abelian simple group, having order 60, and the smallest non-solvable group.

Conjugacy classes

As in the symmetric group, the conjugacy classes in A"n" 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 harv|Scott|1987|loc=§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

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

Exceptional isomorphisms

There are some isomorphisms between some of the small alternating groups and small groups of Lie type. These are:
* A4 is isomorphic to PSL2(3) and the symmetry group of chiral tetrahedral symmetry.
* A5 is isomorphic to PSL2(4), PSL2(5), and the symmetry group of chiral icosahedral symmetry.
* 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 A1 and A2 are isomorphic to the trivial group (which is also SL1("q")=PSL1("q") for any "q").

ubgroups

"A"4 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"4, 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 (except e) 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.

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_3,mathbf{Z})=A_3^{ ext{ab = A_3 = mathbf{Z}/3;:H_1(A_4,mathbf{Z})=A_4^{ ext{ab = mathbf{Z}/3;:H_1(A_n,mathbf{Z})=0 for n=1,2 and ngeq 5.

H2: Schur multipliers

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 a triple cover. In these cases, then, the Schur multiplier is of order 6.

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

References

*Citation | last1=Scott | first1=W.R. | title=Group Theory | publisher=Dover Publications | location=New York | isbn=978-0-486-65377-8 | year=1987


Wikimedia Foundation. 2010.

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

Look at other dictionaries:

  • alternating group — Math. the subgroup consisting of all even permutations, of the group of all permutations of a finite set. Cf. symmetric group. [1905 10] * * * …   Universalium

  • alternating group — Math. the subgroup consisting of all even permutations, of the group of all permutations of a finite set. Cf. symmetric group. [1905 10] …   Useful english dictionary

  • alternating group — noun Date: 1901 a permutation group whose elements comprise those permutations of n objects which can be formed from the original order by making an even number of interchanges of pairs of objects …   New Collegiate Dictionary

  • Alternating — may refer to:In mathematics: *alternating form *alternating group *alternating series *alternating knot *alternating mapIn electronics:*alternating current …   Wikipedia

  • Group theory — is a mathematical discipline, the part of abstract algebra that studies the algebraic structures known as groups. The development of group theory sprang from three main sources: number theory, theory of algebraic equations, and geometry. The… …   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

  • Group (mathematics) — This article covers basic notions. For advanced topics, see Group theory. The possible manipulations of this Rubik s Cube form a group. In mathematics, a group is an algebraic structure consisting of a set together with an operation that combines …   Wikipedia

  • Mathieu group — Group theory Group theory …   Wikipedia

  • Orthogonal group — Group theory Group theory …   Wikipedia

  • General linear group — Group theory Group theory …   Wikipedia

Share the article and excerpts

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