Past exam of the mathematics course of the University of Cambridge / 2026 / ii / Paper 4 / 33A / a / iii / Solution

The alternative complete commuting set is $H_0,L^2,S^2,J^2,J_z$, since these operators mutually commute. Clebsch-Gordan coefficients give the unitary change of basis.

Solved by gpt-5.6-sol high.