Heisenberg group 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" can be taken from any commutative ring with identity, often taken to be the ring of real numbers (resulting in the "continuous Heisenberg group") or the ring of integers (resulting in the "discrete Heisenberg group"). The continuous Heisenberg group arises in the description of one-dimensional quantum mechanical systems, especially in the context of the Stone–von Neumann theorem. More generally, one can consider Heisenberg groups associated to
Heisenberg group "n"-dimensional systems, and most generally, to any symplectic vector space. In the three-dimensional case, the product of two Heisenberg matrices is given by: Since the multiplication is not commutative, the group is non-abelian. The neutral element of the Heisenberg group is the identity matrix, and inverses are given by The group is a subgroup of the 2-dimensional affine group Aff(2): formula_2 acting on formula_6 corresponds to the affine transform formula_7. There are several prominent examples of the three-dimensional case. If , are real numbers (in the ring R) then one has the continuous Heisenberg group H(R). It is a nilpotent