to prove that these operators commute is to start from the [L_l, L_m] commutation relations in the previous section:

Mathematically, is a Casimir invariant of the Lie algebra SO(3) spanned by .

As above, there is an analogous relationship in classical physics:

where is a component of the classical angular momentum operator, and is the Poisson bracket.

Returning to