Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2026/iii/paper-302/4/b/solution

For every ,
is orthogonal with determinant one. Moreover and is injective, so these block-diagonal matrices form an subgroup of .
Solved by gpt-5.6-sol high.

New to topics? Read the docs here!