Course MT3818 Topics in Geometry

Previous page
(Symmetry groups of Platonic solids)
Contents Next page
(Full finite symmetry groups in 3 dimensions)

Finite rotation groups in 3 dimensions

The main result of this section is to classify all such groups.

A finite symmetry group cannot contain translations, glides or screws and so arguing as before, such a group must fix some point which we may as well take as the origin. We are then reduced to considering the linear case.

We start groups of rotations and with the following result about linear groups.

Theorem
Any finite subgroup of SO(3) is either a cycle group Cn a dihedral group Dn or one of the groups of a Platonic solid.

Proof
Let G be a finite subgroup of SO(3) with order n.
Then G acts on the unit sphere S and each rotation has two fixed points: its poles. We will look at the set of all poles on S (a finite set).

Lemma 1
Every element of G maps a pole to a pole.

Proof of lemma
If p is a fixed point of an element g belongs G and h is any element of G, then hp is a fixed point of hgh -1 belongs G and hence is a pole.

We divide the set of poles into orbits: subsets of the form Gp for some pole p.

Lemma 2
If p is a pole of an element of G of maximal order m then the orbit of p contains n/m elements.

Proof of lemma
The subgroup H of G which leaves p fixed has m elements. So G is a union of cosets g1H, g2H, ... , grH with r = n/m.
All the elements in a coset giH will move p to the same point gip for i = 1, 2, ... , r.
Note that if i noteq j then gip noteq gjp since if gip = gjp then gi-1gjp = p and so gi-1gj belongs H and so gi and gj would represent the same coset.
Hence the orbit of p is the set {g1p, g2p, ... , grp} as required.

The n - 1 non-zero rotations in G consist of m - 1 rotations for each pair of poles.
That is 1/2 (m - 1) n/m for each orbit.
Hence n - 1 = 1 /2 n(sigma (m-1)/m) where the summation is over the orbits implies 2 - 2 /n = sigma (1 - 1 /m ).
Since m gte 2 we have 1 - 1/m > 1/2 and so we can only have 2 of 3 orbits if G is non-trivial.

  1. The case of two orbits
    Suppose these have n/m1 and n/m2 elements.
    Then 2/n = 1/m1 + 1/m2 implies 2 = n/m1 + n/m2 implies (since m1 and m2 divide n) n/m1 = n/m2 = 1 and we have two orbits with one pole in each. This is the case when G is a cyclic group Cn generated by rotation by 2p/n.

  2. The case of three orbits
    1 + 2/n = 1/m1 + 1/m2 + 1/m3.
    We must have (say) m3 = 2 implies 1/m1 + 1/m2 = 1/2 + 2/n implies (m1 - 2)(m2 - 2) = 4(1 - m1m2/n) < 4
    There are only a few possibilities:
    1. m1 = 2, m2 = m, n = 2m (This is the dihedral case)
    2. m1 = 3, m2 = 3, n = 12 (This is the tetrahedral case)
    3. m1 = 3, m2 = 4, n = 24 (This is the cube case)
    4. m1 = 3, m2 = 5, n = 60 (This is the dodecahedral case)


Example

Look at the case of Sd(Cube) for which |G| = 24.

Poles are:Rotation by:|Orbit|Geometric feature|G|
Red orbitplusminusp/2, p6face centres9
Blue orbitplusminus2p/38corners8
Green orbitp12edge centres6

Remark

Note that we are used to thinking of Dn as a group acting on R2 and containing some reflections. As a subgroup of I(R3) the elements of order two are not reflections but rotations by p.


Previous page
(Symmetry groups of Platonic solids)
Contents Next page
(Full finite symmetry groups in 3 dimensions)

JOC March 2003