Groups of order 120
This article gives information about, and links to more details on, groups of order 120
See pages on algebraic structures of order 120| See pages on groups of a particular order
This article gives basic information comparing and contrasting groups of order 120. See also more detailed information on specific subtopics through the links:
Information type | Page summarizing information for groups of order 120 |
---|---|
element structure (element orders, conjugacy classes, etc.) | element structure of groups of order 120 |
subgroup structure | subgroup structure of groups of order 120 |
linear representation theory | linear representation theory of groups of order 120 projective representation theory of groups of order 120 modular representation theory of groups of order 120 |
endomorphism structure, automorphism structure | endomorphism structure of groups of order 120 |
group cohomology | group cohomology of groups of order 120 |
Contents
Statistics at a glance
Factorization and useful forms
The number 120 has prime factors 2,3,and 5, and factorization:
.
Other expressions for this number are:
Group counts
Quantity | Value | Explanation |
---|---|---|
Total number of groups | 47 | |
Number of abelian groups (i.e., finite abelian groups) up to isomorphism | 3 | (number of abelian groups of order ) times (number of abelian groups of order ) times (number of abelian groups of order ) = . See classification of finite abelian groups and structure theorem for finitely generated abelian groups. |
Number of nilpotent groups (i.e., finite nilpotent groups) up to isomorphism | 5 | (number of groups of order 8) times (number of groups of order 3) times (number of groups of order 5) = . See number of nilpotent groups equals product of number of groups of order each maximal prime power divisor, which in turn follows from equivalence of definitions of finite nilpotent group. |
Number of solvable groups (i.e., finite solvable groups) up to isomorphism | 44 | See note on non-solvable groups |
Number of non-solvable groups up to isomorphism | 3 | The three non-solvable groups are special linear group:SL(2,5), direct product of A5 and Z2, and symmetric group:S5. Note that all of them have alternating group:A5 and cyclic group:Z2 as composition factors. For more, see the section #Classification of non-solvable groups. |
Number of possibilities for the multiset of composition factors (i.e., number of equivalence classes under composition factor-equivalence) | 2 | The equivalence class for finite solvable groups has cyclic group:Z2 (3 times), cyclic group:Z3 (1 time), cyclic group:Z5 (1 time) There is a unique equivalence class for non-solvable groups, with alternating group:A5 (order 60, 1 time) and cyclic group:Z2 (1 time) See order of group is product of orders of composition factors and classification of possible multisets of composition factors for groups of a given order. |
Number of simple groups up to isomorphism | 0 | |
Number of almost simple groups up to isomorphism | 1 | symmetric group:S5 (isomorphic to ) |
Number of quasisimple groups up to isomorphism | 1 | special linear group:SL(2,5) (also called the binary icosahedral group and also isomorphic to the double cover of alternating group ) |
Number of almost quasisimple groups up to isomorphism | 2 | symmetric group:S5 and special linear group:SL(2,5) |
Number of perfect groups up to isomorphism | 1 | special linear group:SL(2,5) |
Classification of non-solvable groups
The classification proceeds in steps, which are presented in sequence for clarity:
Step no. | What we are trying to find | What we conclude | Explanation |
---|---|---|---|
1 | All the possibilities for simple non-abelian group of order dividing 120 | the only simple non-abelian group is alternating group:A5, and it has order 60 | This follows from A5 is the simple non-abelian group of smallest order and the fact that there is no simple non-abelian group of order 120. |
2 | All the possibilities for the (unordered) collection of composition factors of a non-solvable group of order 120 | one occurrence of alternating group:A5 and one occurrence of cyclic group:Z2 | At least one of the composition factors must be simple non-abelian for the group to be non-solvable. So one slot goes to alternating group:A5. This takes up 60 of the 120, leaving , which must be taken up by cyclic group:Z2. |
3 | All the possibilities for the composition series of a group of order 120 | normal subgroup isomorphic to cyclic group:Z2, quotient group isomorphic to alternating group:A5; OR normal subgroup isomorphic to alternating group:A5, quotient group isomorphic to cyclic group:Z2 |
Direct from Step (2) |
4.1 | All the possibilities for a group of order 120 with a normal subgroup isomorphic to alternating group:A5 and quotient group isomorphic to cyclic group:Z2 | direct product of A5 and Z2 (trivial case), symmetric group:S5 (almost simple group case) | [SHOW MORE] |
4.2 | All the possibilities for a group of order 120 with a normal subgroup isomorphic to cyclic group:Z2 and quotient group isomorphic to alternating group:A5 | direct product of A5 and Z2, special linear group:SL(2,5) (quasisimple group case) | [SHOW MORE] |
5 | Overall conclusion | direct product of A5 and Z2 (occurring in both cases), symmetric group:S5, and special linear group:SL(2,5) | Combine Steps (3), (4.1), and (4.2) |
Relation with other orders
Divisors of the order
More in-depth information can be found under subgroup structure of groups of order 120.
Divisor | Quotient value | Number of groups of the order | Information on groups of the order | Relationship (subgroup perspective) | Relationship (quotient value) |
---|---|---|---|---|---|
2 | 60 | 1 | cyclic group:Z2 | ||
3 | 40 | 1 | cyclic group:Z3 | ||
4 | 30 | 2 | groups of order 4 | ||
5 | 24 | 1 | cyclic group:Z5 | ||
6 | 20 | 2 | groups of order 6 | ||
8 | 15 | 5 | groups of order 8 | ||
10 | 12 | 2 | groups of order 10 | ||
12 | 10 | 5 | groups of order 12 | ||
15 | 8 | 1 | cyclic group:Z15 | ||
20 | 6 | 5 | groups of order 20 | ||
24 | 5 | 15 | groups of order 24 | ||
30 | 4 | 4 | groups of order 30 | ||
40 | 3 | 14 | groups of order 40 | ||
60 | 2 | 13 | groups of order 60 |
Multiples of the order
Related in-depth information can be found under supergroups of groups of order 120.
Multiplier (other factor) | Multiple | Number of groups | Information on groups of the order | Relationship (subgroup perspective) | Relationship (quotient perspective) |
---|---|---|---|---|---|
2 | 240 | 208 | groups of order 240 | ||
3 | 360 | 162 | groups of order 360 | ||
4 | 480 | 1213 | groups of order 480 | ||
5 | 600 | 205 | groups of order 600 | ||
6 | 720 | 840 | groups of order 720 | ||
7 | 840 | 186 | groups of order 840 | ||
8 | 960 | 11394 | groups of order 960 | ||
9 | 1080 | 583 | groups of order 1080 | ||
10 | 1200 | 1040 | groups of order 1200 |
GAP implementation
The order 120 is part of GAP's SmallGroup library. Hence, any group of order 120 can be constructed using the SmallGroup function by specifying its group ID. Also, IdGroup is available, so the group ID of any group of this order can be queried.
Further, the collection of all groups of order 120 can be accessed as a list using GAP's AllSmallGroups function.
Here is GAP's summary information about how it stores groups of this order, accessed using GAP's SmallGroupsInformation function:
gap> SmallGroupsInformation(120); There are 47 groups of order 120. They are sorted by their Frattini factors. 1 has Frattini factor [ 30, 1 ]. 2 has Frattini factor [ 30, 2 ]. 3 has Frattini factor [ 30, 3 ]. 4 has Frattini factor [ 30, 4 ]. 5 has Frattini factor [ 60, 5 ]. 6 has Frattini factor [ 60, 6 ]. 7 has Frattini factor [ 60, 7 ]. 8 - 14 have Frattini factor [ 60, 8 ]. 15 has Frattini factor [ 60, 9 ]. 16 - 20 have Frattini factor [ 60, 10 ]. 21 - 25 have Frattini factor [ 60, 11 ]. 26 - 30 have Frattini factor [ 60, 12 ]. 31 - 33 have Frattini factor [ 60, 13 ]. 34 - 47 have trivial Frattini subgroup. For the selection functions the values of the following attributes are precomputed and stored: IsAbelian, IsNilpotentGroup, IsSupersolvableGroup, IsSolvableGroup, LGLength, FrattinifactorSize and FrattinifactorId. This size belongs to layer 2 of the SmallGroups library. IdSmallGroup is available for this size.