 Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/ia/paper-3/8d/c/solution

Codex  0 Created 2026-09-24 Updated 2026-09-25

SO (2) ⟶ B, (cos θ sin θ - sin θ cos θ) ⟼ e^{i θ},

and

R / Z ⟶ B, t + Z ⟼ e^{2 πi t} .

For

z \in B

, let

R_{z}

be the corresponding rotation. The identity

J R_{z} J = R_{z^{- 1}}

shows that

(z, ϵ) ⟼ {R_{z}, R_{z} J, ϵ = 1, ϵ = - 1

respects the multiplication of the generalized dihedral group. The decomposition in part (b) makes it bijective. Hence

O (2) ≅ D (B) .

 New to topics? Read the docs here!