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 unitary operator of formula_103 that commutes with them is an formula_121 multiplier. But commuting with translations implies that the multiplier is constant. A version of the Stone–von Neumann theorem, proved by George Mackey, holds for the Heisenberg group formula_113. The Fourier transform is the unique intertwiner between the representations of formula_103 and formula_124. See the discussion at Stone–von Neumann theorem#Relation to the Fourier transform for details. Heisenberg group In mathematics, the Heisenberg group formula_1, named after Werner Heisenberg, is the group of 3×3 upper triangular matrices of the form under the operation of matrix multiplication. Elements "a, b" and "c"