Groups of order 20

From Groupprops
Jump to: navigation, search
This article gives information about, and links to more details on, groups of order 20
See pages on algebraic structures of order 20| See pages on groups of a particular order

Statistics at a glance

The number 20 has prime factors 2 and 5. The prime factorization is as follows:

\! 20 = 2^2 \cdot 5^1 = 4 \cdot 5

There are only two prime factors of this number. Order has only two prime factors implies solvable (by Burnside's p^aq^b-theorem) and hence all groups of this order are solvable groups (specifically, finite solvable groups). Another way of putting this is that the order is a solvability-forcing number. In particular, there is no simple non-abelian group of this order.

Quantity Value Explanation
Total number of groups up to isomorphism 5 See classification of groups of order four times a prime congruent to 1 modulo four.
Number of abelian groups up to isomorphism 2 (number of abelian groups of order 2^2) \times (number of abelian groups of order 5^1) = (number of unordered integer partitions of 2) \times (number of unordered integer partitions of 1) = 2 \times 1 = 2.
See classification of finite abelian groups and structure theorem for finitely generated abelian groups.
Number of nilpotent groups up to isomorphism 2 (number of groups of order 4) \times (number of groups of order 5) = 2 \times 1 = 2.
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.
See also nilpotent of cube-free order implies abelian.
Number of solvable groups up to isomorphism 5 There are only two prime factors of this number. Order has only two prime factors implies solvable (by Burnside's p^aq^b-theorem) and hence all groups of this order are solvable groups (specifically, finite solvable groups). Another way of putting this is that the order is a solvability-forcing number. In particular, there is no simple non-abelian group of this order.
Number of simple groups up to isomorphism 0

The list

Group Second part of GAP ID (GAP ID is (20,second part))
dicyclic group:Dic20 1
cyclic group:Z20 2
general affine group:GA(1,5) 3
dihedral group:D20 4
direct product of Z10 and Z2 5