LIST OF SMALL GROUPS

The following list in mathematics contains the finite groups of small order up to group isomorphism.
The list can be used to determine which known group a given finite group ''G'' is isomorphic to: first determine the order of ''G'', then look up the candidates for that order in the list below. If you know whether ''G'' is abelian or not, some candidates can be eliminated right away. To distinguish between the remaining candidates, look at the orders of your group's elements, and match it with the orders of the candidate group's elements.

Contents

Glossary

List of small abelian groups

List of small non-abelian groups

Small groups library

See also

External links

References

Glossary

★ Z_''n'': the cyclic group of order ''n'' (often the notation ''C''_''n'' is used, or Z / ''n'' Z).

★ Dih_''n'': the dihedral group of order 2''n'' (often the notation ''D''_''n'' or ''D''_2''n'' is used )

★ ''S''_''n'': the symmetric group of degree ''n'', containing the ''n''! permutations of ''n'' elements.

★ ''A''_''n'': the alternating group of degree ''n'', containing the ''n''!/2 even permutations of ''n'' elements.

★ Dic_''n'': the dicyclic group of order 4''n''.
The notations Z_''n'' and Dih_''n'' have the advantage that point groups in three dimensions ''C''_''n'' and ''D''_''n'' do not have the same notation. There are more isometry groups than these two, of the same abstract group type.
The notation ''G'' × ''H'' stands for the direct product of the two groups; ''G''^''n'' denotes the direct product of a group with itself ''n'' times. ''G'' ⋊ ''H'' stands for a semidirect product where ''H'' acts on ''G''; where the particular action of ''H'' on ''G'' is omitted, it is because all possible non-trivial actions result in the same product group, up to isomorphism.
Abelian and simple groups are noted. (For groups of order ''n'' < 60, the simple groups are precisely the cyclic groups Z_''n'', where ''n'' is prime.) We use the equality sign ("=") to denote isomorphism.
The identity element in the cycle graphs is represented by the black circle. The lowest order for which the cycle graph does not uniquely represent a group is order 16.
In the lists of subgroups the trivial group and the group itself are not listed. Where there are multiple isomorphic subgroups, their number is indicated in parentheses.

List of small abelian groups

The finite abelian groups are easily classified: they are cyclic groups, or direct products thereof; see abelian groups.

Order	Group	Subgroups	Properties	Cycle graph
1	'trivial group' = Z1 = ''S''1 = ''A''2	-	various properties hold trivially
2	Z2 = ''S''2 = Dih1	-	simple, the smallest non-trivial group
3	Z3 = ''A''3	-	simple
4	Z4	Z2
	Klein four-group = Z2 2 = Dih2	Z2 (3)	the smallest non-cyclic group
5	Z5	-	simple
6	Z6 = Z3 × Z2	Z3 , Z2
7	Z7	-	simple
8	Z8	Z4 , Z2
	Z4 ×Z2	Z22, Z4 (2), Z2 (3)
	Z23	Z22 (7) , Z2 (7)	the non-identity elements correspond to the points in the Fano plane, the Z2 × Z2 subgroups to the lines
9	Z9	Z3
	Z32	Z3 (4)
10	Z10 = Z5 × Z2	Z5 , Z2
11	Z11	-	simple
12	Z12 = Z4 × Z3	Z6 , Z4 , Z3 , Z2
	Z6 × Z2 = Z3 × Z22	Z6 (2), Z3, Z2 (3)
13	Z13	-	simple
14	Z14 = Z7 × Z2	Z7 , Z2
15	Z15 = Z5 × Z3	Z5 , Z3
16	Z16	Z8 , Z4 , Z2
	Z24	Z2 (15) , Z22 (35) , Z23 (15)
	Z4 × Z22	Z2 (7) , Z4 (4) , Z22 (7) , Z23, Z4 × Z2 (6)
	Z8 × Z2	Z2 (3) , Z4 (2) , Z22, Z8 (2) , Z4 × Z2
	Z42	Z2 (3), Z4 (6) , Z22, Z4 × Z2 (3)

List of small non-abelian groups

Order	Group	Subgroups	Properties	Cycle Graph
6	''S''3 = Dih3	Z3 , Z2 (3)	the smallest non-abelian group
8	Dih4	Z4, Z22 (3) , Z2 (5)
	Quaternion group, ''Q''8 = Dic2	Z4 (3), Z2	the smallest Hamiltonian group
10	Dih5	Z5 , Z2 (5)
12	Dih6 = Dih3 × Z2	Z6 , Dih3 (2) , Z22 (3) , Z3 , Z2 (7)
	''A''4	Z22 , Z3 (4) , Z2 (3)	smallest group demonstrating that a group need not have a subgroup of every order that divides the group's order: no subgroup of order 6 (See Lagrange's theorem.)
	Dic3 = Z3 ⋊ Z4	Z2, Z3, Z4 (3), Z6
14	Dih7	Z7, Z2 (7)
16[1]	Dih8	Z8, Dih4 (2), Z22 (4), Z4, Z2 (9)
	Dih4 × Z2	Dih4 (2), Z4 × Z2, Z23 (2), Z22 (7), Z4 (2), Z2 (11)
	Generalized quaternion group, ''Q''16 = Dic4
	''Q''8 × Z2		Hamiltonian
	The order 16 quasidihedral group
	The order 16 modular group
	Z4 ⋊ Z4
	The group generated by the Pauli matrices
	''G''4,4 = Z22 ⋊ Z4

Small groups library

The group theoretical computer algebra system GAP contains the "Small Groups library" which provides access to descriptions of the groups of "small" order. The groups are listed up to isomorphism. At present, the library contains the following groups:

★ those of order at most 2000 except for order 1024 (423 164 062 groups);

★ those of order 5⁵ and 7⁴ (92 groups);

★ those of order ''q''^''n''×''p'' where ''q''^''n'' divides 2⁸, 3⁶, 5⁵ or 7⁴ and ''p'' is an arbitrary prime which differs from ''q'';

★ those whose order factorises into at most 3 primes.
It contains explicit descriptions of the available groups in computer readable format.
The library has been constructed and prepared by Hans Ulrich Besche, Bettina Eick and Eamonn O'Brien; see http://www.tu-bs.de/~hubesche/small.html .

See also

★ Small Latin squares and quasigroups

External links

★ Small groups

References

1. Wild, Marcel. "The Groups of Order Sixteen Made Easy", American Mathematical Monthly, Jan 2005