Heisenberg group by 90°. The other reflections are "xyx" and "yxy", and rotation by 180° is "xyxy" (="yxyx"). The Lie algebra formula_16 of the Heisenberg group formula_1 (over the real numbers) is the space of formula_18 matrices of the form with formula_20. The following three elements form a basis for formula_16: The basis elements satisfy the commutation relations: The name "Heisenberg group" is motivated by the preceding relations, which have the same form as the canonical commutation relations in quantum mechanics: where formula_25 is the position operator, formula_26 is the momentum operator, and formula_27 is Planck's constant. The Heisenberg group formula_1 has
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