A _{5} (group)
The group considered in the mathematical sub-area of group theory is the alternating group of the 5th degree. It has 60 elements and is the smallest non-Abelian simple group and the smallest non- resolvable group . It finds a geometric realization as a group of rotations of the icosahedron .
Definitions
We consider the set of all bijective mappings of the 5-element set in itself. This forms a group with the sequential execution of images as a link ; this link is also called a product and is written as or without a link symbol. This is the symmetric group with elements.
Such mappings are called permutations and use the so-called cycle notation with different elements . The figure maps each element in the cycle list to the one on the right and finally the last element in the list to the first. The cycle maps 2 to 3, 3 to 4 and 4 to 2 and leaves elements 1 and 5 fixed. A cycle of length 2 therefore only interchanges and and leaves all other elements fixed, such mappings are called transpositions . Different cycles can describe the same permutation, for example , uniqueness is obtained by agreeing to put the smallest number occurring in the cycle at the beginning.
Every permutation can be written as the product of cycles, even as the product of transpositions. The representation as a product of transpositions is ambiguous. See for example
We use the usual sequence for illustrations, that is, the illustration is applied first, then . (This is not done consistently in the literature; authors who write operations and functions on the right-hand side of the elements to be mapped use exactly the opposite convention.) However, it is clear whether a straight permutation is used to represent a permutation as a product of transpositions or an odd number of transpositions is required, correspondingly the permutations are called even or odd.
Then it is clear that the product of even permutations is even again, because the numbers of transpositions used add up when combining. The even permutations therefore form a subgroup , that is, the alternating group .
Of course, analogous formulations of terms for are possible instead of , which then leads to the alternating group A _{n} . In this article we cover the case . _{}
Elementary properties
Number of elements
If there is any permutation, then is even or odd if and only if is odd or even. So there are as many even as odd permutations, and it follows that has 60 elements.
Cycle of three
A cycle of three, that is, a cycle of length three, is even, because
- .
A cycle of three is evidently a mapping that maps each of the elements from onto another element of this set of three and leaves the other two elements from fixed; there are exactly two such images, namely and . Since there are such sets of three in total, we arrive at a total of 20 cycles of three. The other way around
- for different in pairs
- for different in pairs,
every even permutation is a product of cycles of three, that is, the group is generated by the cycles of three.
Orders
As in every group, there is exactly one element of order 1, namely the neutral element .
The elements of order 2 are obtained from transpositions, which obviously have order 2. Since it only contains even permutations, the permutations of order 2 are exactly the products of two transpositions foreign to the element with different pairs . There are 5 possibilities for a set of four (one element does not belong in each case) and for each such set of four you can form the three different elements of order 2, which makes elements of order 2 in total .
The elements of order 3 are the 20 three-cycle cycles mentioned above.
All five-cycles are products of two cycles of three and therefore elements of and obviously have the order 5. Since all 5 numbers occur in, the 1, which is put in the first place, is also included. There are therefore exactly the five-fold cycles with different pairs , and there are possibilities for this. There are therefore 24 elements of order 5.
With this we have determined the orders of 1 + 15 + 20 + 24 = 60 elements, so there are no elements of further orders. This gives us the following overview:
order | number | Typical element | description |
---|---|---|---|
1 | 1 | neutral element | |
2 | 15th | two transpositions foreign to the element | |
3 | 20th | Cycle of three | |
5 | 24 | Five-cycle |
Link panel
In the case of the alternating group , it is still possible to obtain the group elements and the link table from the geometric image of the rotations of a tetrahedron. The group occurs as a rotation group of the icosahedron (and the dodecahedron , which is dual to the icosahedron). That is why it is also called the icosahedron rotating group and alternatively denotes it with the letter . It is a subgroup of the full icosahedral group .
Geometric assignments are hardly practicable for a group with 60 elements. With a link table with 60 x 60 positions, it would also be confusing to write numbers, letters or symbols in the table. However, it is possible to represent the elements using colored squares and, accordingly, also the link table, as is done in the online encyclopedia for mathematics MathWorld, for example.
It should be noted that, in general, no particular arrangement can be identified for the elements of a group. The only fixed rule is that the neutral element is the first element of every row and column (top left corner). In order for a link table to make sense without specifying the individual elements, for example as permutations , one should commit to a comprehensible rule for the order of the elements. This is possible if you choose the order according to the faculty-based number system . A permutation generator can be used to generate all 120 permutations of 5 objects in an orderly order. In this way the elements of the symmetrical group are obtained . To get to the alternating group , you just have to delete all odd permutations. Now the 59 x 59 group multiplications have to be carried out with these elements.
Since the sequence has been determined according to the faculty-based number system, each permutation is assigned an ordinal number from 0 to 59. They are assigned to a hue in the HSV color space with constant color saturation and constant brightness . The size of the hue is usually specified on a color wheel with a range of values from 0 to 360 (in degrees). The hues for the permutations are now distributed equidistantly according to their permutation number over the range of values of the hue quantity . This gives you a set of rules for assigning a color to an element of any group.
In this order, the ordinal numbers 1 and 2 are fixed points for elements 1, 2 and 3, and 1 is the sole fixed point for elements 4 to 12. Consequently, the first three elements form an alternating subgroup of type and elements 1 to 12 form an alternating subgroup of type . These two subgroups of the alternating group can be clearly seen as diagonal blocks from the graphic on the link table. Furthermore, one immediately notices a grouping in blocks of 12 elements each.
presentation
A presentation by generators and relations looks like this: The group is made up of two generators and the relations
Are defined. This means that every group that is created by two elements that also satisfy the above relations is isomorphic to .
The self is generated by and , and these elements satisfy the given relations.
Transitive operation on 6 elements
The group has 24 elements of order 5, of which 4 together with the neutral element form a subgroup of order 5, there are therefore six subgroups of order 5, which are also the 5- Sylow groups . Since the group operates transitively on the six 5-Sylow groups by means of conjugation , because every two 5-Sylow groups are conjugated, we get overall that it operates transitively on a set with alternate elements. This operation is even faithful . The following reversal applies:
- Every 60-element transitive permutation group on 6 elements is isomorphic to .
A _{5} cannot be resolved
For any group , the commutator group is defined as the subgroup generated by all commutators . One explains inductively and calls the group dissolvable , if there is one with .
The group cannot be dissolved. If there is a cycle of three, then the two numbers not represented in it are out . Then you do the math
- ,
that is, every three-cycle is a commutator and therefore off . Since the cycles of three generate the group according to the above , it follows and therefore for all . Therefore it is not resolvable.
is the smallest non-resolvable group. It is well known that every p-group , that is, group of the order for a prime number , can be resolved. Furthermore, groups of the order with prime numbers and according to Burnside's theorem can be resolved. After all, groups of order are prime and solvable. The smallest order that comes into question for a non-dissolvable group is thus . is therefore a non-resolvable group of smallest possible order, one can even show that it is the only non-resolvable group of order 60 apart from isomorphism.
From the non-solubility of it follows easily that all and all with cannot be resolved, because subgroups of resolvable groups can be resolved again and all these groups contain a subgroup that is too isomorphic.
A _{5} is easy
A group is simple if it besides the trivial normal subgroups and contains no other normal subgroup. Since commutator groups are normal divisors, solvable groups that are not cyclically prime always have normal divisors, but non-resolvable groups can also have normal divisors, as the example shows, which has normal divisors. Therefore the following statement is a tightening of the non-dissolvability:
- is simple.
This follows easily from the fact that a non-resolvable group is of the smallest possible order. If there were a non-trivial normal divisor, then and would have a really smaller order and could therefore be resolved. From the well-known theorems about solvable groups it followed the solvability of what results in the desired contradiction.
The argument just given for the simplicity of the is by no means trivial, because it uses Burnside's theorem, which is the minimality of 60 for the order of a non-resolvable group. However, one does not need Burnside's theorem in full strength, the solvability of groups of the order with , which can be proven without representation theory, is sufficient.
In a simpler proof one shows first that all three-cycles are conjugate and then that every normal subgroup different from the one-element subgroup must contain at least one three-cycle. The normal divisor then contains all conjugates of this cycle of three, because normal divisors are by definition stable under conjugation, and therefore all cycles of three. But since these already generate, it follows , that is, there are no non-trivial normal divisors in . This proof applies to everyone .
Another simpler and more tailored proof using the Sylow theorems can be found in the textbook by B. Huppert given below. In addition, there is shown:
- If a simple group of order 60 is then .
Character board
The character table of looks like this:
Occurrence
Symmetry group
As mentioned above, the group occurs as the rotation group of the icosahedron. In order to get an overview of the possible rotations that transform the icosahedron into itself, let us consider how they affect the edges. The 30 edges of the icosahedron are divided into 5 classes of parallel edges, each of these classes containing 6 parallel edges. Since rotations of the icosahedron must preserve parallelism of edges, they permute these 5 classes and one gets a homomorphism from the icosahedron group into the . A closer look then shows that it is an injective homomorphism whose image is straight . Therefore the icosahedral group is isomorphic to .
The elements of the correspond to the following rotations:
The 30 edges define 15 axes of rotation through the centers of pairs of opposing edges, and rotation around each axis is possible. These are the 15 elements of order 2.
The 20 side surfaces define 10 axes of rotation through the centers of pairs of opposite side surfaces, and a rotation about or possible about each of these axes is the 20 elements of order 3.
The corners 12 define rotation axes 6 by pairs of opposite corners, to each axis, there are 4 rotations , the order of 5, the total of the 24 rotations of the order. 5
Galois group
The polynomial
has one to the isomorphic Galois group . According to theorems of Galois theory , because of the non-solubility of the group established above, this means that the zeros of the polynomial cannot be represented by radicals of the coefficients. This is confirmed by Abel-Ruffini's theorem , according to which there are no general solution formulas for polynomials of degree 5 or higher, which consist of roots and arithmetic operations of the coefficients.
PSL _{2} (4) and PSL _{2} (5)
The projective linear groups for a finite body with elements are simple and have elements with the exception of and . Therefore applies
- .
Since all simple groups of order 60 are isomorphic to , as mentioned above , it follows
- .
Individual evidence
- ↑ You need all letters of the alphabet and then letter pairs from AA to BH, just like with table title lines in Microsoft Excel .
- ↑ MathWorld: Alternating Group Please note a difference: In the color graphic of the link table shown above, the neutral element is highlighted as a black square, which is not the case in the color graphic in MathWorld.
- ↑ Permutations This website contains the code to generate permutations in a defined order, in 97 programming languages.
- ↑ B. Huppert: Endliche Gruppen I. Springer-Verlag, 1967, Chapter I, Example 19.9.
- ^ B. Huppert: Endliche Gruppen I. Springer-Verlag, 1967, Chapter II, Proposition 8.25.
- ^ Kurt Meyberg: Algebra. Part 1. With 287 exercises. 2nd Edition. Hanser, Munich / Vienna 1980, ISBN 3-446-13079-9 , sentence 2.6.5.
- ↑ B. Huppert: Endliche Gruppen I. Springer-Verlag, 1967, chapter I sentence 8.9, sentence 8.13 and chapter V sentence 7.3.
- ^ Derek JS Robinson: A Course in the Theory of Groups. Springer-Verlag, 1996, ISBN 0-387-94461-3 , section 5.4.1.
- ^ Kurt Meyberg: Algebra. Part 1. With 287 exercises. 2nd Edition. Hanser, Munich / Vienna 1980, ISBN 3-446-13079-9 , sentence 2.4.16.
- ^ B. Huppert: Endliche Gruppen I. Springer-Verlag, 1967, Chapter I, Sentence 8.14.
- ↑ JL Alperin, RB Bell: Groups and Representations , Springer-Verlag (1995), ISBN 0-387-94525-3 , chap. 6, example 9.
- ^ K. Lamotke: Regular Solids and Isolated Singularities. Vieweg-Verlag, Braunschweig 1986, ISBN 3-528-08958-X , §5: The Rotation Groups of the Platonic Solids.
- ^ John Swallow: Exploratory Galois Theory. Cambridge University Press, Cambridge, UK / New York 2004, ISBN 0-521-83650-6 , p. 176 (behind Theorem 34.7).
- ^ B. Huppert: Endliche Gruppen I. Springer-Verlag, 1967, chapter II, sentence 6.14.