Solution

ID: past-exam-of-the-theoretical-physics-ii-course-of-the-university-of-cambridge/2016/paper-1/2/c/solution

A matrix belongs to the special orthogonal group in four dimensions precisely when
Differentiating the orthogonality relation along a path gives . Thus its Lie algebra consists of real antisymmetric four-by-four matrices. Such a matrix has one free entry for each unordered coordinate pair, giving dimension .
Each displayed generator has a single two-coordinate antisymmetric block. The matrices cover planes ; the matrices cover , with their printed orientations. These are all six distinct planes. Therefore the generators are linearly independent and span the full antisymmetric space: they form a basis of .
Conversely, exponentiating any real antisymmetric gives and . This verifies that the infinitesimal matrices generate proper rotations rather than reflections.

New to topics? Read the docs here!