Finite generation of Lie algebras associated to associative algebras

Abstract

Let $F$ be a field of characteristic not $2$ . An associative $F$-algebra $R$ gives rise to the commutator Lie algebra $R^{(-)}=(R,[a,b]=ab-ba).$ If the algebra $R$ is equipped with an involution $\ast :R\to R$ then the space of the skew-symmetric elements $K=\{a\in R\mid a^{\ast }=-a\}$ is a Lie subalgebra of $R^{(-)}.$ In this paper we find sufficient conditions for the Lie algebras $[R,R]$ and $[K,K]$ to be finitely generated.

12