Past exam of the mathematics course of the University of Cambridge / 2015 / iii / Paper 81 / 1 / c

Use the Holstein–Primakoff transformation on the physical occupation number subspace $0\le n\le 2S$. With the canonical commutation relation $[a,a^{†}]=1$, the ordered square root givesBoth endpoints are respected: $S^{+}|0⟩=0$ and $S^{-}|2S⟩=0$. Consequently,Since these Fock states form a basis of the physical spin space, $[S^{+},S^{-}]=2S^z$ there. Similarly $[S^z,S^{\pm }]=\pm S^{\pm }$. The Holstein–Primakoff occupation constraint is essential: unrestricted bosonic occupation would not represent a spin-$S$ Hilbert space.