Alternating group
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 .
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.
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