Prime Lie algebras satisfying the standard Lie identity of degree 5

For every commutative differential algebra one can define the Lie algebra of special derivations. It is known for years that not every Lie algebra can be embedded into the Lie algebra of special derivations of some differential algebra. More precisely, the Lie algebra of special derivations of a commutative algebra always satisfies the standard Lie identity of degree 5. The problem of existence of such embedding is a long-standing problem (see [2,4,3]), which is closely related to the Lie algebra of vector fields on the affine line (see [2]). It was solved by Razmyslov in [2] for simple Lie algebras satisfying this identity (see also [3, Th. 16]). We extend this result to prime (and semiprime) Lie algebras over a field of zero characteristic satisfying the standard Lie identity of degree 5. As an application, we prove that for any semiprime Lie algebra the standard identity St₅ implies all other identities of the Lie algebra of polynomial vector fields on the affine line. We also generalize some previous results about primeness of the Lie algebra of special derivations of a prime differential algebra to the case of non-unitary differential algebra.