© 2000 by London Mathematical Society
© The London Mathematical Society
A Class of Infinite Dimensional Simple Lie Algebras
Institute of Mathematics, Academy of Mathematics and Systems Sciences, Chinese Academy of Sciences Beijing 100080, China, zhao{at}iss06.iss.ac.cn
Received 11 February 1999. Revision received 9 July 1999.
Let A be an abelian group, F be a field of characteristic 0, and
, ß be linearly independent additive maps from A to F, and let 
ker(
)\{0}. Then there is a Lie algebra L = L(A,
, ß,
) =
x
A Fex under the product
[ex, ey]]=
(xy)ex+y+(
ß) (x, y) ex+y
.
If, further, ß(
) = 1, and ß(A) = Z, there is a subalgebra L+:=L(A+,
, ß,
) =
x
A+ Fex, where A+ = {x
A|ß(x)
0}. The necessary and sufficient conditions are given for L' = [L, L] and L+ to be simple, and all semi-simple elements in L' and L+ are determined. It is shown that L' and L+ cannot be isomorphic to any other known Lie algebras and L' is not isomorphic to any L+, and all isomorphisms between two L' and all isomorphisms between two L+ are explicitly described.