# Difference between revisions of "Groups of order 20"

From Groupprops

(→Statistics at a glance) |
|||

(One intermediate revision by the same user not shown) | |||

Line 1: | Line 1: | ||

+ | {{groups of order|20}} | ||

+ | |||

+ | ==Statistics at a glance== | ||

+ | |||

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

+ | |||

+ | <math>\! 20 = 2^2 \cdot 5^1 = 4 \cdot 5</math> | ||

+ | |||

+ | {{only two prime factors hence solvable}} | ||

+ | |||

+ | {| class="sortable" border="1" | ||

+ | ! Quantity !! Value !! Explanation | ||

+ | |- | ||

+ | | Total number of groups up to isomorphism || [[count::5]] || See [[classification of groups of order four times a prime congruent to 1 modulo four]]. | ||

+ | |- | ||

+ | | Number of abelian groups up to isomorphism || [[abelian count::2]] || (number of abelian groups of order <math>2^2</math>) <math>\times</math> (number of abelian groups of order <math>5^1</math>) = ([[number of unordered integer partitions]] of 2) <math>\times</math> ([[number of unordered integer partitions]] of 1) = <math>2 \times 1 = 2</math>.<br>{{abelian count explanation}} | ||

+ | |- | ||

+ | | Number of nilpotent groups up to isomorphism || [[nilpotent count::2]] || (number of [[groups of order 4]]) <math>\times</math> (number of [[groups of order 5]]) = <math>2 \times 1 = 2</math>.<br>{{nilpotent count explanation}}<br>See also [[nilpotent of cube-free order implies abelian]]. | ||

+ | |- | ||

+ | | Number of solvable groups up to isomorphism || [[solvable count::5]] || {{only two prime factors hence solvable}} | ||

+ | |- | ||

+ | | Number of simple groups up to isomorphism || 0 || | ||

+ | |} | ||

+ | |||

==The list== | ==The list== | ||

## Latest revision as of 06:49, 22 August 2011

## Contents |

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:

There are only two prime factors of this number. Order has only two prime factors implies solvable (by Burnside's -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 ) (number of abelian groups of order ) = (number of unordered integer partitions of 2) (number of unordered integer partitions of 1) = . 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) (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. 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 -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 |