Quantum Mechanics in Three Dimensions — David J. Griffiths
Physics — Quantum Mechanics · spin_commutator
Problem
Determine the commutator of S2 with Sz(1) (where S≡S(1)+S(2)). Generalize your result to show that
[S2,S(1)]=2iℏ(S(1)×S(2)). (4.185)
Comment: Because Sz(1) does not commute with S2, we cannot hope to find states that are simultaneous eigenvectors of both. In order to form eigenstates of S2 we need linear combinations of eigenstates of Sz(1). This is precisely what the Clebsch–Gordan coefficients (in Equation 4.183) do for us. On the other hand, it follows by obvious inference from Equation 4.185 that the sum S(1)+S(2) does commute with S2, which only confirms what we already knew (see Equation 4.103).