As an associative algebra, the Heisenberg--Weyl algebra $\HWeyl$ is generated by two elements $A$, $B$ subject to the relation $AB-BA=1$. As a Lie algebra, however, where the usual commutator serves as Lie bracket, the elements $A$ and $B$ are not able to generate the whole space $\HWeyl$. We identify a non-nilpotent but solvable Lie subalgebra $\coreLie$ of $\HWeyl$, for which, using some facts from the theory of bases for free Lie algebras, we give a presentation by generators and relations. Under this presentation, we show that, for some algebra isomorphism $\isoH:\HWeyl\into\HWeyl$, the Lie algebra $\HWeyl$ is generated by the generators of $\coreLie$, together with their images under $\isoH$, and that $\HWeyl$ is the sum of $\coreLie$, $\isoH(\coreLie)$ and $\lbrak \coreLie,\isoH(\coreLie)\rbrak$.
Heisenberg--Weyl algebra commutation relation free Lie algebra Lie polynomial combinatorics on words Lyndon--Shirshov word generator and relation
Primary Language | English |
---|---|
Subjects | Algebra and Number Theory, Group Theory and Generalisations, Category Theory, K Theory, Homological Algebra, Lie Groups, Harmonic and Fourier Analysis, Pure Mathematics (Other) |
Journal Section | Articles |
Authors | |
Early Pub Date | July 14, 2023 |
Publication Date | January 9, 2024 |
Published in Issue | Year 2024 |