 Solution

For independent angular momenta ${\mathbf{J}}_1,{\mathbf{J}}_2$, set $\mathbf{J}={\mathbf{J}}_1+{\mathbf{J}}_2$. Since different subsystems commute, $\mathbf{J}$ satisfies the same angular-momentum algebra. The product basis $|j_1{m}_1⟩|j_2{m}_2⟩$ diagonalizes $J_1^2,J_2^2,J_{1z},J_{2z}$; the coupled basis diagonalizes $J_1^2,J_2^2,J^2,J_z$. Its labels obeyThe Clebsch-Gordan coefficients are the unitary change of basis between them. Start from the maximum-weight state $j=j_1+j_2,m=j$, apply $J_{-}=J_{1-}+J_{2-}$ with wavefunction normalization, and construct the remaining multiplets by orthogonality.

For two spin-one-half systems, the symmetric triplet state is $|\uparrow \uparrow ⟩$, $(|\uparrow \downarrow ⟩+|\downarrow \uparrow ⟩)/\sqrt{2}$, $|\downarrow \downarrow ⟩$, with $j=1$; the antisymmetric singlet state $(|\uparrow \downarrow ⟩-|\downarrow \uparrow ⟩)/\sqrt{2}$ has $j=0$. The dimension identity ${\sum }_j(2j+1)=(2j_1+1)(2j_2+1)$ checks completeness. Coupling orbital and intrinsic spin similarly gives total atomic angular momentum and organizes spin-orbit energy splittings. Exchange symmetry is an additional restriction when the constituents are identical.