No label defined (Q4545974)

The author proves the following generalization of Lazard's elimination process for the case of color Lie superalgebras (for definitions see [\textit{Yu. A. Bakhturin, A. A. Mikhalev, V. M. Petrogradskij} and \textit{M. V. Zaitsev}, Infinite dimensional Lie superalgebras. de Gruyter, Berlin (1992; Zbl 0762.17001)] and [\textit{A. A. Mikhalev} and \textit{A. A. Zolotykh}, Combinatorial aspects of Lie superalgebras. CRC Press (1995; Zbl 0871.17002)]) Let \(R\) be a commutative associative ring. Suppose that \(L=L(X)\) is the free color Lie superalgebra generated by \(X=X_+\cup X_-\), where \(X_+\) and \(X_-\) are even and odd generating parts, respectively. Fix \(x\in X\) and denote \(Y=X\setminus\{x\}\), and \(Z=\{ (\text{ad} x)^n(y)\mid n\geq 0, y\in Y\}\). Denote by \(H\) the ideal in \(L\) generated by \(Y\). Then \(H\) is freely generated by \(Z\) as a subalgebra and \(L=H\oplus W\), where \(W=Rx\) in case \(x\in X_+\) and \(W=Rx\oplus R[x,x]\) if \(x\in X_-\).