Also, from a quantum mechanical point of view, the so-called local or gauge symmetries are not in fact symmetries of anything. Symmetry in quantum mechanics are operators which act on the Hilbert space of states, and which commute with the Hamiltonian; thus they are good quantum numbers to label states with. Local or gauge symmetry (which can be treated as a real symmetry in classical mechanics (...) are not operators at all; they are over-labelling of the *same* physical state, which is why when "quantising" things like electromagnetism it is often necessary to fix a gauge, which then reveal the correct number of degrees of freedom.