  Integrals of motion of a Hamiltonian system need not be commutative. The
classical Mishchenko-Fomenko theorem enables one to quantize a noncommutative
completely integrable Hamiltonian system around its invariant submanifold as an
abelian completely integrable Hamiltonian system.
