Past exam of the theoretical physics II course of the University of Cambridge / 2019 / 4 / e / i

The normalized singlet state has column vector $(0,1,-1,0{)}^{\mathsf{T}}/\sqrt{2}$ in the specified product basis. Its outer product isIt obeys ${\rho }_D^2={\rho }_D$ and has eigenvalues $(1,0,0,0)$, hence purity of a density operator one. The joint two-atom system is therefore a pure state, even though the quantum entanglement prevents assigning a separate pure spin state to each atom.