Classification of finite subgroups of SO(3,R)

From Groupprops
Jump to: navigation, search

Statement

Basic statement

This article explains the complete classification of finite subgroups of the Special orthogonal group (?) of order three over the field of real numbers. In other words, it completely classifies, upto conjugacy in the orthogonal group, all the finite subgroups of .

A concise statement of the classification is as a correspondence:

Conjugacy classes of finite subgroups of Spherical von Dyck groups Triples of natural numbers with .

Here is the complete classification:

  • For any natural number , the cyclic group of order acts as rotations in a plane, fixing the axis perpendicular to that plane. This is not typically viewed as a von Dyck group, but can be viewed as the extreme case with parameters , and corresponds to a triangle with only two sides.
  • For any natural number , the Dihedral group (?) of order , acting as the dihedral group on a plane (say, the equatorial plane). The rotations in this group fix the perpendicular axis, while the reflections in this group also flip the perpendicular axis, and are effectively achieved through rotations, hence are still elements of the special orthogonal group. This is the von Dyck group with parameters , and corresponds to a triangle with two right angles, e.g., a triangle with one point on the pole and two equatorial points that are vertices of the regular polygon. (A particular case of note is the Klein four-group, which is the dihedral group on a regular 2-gon.
  • There are three other groups: the alternating group of degree four is realized as the group of symmetries of the tetrahedron, the symmetric group of degree four is realized as the group of symmetries of the cube and also of the octahedron, and the alternating group of degree five is realized as the group of symmetries of the icosahedron and also of the dodecahedron. These are realized as von Dyck groups with parameters (for the alternating group of degree four), (for the symmetric group of degree four), and (for the alternating group of degree five).

Fallout implications

These implications follow from an examination of the classification:

  • In , every finite subgroup is an isomorph-conjugate subgroup. In other words, any two isomorphic finite subgroups are conjugate. In particular, any two finite subgroups of that are conjugate in any bigger group containing it are conjugate in . The analogous statement is not true for infinite subgroups, or for elements.
  • If are both finite subgroups of , then is an automorph-conjugate subgroup inside .

Also, since special orthogonal group is finite-dominating in special affine orthogonal group over characteristic zero, the above classifies, up to conjugacy, all finite subgroups of the Euclidean group in three dimensions.

Tabular form

Group Order von Dyck type (Orbit,Stabilizer)-1 (Orbit, Stabilizer)-2 (Orbit,Stabilizer)-3 Symmetry figure Symbol
Cyclic of order -- Oriented regular polygon
Dihedral of order Regular polygon
Alternating group:A4 Regular tetrahedron , , or
Symmetric group:S4 Cube or regular octahedron or
Alternating group:A5 Regular dodecahedron or regular icosahedron or

Containment relations

Any subgroup of a finite subgroup of is again a finite subgroup of . The containment relations are as follows:

  • Subgroups of the cyclic group of order are cyclic groups of order for every .
  • Subgroups of the dihedral group of order are: all cyclic groups of orders dividing , and all dihedral groups of orders dividing .
  • Subgroups of the alternating group of degree four are: trivial group, cyclic groups of order two and three, a Klein four-group (this is a dihedral group of order four), and the whole group. Further information: Subgroup structure of alternating group:A4
  • Subgroups of the symmetric group of degree four are: cyclic groups of order , dihedral groups of orders , the alternating group of degree four, and the whole group. Further information: Subgroup structure of symmetric group:S4
  • Subgroups of the alternating group of degree five are: cyclic groups of order , dihedral groups of order , the alternating group of degree four, and the whole group. Further information: Subgroup structure of alternating group:A5

In particular, the only two conjugacy classes of finite subgroups of that are not contained in bigger finite subgroups are those of the symmetric group of degree four and the alternating group of degree five. Further, the only other conjugacy class of finite subgroups that is contained in only finitely many bigger finite subgroups is that of the alternating group of degree four.

Related facts

Facts used

  1. Euler's theorem: Every element of has an eigenvalue of . In particular, it has two antipodal fixed points in the induced action on the sphere . Moreover, if it is a non-identity element, it has no more fixed points, and it acts as a rotation on the perpendicular plane.
  2. Fundamental theorem of group actions
  3. Every finite subgroup of the circle group is cyclic

Proof

Action on the finite set of fixed points of non-identity elements

Suppose is a finite subgroup of . Let be the unit sphere in , i.e., the sphere of radius one centered at the origin. By fact (1), every non-identity element of has exactly two antipodal fixed points. Let be the set of points in that arise as fixed points of some non-identity element of .

We claim that the action of sends to itself. This follows from the fact that if is fixed by a non-identity element , then is fixed by the non-identity element .

Decomposing the group

Using Euler's theorem (fact (1)) every non-identity element of the group fixes exactly one pair of antipodal points. Thus, we get:

.

The is to correct for double-counting antipodal points. We now use fact (2) to rewrite:

,

where is the orbit of the point .

We get:

.

Rearranging to sum over orbits , we get:

.

Rearranging and dividing by :

,

where is any element of . Suppose are the sizes of the stabilizers for the distinct orbits. Then we get:

.

with the additional constraint that divides , and and are positive integers. Without loss of generality, we can arrange in descending order.

Solving the equation

We easily obtain that . Here are the solutions for various values of :

  1. : In this case, , and . This is the trivial group.
  2. : We have two orbits. The above equation forces . Call this number . Since the stabilizer has size equal to the whole group, so both points of are fixed by all group elements. Thus, we have a pair of antipodal fixed points. Thus, acts as orientation-preserving orthogonal transformations in the perpendicular plane to the fixed points. In particular, is a cyclic group acting by rotations.
  3. , , and : has six points, with three orbits of size two. Since every point and its antipode have the same orbit size, there is at least one orbit comprising a point and its antipode. A little work shows that the group is the Klein four-group, behaving as the dihedral group on a regular -gon.
  4. , with and : In this case, if , then . The orbit corresponding to has size two and the other two orbits have size . Since the size of the orbit of a point and its antipode are equal, the orbit of size two contains two antipodal points. Its stabilizer is a subgroup of order acting as orientation-preserving orthogonal transformations on the perpendicular plane. Thus, this is a cyclic subgroup of order . The element that flips the two antipodal points restricts to that plane as a reflection in some axis in that plane. It follows that the group is a dihedral group of order , with the usual action on that plane. (NOTE: This case can be absorbed into the next case, and is hence typically not stated separately).
  5. , with : In this case, , and there are elements in , with orbits of sizes . We can show that either of the orbits of size can be chosen as the vertices of a regular tetrahedron and the group is the full group of orientation-preserving symmetries of the tetrahedron.
  6. , with : In this case, , and there are elements in , with orbits of sizes . We can show that the orbit of size can be chosen as the vertices of a cube and the group is the full group of orientation-preserving symmetries of the cube. The orbits of size can be chosen as the vertices of a regular octahedron, and the group is the full group of orientation-preserving symmetries of the octahedron.
  7. , with : In this case, . and there are elements in , with orbits of size . We can show that the orbit of size can be chosen as the vertices of a regular dodecahedron, and the group is the full group of orientation-preserving symmetries of the dodecahedron. The orbits of size can be chosen as the vertices of a regular octahedron, and the group is the full group of orientation-preserving symmetries of the octahedron.

Note that there are no other solutions for , because we need .

Geometric interpretation of the proof in terms of von Dyck groups

The parameters appearing above are the same as the parameters for the von Dyck presentation. This follows geometrically, as follows.

Let be a representative for the first orbit, with stabilizer of size . Since the stabilizer of each point is of order , and since each stabilizer is a cyclic group (on account of being a subgroup of the orientation-preserving orthogonal transformations of the perpendicular plane), the stabilizer of is generated by a rotation about by the angle . Let be any point in the second orbit. Then, the image of under this rotation cannot lie either in the -orbit or in the -orbit, hence it lies in the third orbit. Call this image . It is now easy to see that the group is the von Dyck group for the spherical triangle with vertices , and we get the desired presentation.

(Note that the fact that the presentation works follows from the fact that the sphere is simply connected, so there are no additional relations that arise when we descend from the cover where the action is well-defined).