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
Werner Heisenberg main new idea, non-commuting matrices, is justified only by a rejection of unobservable quantities. It introduces the non-commutative multiplication of matrices by physical reasoning, based on the correspondence principle, despite the fact that Heisenberg was not then familiar with the mathematical theory of matrices. The path leading to these results has been reconstructed in MacKinnon, 1977, and the detailed calculations are worked out in Aitchison et al. In Copenhagen, Heisenberg and Hans Kramers collaborated on a paper on dispersion, or the scattering from atoms of radiation whose wavelength is larger than the atoms. They showed that the successful formula Kramers