# Alternating group:A5

This article is about a particular group, i.e., a group unique upto isomorphism. View specific information (such as linear representation theory, subgroup structure) about this groupView a complete list of particular groups (this is a very huge list!)[SHOW MORE]

## Contents

## Definition

The alternating group , also denoted , and termed the **alternating group of degree five**, is defined in the following ways:

- It is the group of even permutations (viz., the alternating group) on five elements.
- It is the von Dyck group (sometimes termed
*triangle group*, though the latter has a slightly different meaning) with parameters . - It is the
**icosahedral group**, i.e., the group of orientation-preserving symmetries of the regular icosahedron (or equivalently, regular dodecahedron). Viewed this way, it is denoted or .`Further information: Classification of finite subgroups of SO(3,R), Linear representation theory of alternating group:A5` - It is the projective special linear group of degree two over the field of four elements, viz., . It is also the special linear group of degree two over the field of four elements, i.e., . It is also the projective general linear group of degree two over the field of four elements, i.e., .
- It is the projective special linear group of degree two over the field of five elements, viz., .

## Arithmetic functions

### Arithmetic functions of a counting nature

Function | Value | Explanation |
---|---|---|

number of subgroups | 59 | -- |

number of conjugacy classes | 5 | As , : , as , a prime power: . |

number of conjugacy classes of subgroups | 9 |

## Group properties

Property | Satisfied | Explanation | Comment |
---|---|---|---|

Abelian group | No | , don't commute | is non-abelian, . |

Nilpotent group | No | Centerless: The center is trivial | is non-nilpotent, . |

Metacyclic group | No | Simple and non-abelian | is not metacyclic, . |

Supersolvable group | No | Simple and non-abelian | is not supersolvable, . |

Solvable group | No | is not solvable, . | |

Simple group | Yes | Smallest simple non-abelian group | |

T-group | Yes | Simple and non-abelian | |

Rational-representation group | No | ||

Rational group | No | ||

Ambivalent group | Yes | Also see classification of ambivalent alternating groups | |

Complete group | No | Conjugation by odd permutations of gives outer automorphisms |

## Endomorphisms

### Automorphisms

The automorphism group of is the symmetric group on five letters , with embedded in it as inner automorphisms.

Concretely, we can think of as embedded in , and acting on by conjugation. The automorphisms obtained this way are all the automorphisms of .

### Other endomorphisms

Since is a finite simple group, it is a group in which every endomorphism is trivial or an automorphism. In particular, the endomorphisms of are: the trivial map, and the automorphisms described above.

## Elements

`Further information: element structure of alternating group:A5`

### Upto conjugacy

`Further information: Splitting criterion for conjugacy classes in the alternating group`

There are the following conjugacy classes. These correspond to the ways of partitioning as sums of numbers where the number of even numbers is even; the partitions where all the parts are odd and distinct give rise to two conjugacy classes:

- , five fixed points: The identity element. (1)
- , two transpositions and one fixed point: The conjugacy class of double transpositions, such as . (15)
- , one 3-cycle and two fixed points: The conjugacy class of 3-cycles. (20)
- : The conjugacy class of 5-cycles conjugate to . (12)
- : The conjugacy class of 5-cycles conjugate to . (12)

### Upto automorphism

Under outer automorphisms, the fourth and fifth conjugacy classes get merged. Thus, the classes under automorphism are of size .

## Subgroups

`Further information: Subgroup structure of alternating group:A5`

Here is a complete list of subgroups of .

- The trivial subgroup. (1)
- The two-element subgroup generated by a double transposition, such as . Isomorphic to Cyclic group:Z2.(15)
- The four-element subgroup comprising all double transpositions on four of the five elements, such as . Isomorphic to Klein four-group.(5)
- The three-element subgroup generated by a 3-cycle, such as . Isomorphic to cyclic group:Z3.(10)
- A six-element subgroup that is isomorphic to the symmetric group on three letters. This moves three elements as the symmetric group on those three elements does, while it transposes the other two elements iff it is odd. For instance, . (10)
- A twelve-element subgroup that is the alternating group on four of the five letters. (5)
- A five-element subgroup generated by a 5-cycle. Isomorphic to cyclic group:Z5. (6)
- A ten-element subgroup generated by a 5-cycle and a double transposition that conjugates it to its inverse. Isomorphic to dihedral group:D10. (6)
- The whole group. (1)

## Bigger groups

### Groups having it as a subgroup

The alternating group is a subgroup of index two inside the symmetric group on five elements. It is also of index two in the full icosahedral symmetry group, which turns out *not* to be , but instead the direct product of and the cyclic group of order two.

### Groups having it as a quotient

The alternating group is a quotient of by its center. Hence, it is the inner automorphism group of . is also the universal central extension of the alternating group.

## GAP implementation

### Group ID

This finite group has order 60 and has ID 5 among the groups of order 60 in GAP's SmallGroup library. For context, there are 13 groups of order 60. It can thus be defined using GAP's SmallGroup function as:

`SmallGroup(60,5)`

For instance, we can use the following assignment in GAP to create the group and name it :

`gap> G := SmallGroup(60,5);`

Conversely, to check whether a given group is in fact the group we want, we can use GAP's IdGroup function:

`IdGroup(G) = [60,5]`

or just do:

`IdGroup(G)`

to have GAP output the group ID, that we can then compare to what we want.

### Other descriptions

The group can be defined using the AlternatingGroup function as:

`AlternatingGroup(5)`