Heisenberg picture formulation of matrix mechanics in an arbitrary basis, in which the Hamiltonian is not necessarily diagonal. It further serves to define a third, hybrid, picture, the interaction picture. In the Heisenberg picture of quantum mechanics the state vectors, |"ψ("t")"〉, do not change with time, while observables satisfy where is the Hamiltonian and <nowiki>[•,•]</nowiki> denotes the commutator of two operators (in this case and ). Taking expectation values automatically yields the Ehrenfest theorem, featured in the correspondence principle. By the Stone–von Neumann theorem, the Heisenberg picture and the Schrödinger picture are unitarily equivalent, just a basis change in Hilbert space. In
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