Derivations and automorphisms on non-commutative power series. (Q659911): Difference between revisions

Consider the algebra \(\Bbbk\langle\langle a,b\rangle\rangle\) of non-commutative power series and its derivations \(D_n\), \(n\geq 1\), defined as follows: \(D_n(a)=\lambda a\), \(D_n(b)=\alpha a^{n+1}+\beta a^n b+\gamma ba^n+\delta ba^{n-1}b\), where \(\lambda,\alpha,\beta,\gamma,\delta\in\Bbbk\) are fixed. The main aim of the paper under review is to explicitly compute the exponentials of the derivations \(\sum_nc_nD_n\), where \(c_n\in\Bbbk\). Further, the paper studies the structure of the Lie algebra generated by these derivations. The Lie bracket for these derivations reminds of the classical Witt algebra. The paper describes the structure of the automorphism group generated by the exponentials of these derivations. It turns out that many elements defined in the paper satisfy the cocycle condition for a non-Abelian group cohomology.