In this paper we shall
investigate algebras which generalize Lie algebras, Malcev algebras and binary-Lie
algebras (every two elements generate a Lie subalgebra). Such an algebra A is called
an extented Lie algebra (briefly el-algebra) and is defined by
for all x, y in A where J(x,y,z) = xy ⋅ z + yz ⋅ x + zx ⋅ y. We prove the
following.
Theorem. Let A be a simple finite dimensional el-algebra over an algebraically
closed field of characteristic zero, then A is a simple Lie algebra or the simple seven
dimensional Malcev algebra if and only if the trace form, (x,y) = trace RxRy, is a
nondegenerate invariant form.
|