Alternating group

from Wikipedia, the free encyclopedia

The alternating group of degree consists of all even permutations of a -elementary set. The group is linked by the concatenation (execution) of the permutations . Usually the alternating group is simply spoken of.

The alternating groups are subsets of the corresponding symmetrical groups . The alternating group is of particular importance . That it is the only non-trivial normal divisor of is an important part of the proof of the Abel-Ruffini theorem . This theorem from the beginning of the 19th century says that polynomial equations of the fifth or higher degree cannot be solved by root expressions .

properties

The alternating groups are only defined for.

The alternating group consists of (half factorial ) elements. Only the groups and are Abelian . The alternating group is the commutator group of the symmetrical group .

Except for and , all alternating groups are simple . is the smallest nonabelian simple group; it is isomorphic to the rotation group of the icosahedron (see icosahedron group ).

Generating system

The alternating group is of the 3-cycles of the symmetric group generated .

Every 3-cycle is an even permutation because it is the product of two transpositions

can be written, and therefore an element of the alternating group. Furthermore, every even permutation is a product of 3-cycles, since pairs of two transpositions are products of 3-cycles. The following applies in detail

  • if both transpositions are equal.
  • , if both transpositions have a common element.
  • if both transpositions have no element in common.

Inversions and number of inversions, even and odd permutations

One speaks of a misalignment or an inversion when two “places” of a permutation are in the “wrong” order. To determine the number of inversions of a permutation, all of its positions are compared with one another in pairs and the number of inversions is counted.

Example: The permutation in tuple notation has the inversions "3 before 1" and "3 before 2" (read from the two-line form ) and thus the inversion number .

One speaks of an even permutation if its inversion number is an even number; One speaks of an odd permutation if its inversion number is an odd number.

The signum is often defined as follows:

if the permutation is even, and
if is odd.

The sign is a group homomorphism , so the following applies:

for the permutations and .

Group properties

The core of the sign is automatically a normal divisor of . You can also easily recalculate the subgroup properties:

The following applies to the set of even permutations:

  • The identical permutation is an element of this set.
  • The set is closed in terms of concatenation , i.e. H. if and are even permutations, are also and even; a sketch of the evidence follows below.

With these requirements "inherits" all necessary group properties directly from :

  • For all even permutations the following applies:
  • For all even permutations the following applies:
  • For all even permutations the following applies: There is an even with .

The group is special because it is the smallest simple non-Abelian group.

Seclusion

Transpositions

A transposition is a permutation in which exactly two different positions are exchanged, e.g. B. , where 3 and 5 are swapped.

In general, the following applies to all -digit permutations and : can be generated with a finite number of transpositions from .

A special case of this applies to any permutation : can be generated from the identical permutation with a finite number of transpositions .

The picture shows how the permutation in tuple notation is generated from 5 transpositions.

There is a certain amount of freedom in choosing the necessary transpositions; in the picture on the right, for example, the transpositions and could be omitted because they obviously cancel each other out. You could also increase the number of transpositions to 7, 9, 11, ... by adding further transpositions that cancel each other out in pairs. However, it is not possible to create an even number of transpositions from .

Transpositions and inversions

A single transposition always changes the value of the inversion number by an odd number, i.e. H. an even permutation becomes an odd one and vice versa.

When transposing from

the new permutation
generated,

the change in the inversion number is made up of the sum of the following changes:

  • Change resulting from the new order of and , this is +1, if , otherwise −1.
  • Change resulting from the new order of and .
    • If the largest or smallest element is of, the change is 0.
    • If is middle element of , the change is +2 or −2.

The sum of an odd and any number of even numbers always results in an odd number.

Conversion between even and odd permutations through transpositions

The statement made above can be generalized:

  • With an odd number of transpositions, the value of the inversion number always changes by an odd number, i.e. H. an even permutation becomes an odd one and vice versa.
  • With an even number of transpositions, the value of the inversion number always changes by an even number, i.e. H. an even permutation becomes an even permutation again and an odd permutation becomes an odd permutation again.

Transpositions and seclusion

Since id is an even permutation, we have:

  • All even permutations can only be generated from id by an even number of transpositions.
  • All odd permutations can only be generated from id by an odd number of transpositions.

If and are even permutations, then there are even numbers and , so that and can be represented as a chain of transpositions as follows:

This means that the concatenation is also straight.

Analogously one can derive: The concatenation of an even and an odd permutation always creates an odd permutation. The assumption that a permutation is even and odd leads to a contradiction.

Presentation of group A n

A presentation by generators and relations looks like this: The group is for by

Generative and
Relations
  For  
  For  
  For  

Are defined. This means that every group which contains elements which mutually satisfy the above equations and which together create the group is already isomorphic to the alternating group .

This can be used to show that is isomorphic to the group of invertible matrices over the body with two elements. This follows from the fact that

create the group and satisfy the above relations.

See also

literature

  • Christian Karpfinger, Kurt Meyberg: Algebra. Groups - rings - bodies. Spektrum Akademischer Verlag, Heidelberg 2009, ISBN 978-3-8274-2018-3 , pp. 108-109

Individual evidence

  1. ^ B. Huppert: Endliche Gruppen I , Springer-Verlag (1967), Chapter I, Theorem 6.14
  2. B. Huppert: Endliche Gruppen I , Springer-Verlag (1967), Chapter II, Sentence 2.5