Here we will categorise how many and what type of groups there are of a given size (known as 'order' in the terminology. There is at least one group of a given size, that is the cyclic group, for instance if we are looking for a group of order 'n' then Cn is such a group. There may, or may not, be other groups of order n.
Order 1
Every group must contain the identity element so since the group only contains one element this must be the identity element.
Order 2
There is only one valid group of order 2, all other groups of order 2 are isomorpic to this.
Cayley Graph |
Table |
|
|
This is often called C2, the cyclic group of order two. Equivilantly it is also Z2, the group of integers modulo two.
Order 3
Cayley Graph |
Table |
|
|
e |
r |
r² |
e |
e |
r |
r² |
r |
r |
r² |
e |
r² |
r² |
e |
r |
|
There is also only one group of order 3 this is C3.
Order 4
Cayley Graph |
Table |
Table (isomorphism) |
|
|
e |
r |
r² |
r³ |
e
|
e |
r |
r² |
r³ |
r |
r |
r² |
r³ |
e |
r² |
r² |
r³ |
e |
r |
r³ |
r³ |
e |
r |
r² |
|
|
e |
r² |
r |
r³ |
e
|
e |
r² |
r |
r³ |
r² |
r² |
e |
r³ |
r |
r |
r |
r³ |
r² |
e |
r³ |
r³ |
r |
e |
r² |
|
|
|
e |
v |
h |
vh |
e
|
e |
v |
h |
vh |
v |
v |
e |
vh |
h |
h |
h |
vh |
e |
v |
vh |
vh |
h |
v |
e |
|
|
e |
r² |
r |
r³ |
e |
e |
r² |
r |
r³ |
r² |
r² |
e |
r³ |
r |
r |
r |
r³ |
e |
r² |
r³ |
r³ |
r |
r² |
e |
|
There are two possible groups of order 4:
- C4 = C2C2
- V4 = C2×C2
Order 5
Order 6