\(\omega \)-Lie algebras (Q974412)

An anticommutative algebra with multiplication \([\cdot,\cdot]\) over a field \(K\) is an \(\omega\)-Lie algebra if there is a bilinear form \[ \omega : L\times L\longrightarrow K \] such that \[ [[x,y],z]+[[z,x],y]+[[y,z],x]=\omega(x,y)z+\omega(z,x)y+\omega(y,z)x \] for all \(x,y,z \in L\). The author studies some properties of \(\omega\)-Lie algebras. In particular, the following classification results are proved. If \(L\) is a finite-dimensional \(\omega\)-Lie algebra which is not a Lie algebra then one of the following holds: 1) \(\dim L=3\). 2) \(L\) has a Lie subalgebra of codimension \(1\) satisfying certain conditions described in the article. 3) \(\mathrm{Ker}\, \omega\) is an almost abelian Lie algebra of codimension 2 in \(L\) with the abelian part acting nilpotently on \(L\). In all the cases \(L\) has an abelian subalgebra of codimension \(\leq 3\). Another result says that any finite-dimensional semisimple \(\omega\)-Lie algebra is either a Lie algebra or has dimension \(\leq 4\). The author also shows that the minimal degree of an identity which is satisfied by all \(\omega \)-Lie algebras is \(5\).