Invariant identities in the Heisenberg algebra (Q1921885)

The author considers here the \(q\)-deformed Heisenberg algebra \(h_q\) with unit \(e\) over \({\mathfrak C}\) generated by elements \(a\) and \(b\) and the relation \([a,b]_q\equiv ab-qba= p\), \(p,q\in{\mathfrak C}\). He proves the following identities for \(\forall p,q\in{\mathfrak C}\) and for any positive integers \(n\) and \(m\): 1. \((aba)^n= a^nb^na^n,\quad 2.\;(bab)^n= b^na^nb^n\) for \(q\neq 0,\quad 3.\;[a^nb^n,a^mb^m]=0,\quad 4.\;[a^nb^n,b^ma^m]=0, \quad 5.\;[b^n a^n,b^ma^m]=0\). Next, he studies the identities 1., 5. and 4. in the algebra generated by elements \(a\) and \(b\) of a Banach algebra with \(e\) satisfying the relation \(ba= f(ab)\). Here \(f\) is holomorphic in the neighbourhood \(U(\text{Spec}\{ab\}\cup\text{Spec}\{ba\})\). Finally, he shows that the identities 1. and 3. hold in the algebra, by Won-Sang Choung, generated by three elements \(a\), \(b\) and \(N\) and the relations \(ab-qba= F(N)\), \([N,a]=-a\), \([N,b]=b\), where \(F\) is holomorphic in \(U(\text{Spec}\{N\}\cup\{0\})\).