Maths WorkshopMaths problems with full solutions
Exercise 2018Topology › Topology of Mn(ℝ) › Exponential, logarithm and group topologyM1Added 6 Nov 2026

The fundamental group of SO(3)

#fundamental group#covering space#SO(3)#deck transformations

Statement

Show that π1(SO(3))≅Z/2Z\pi_1(SO(3))\cong\mathbb{Z}/2\mathbb{Z}.

Hint

The map Φ:S3→SO(3)\Phi:S^3\to SO(3) of the previous problem is a 22-fold covering, and S3S^3 is simply connected.

Show solutionHide solution

Solution

Idea. A connected, simply connected cover of XX with deck group GG has π1(X)≅G\pi_1(X)\cong G.

Φ\Phi is a covering map. Φ\Phi identifies SO(3)SO(3) with the quotient S3/{±1}S^3/\{\pm1\}, where {±1}\{\pm1\} acts by q↦−qq\mapsto-q. This action is free (no fixed points: −q≠q-q\ne q) and properly discontinuous, so the quotient map S3→S3/{±1}S^3\to S^3/\{\pm1\} is a covering map of degree 22. Via the homeomorphism Φˉ\bar\Phi of the previous problem, Φ:S3→SO(3)\Phi:S^3\to SO(3) is a 22-sheeted covering.

S3S^3 is simply connected. The sphere SmS^m is simply connected for m≥2m\ge2 (e.g. by the Seifert-van Kampen theorem, covering S3S^3 by two open sets homeomorphic to R3\mathbb{R}^3 with connected intersection ≃S2\simeq S^2). So Φ\Phi is the universal cover of SO(3)SO(3).

Deck group. The deck transformations of the covering S3→S3/{±1}S^3\to S^3/\{\pm1\} are id\mathrm{id} and q↦−qq\mapsto-q, a group of order 22. For the universal cover of a path-connected, locally path-connected space XX, the deck group is isomorphic to π1(X)\pi_1(X). Hence
π1(SO(3))≅{±1}≅Z/2Z.\pi_1(SO(3))\cong\{\pm1\}\cong\mathbb{Z}/2\mathbb{Z}.

Alternative viewpoint (lifting). Take a loop γ\gamma in SO(3)SO(3) based at II and lift it to γ~\tilde\gamma in S3S^3 starting at 11. The endpoint is 11 or −1-1; the class of γ\gamma is determined by this endpoint. Loops with endpoint −1-1 are the non-trivial class.

Remark. Consequence: the group SU(2)≅S3SU(2)\cong S^3, the *spin group* Spin(3)\mathrm{Spin}(3), is the universal cover of SO(3)SO(3). This is why electrons (spinors) change sign under a 2π2\pi rotation but not under a 4π4\pi rotation (next problem).