This checkpoint pulls together the whole module: the algebra, the spectrum, the ladder operators, and
their matrix elements. Work through the reasoning before running your answer.
What you have built
Over the last eleven lessons you constructed the complete quantum theory of angular momentum from a
single seed — the commutator [L^i,L^j]=iℏεijkL^k:
Operators.L^x,L^y,L^z are Hermitian observables; L^2 is the
Casimir that commutes with all of them.
Spectrum. Joint eigenstates ∣ℓ,m⟩ satisfy
L^2∣ℓ,m⟩=ℏ2ℓ(ℓ+1)∣ℓ,m⟩ and
L^z∣ℓ,m⟩=ℏm∣ℓ,m⟩, with m=−ℓ,…,+ℓ.
Ladders.L^±=L^x±iL^y step m by ±1 with the coefficient
ℏℓ(ℓ+1)−m(m±1), terminating at the edges of the multiplet.
The challenge problem
Take a spin-23 system, ℓ=23, whose four states are labeled
m∈{−23,−21,+21,+23}. Apply the lowering operator to the state
m=+21: