Lie algebras and Lie groups over noncommutative rings (Q936533)

Let \(\mathfrak g\) be a Lie algebra contained in an associative algebra \(A\) and \(\mathcal F\) an associative algebra. The authors study the Lie algebra \((\mathfrak g, A)(\mathcal F)\) generated by \(\mathfrak g\otimes\mathcal F\) inside the associative algebra \(A\otimes \mathcal F\). Further they consider the group \(G_{\mathfrak g,A}(\mathcal F)\) of all invertible elements of \(A\otimes \mathcal F\) normalizing \((\mathfrak g, A)(\mathcal F)\). For both objects they prove a number of structural results. We give one example: A pair \((\mathfrak g,A)\) is called perfect, if \[ [\mathfrak g, \mathfrak g^k]\mathfrak g+ (\mathfrak g^k\cap \mathfrak g^{k+1})=\mathfrak g^{k+1} \] for all \(k\geq 2\). Given \(\mathcal F\), the authors consider the filtration \(I_0\supset I_1\supset I_2\supset\ldots\) of ideals of \(\mathcal F\) defined inductively by \(I_0=\mathcal F\), \(I_{n+1}=\mathcal F [\mathcal F,I_n]+ [\mathcal F, I_n]\), and show that for perfect pairs one has \[ (\mathfrak g, A)(\mathcal F)=\mathfrak g\otimes\mathcal F+\sum_{n\geq 1} I_n\otimes[\mathfrak g,\mathfrak g^{n+1}] + [\mathfrak F, I_{n-1}]\otimes \mathfrak g^{n+1}. \]