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 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