Theorem. Suppose A is a density operator on an n level quantum mechanical system whose distinct eigenvalues are μ 1,..., μ k with multiplicities n 1,..., n k. Then the group of unitary operators V such that V A V * = A is isomorphic (as a Lie group) to