Quantization (physics) attempts to carry out quantization, for which there is in general no exact recipe, in such a way that certain analogies between the classical theory and the quantum theory remain manifest. For example, the similarity between the Heisenberg equation in the Heisenberg picture of quantum mechanics and the Hamilton equation in classical physics should be built in. One of the earliest attempts at a natural quantization was Weyl quantization, proposed by Hermann Weyl in 1927. Here, an attempt is made to associate a quantum-mechanical observable (a self-adjoint operator on a Hilbert space) with a real-valued function on classical phase space.
Heisenberg group operators on formula_103: for formula_109. So too do the multiplications by characters: for formula_111. These operators do not commute, and instead satisfy multiplication by a fixed unit modulus complex number. So the Heisenberg group formula_113 associated with "K" is a type of central extension of formula_114, via an exact sequence of groups: More general Heisenberg groups are described by 2-cocyles in the cohomology group formula_116. The existence of a duality between formula_117 and formula_101 gives rise to a canonical cocycle, but there are generally others. The Heisenberg group acts irreducibly on formula_103. Indeed, the continuous characters separate points so any