Heisenberg group of the Heisenberg group is fairly simple – later generalized by Mackey theory – and was the motivation for its introduction in quantum physics, as discussed below. For each nonzero real number formula_27, we can define an irreducible unitary representation formula_48 of formula_31 acting on the Hilbert space formula_50 by the formula: This representation is known as the Schrödinger representation. The motivation for the this representation is the action of the exponentiated position and momentum operators in quantum mechanics. The parameter formula_52 describes translations in position space, the parameter formula_53 describes translations in momentum space, and the parameter formula_54 gives
Heisenberg group given action of the central Lie algebra element "z", up to a unitary equivalence: the nontrivial elements of the algebra are all equivalent to the usual position and momentum operators. Thus, the Schrödinger picture and Heisenberg picture are equivalent – they are just different ways of realizing this essentially unique representation. The same uniqueness result was used by David Mumford for discrete Heisenberg groups, in his theory of equations defining abelian varieties. This is a large generalization of the approach used in Jacobi's elliptic functions, which is the case of the modulo 2 Heisenberg group, of order 8. The simplest