arxiv: v1 [math.ra] 21 Mar 2012

Transcription

1 CLASSIFICATION OF SOLVABLE LEIBNIZ ALGEBRAS WITH NATURALLY GRADED FILIFORM NILRADICAL J. M. CASAS, M. LADRA, B. A. OMIROV AND I. A. KARIMJANOV arxiv: v math.ra 2 Mar 202 Abstract. In this paper we show that the method for describing solvable Lie algebras with given nilradical by means of non-nilpotent outer derivations of the nilradical is also applicable to the case of Leibniz algebras. Using this method we extend the classification of solvable Lie algebras with naturally graded filiform Lie algebra to the case of Leibniz algebras. Namely, the classification of solvable Leibniz algebras whose nilradical is a naturally graded filiform Leibniz algebra is obtained.. Introduction Leibnizalgebraswereintroducedatthebeginning ofthe90softhepastcenturybyj.-l.lodayin8. They are a non-commutative generalization of Lie algebras. Leibniz algebras inherit an important property of Lie algebras which is that the right multiplication operator on an element of a Leibniz algebra is a derivation. Active investigations on Leibniz algebras theory show that many results of the theory of Lie algebras can be extended to Leibniz algebras. Of course, distinctive properties of non-lie Leibniz algebras have also been studied 5, 6. In fact, for a Leibniz algebra we have the corresponding Lie algebra, which is the quotient algebra by the two-sided ideal I generated by the square elements of a Leibniz algebra. Notice that this ideal is the minimal one such that the quotient algebra is a Lie algebra and in the case of non-lie Leibniz algebras it is always non trivial moreover, it is abelian. From the theory of Lie algebrasit is well known that the study of finite dimensional Lie algebraswas reduced to the nilpotent ones 7, 9. In Leibniz algebras case we have an analogue of Levi s theorem 6. Namely, the decomposition of a Leibniz algebra into a semidirect sum of its solvable radical and a semisimple Lie algebra is obtained. The semisimple part can be described from simple Lie ideals and therefore, the main problem is to study the solvable radical, i.e. in a similar way as in the case of Lie algebras, the description of Leibniz algebras is reduced to the description of the solvable ones. The analysis of works devoted to the study of solvable Lie algebras for example, 3,, 3, 5, where solvable Lie algebras with various types of nilradical were studied, such as naturally graded filiform and quasi-filiform algebras, abelian, triangular, etc. shows that we can also apply similar methods to solvable Leibniz algebras with a given nilradical. Some results of Lie algebras theory generalized to Leibniz algebras 4 allow to apply the technique of description of solvable extensions of nilpotent Lie algebras to the case of Leibniz algebras. The aim of the present paper is to classify solvable Leibniz algebras with naturally graded filiform nilradical. Thanks to the works 5 and 4, we already have the classification of naturally graded filiform Leibniz algebras. In order to achieve our goal we organize the paper as follows: in Section 2 we give some necessary notions and preliminary results about Leibniz algebras and solvable Lie algebras with naturally graded filiform radical. Section 3 is devoted to the classification of solvable Leibniz algebras whose nilradical is a naturally graded filiform Lie algebra and in Section 4 we describe, up to isomorphisms, solvable Leibniz algebras whose nilradical is a naturally graded filiform non-lie Leibniz algebra. Throughout the paper vector spaces and algebras are finite-dimensional over the field of the complex numbers. Moreover, in the table of multiplication of an algebra the omitted products are assumed to be zero and, if it is not noticed, we shall consider non-nilpotent solvable algebras. 2. Preliminaries In this section we give necessary definitions and preliminary results. 200 Mathematics Subject Classification. 7A32, 7A36, 7A65, 7B30. Key words and phrases. Lie algebra, Leibniz algebra, natural graduation, filiform algebra, solvability, nilpotency, nilradical, derivation, nil-independence.

2 2 J. M. CASAS, M. LADRA, B. A. OMIROV AND I. A. KARIMJANOV Definition 2.. An algebra L,, over a field F is called a Leibniz algebra if for any x,y,z L the so-called Leibniz identity x,y,z = x,y,z x,z,y holds. From the Leibniz identity we conclude that the elements x,x,x,y + y,x, for any x,y L, lie in Ann r L = {x L y,x = 0, for all y L}, the right annihilator of the Leibniz algebra L. Moreover, we also get that Ann r L is a two-sided ideal of L. The two-sided ideal CenterL = {x L x,y = 0 = y,x, for all y L} is said to be the center of L. Definition 2.2. A linear map d: L L of a Leibniz algebra L,, is said to be a derivation if for all x,y L, the following condition holds: dx,y = dx,y+x,dy. For a givenelement x ofaleibniz algebral, the rightmultiplication operatorsr x : L L,R x y = y,x,y L, are derivations. This kind of derivations are said to be inner derivations. Any Leibniz algebra L has associated the algebra of right multiplications RL = {R x x L}. RL is endowed with a structure of Lie algebra by means of the bracket R x,r y = R x R y R y R x = R y,x. Moreover, there is an antisymmetric isomorphism between RL and the quotient algebra L/Ann r L. Definition 2.3. For a given Leibniz algebra L,, the sequences of two-sided ideals defined recursively as follows: L = L, L k+ = L k,l, k, L = L, L s+ = L s,l s, s. are said to be the lower central and the derived series of L, respectively. Definition 2.4. A Leibniz algebra L is said to be nilpotent respectively, solvable, if there exists n N m N such that L n = 0 respectively, L m = 0. The minimal number n respectively, m with such property is said to be the index of nilpotency respectively, of solvability of the algebra L. Evidently, the index of nilpotency of an n-dimensional algebra is not greater than n+. Definition 2.5. An n-dimensional Leibniz algebra L is said to be null-filiform if diml i = n+i, i n+. Evidently, null-filiform Leibniz algebras have maximal index of nilpotency. Theorem An arbitrary n-dimensional null-filiform Leibniz algebra is isomorphic to the algebra NF n : e i,e = e i+, i n, where {e,e 2,...,e n } is a basis of the algebra NF n. Actually, a nilpotent Leibniz algebra is null-filiform if and only if it is one-generated algebra. Notice that this notion has no sense in Lie algebras case, because they are at least two-generated. Definition 2.7. An n-dimensional Leibniz algebra L is said to be filiform if diml i = n i, for 2 i n. Now let us define a naturally graduation for a filiform Leibniz algebra. Definition 2.8. Given a filiform Leibniz algebra L, put L i = L i /L i+, i n, and grl = L L 2 L n. Then L i,l j L i+j and we obtain the graded algebra grl. If grl and L are isomorphic, then we say that an algebra L is naturally graded. Thanks to 4 it is well known that there are two types of naturally graded filiform Lie algebras. In fact, the second type will appear only in the case when the dimension of the algebra is even. Theorem Any complex naturally graded filiform Lie algebra is isomorphic to one of the following non isomorphic algebras: Q 2n : { n n, : e i,e = e,e i = e i+, 2 i n. e i,e = e,e i = e i+, 2 i 2n2, e i,e 2n+i = e 2n+i,e i = i e 2n, 2 i n.

3 CLASSIFICATION OF SOLVABLE LEIBNIZ ALGEBRAS 3 In the following theorem we recall the classification of the naturally graded filiform non-lie Leibniz algebras given in 5. Theorem Any complex n-dimensional naturally graded filiform non-lie Leibniz algebra is isomorphic to one of the following non isomorphic algebras: { { Fn e,e = e 3, = F 2 e,e = e 3, n = e i,e = e i+, 2 i n, e i,e = e i+, 3 i n. Definition 2.. The maximal nilpotent ideal of a Leibniz algebra is said to be the nilradical of the algebra. Notice that the nilradical is not the radical in the sense of Kurosh, because the quotient Leibniz algebra by its nilradical may contain a nilpotent ideal see 7. All solvable Lie algebras whose nilradical is the naturally graded filiform Lie algebra n n, are classified in 2. Further solvable Lie algebras whose nilradical is the naturally graded filiform Lie algebra Q 2n are classified in 2. Using the above classifications, we shall give the classification of solvable non-lie Leibniz algebras whose nilradical is a naturally graded filiform Lie algebra. It is proved that the dimension of a solvable Lie algebra whose nilradical is isomorphic to an n- dimensional naturally graded filiform Lie algebra is not greater than n + 2. Below, we present their classification. In order to agree with the tables of multiplications of algebras in Theorems 2.9 and 2.0, we make the following change of basis in the classification of 2: e i = e n+i, i n, x = f. We also use different notation to denote the algebras that appear in 2. That way the results would be: Theorem There are three types of solvable Lie algebras of dimension n+ with nilradical isomorphic to n n,, for any n 4. The isomorphism classes in the basis {e,...,e n,x} are represented by the following algebras: e i,e = e,e i = e i+, 2 i n, S n+ α,β : e i,x = x,e i = i2α+β e i, 2 i n, e,x = x,e = αe. The mutually non-isomorphic algebras of this type are S n+, β = S n+,β and S n+,2 = S n+ 0,. e i,e = e,e i = e i+, 2 i n, S n+,3 : e i,x = x,e i = ie i, 2 i n, e,x = x,e = e +e 2. e i,e = e,e i = e i+, 2 i n, S n+,4 a 3,a 4,...,a n : e i,x = x,e i = e i + a l+i e l, 2 i n, where the first non-vanishing parameter {a 3,...,a n } can be assumed to be equal to. Theorem There exists only one class of solvable Lie algebras of dimension n + 2 with nilradical n n,. It is represented by a basis {e,e 2,...,e n,x,y} and the Lie brackets are e i,e = e,e i = e i+, 2 i n, e i,x = x,e i = i2e i, 2 i n, S n+2 : e,x = x,e = e, e i,y = y,e i = e i, 2 i n. Now we recall the classification given in 2 after the following change of basis: e = e, x = Y, y = Y 2. l=i+2

4 4 J. M. CASAS, M. LADRA, B. A. OMIROV AND I. A. KARIMJANOV Proposition Any solvable Lie algebra of dimension 2n+ with nilradical isomorphic to Q 2n is isomorphic to one of the following algebras: e i,e = e,e i = e i+, 2 i 2n2, e i,e 2n+i = e 2n+i,e i = i e 2n, 2 i n, Q 2n+, α : e,x = x,e = e, e i,x = x,e i = i2+αe i, 2 i 2n, e 2n,x = x,e 2n = 2n32αe 2n. e i,e = e,e i = e i+, 2 i 2n2, e i,e 2n+i = e 2n+i,e i = i e 2n, 2 i n, Q 2n+,2 : e,x = x,e = e +εe 2n, ε = 0,, e i,x = x,e i = ine i, 2 i 2n, e 2n,x = x,e 2n = e 2n. e i,e = e,e i = e i+, 2 i 2n2, e i,e 2n+i = e 2n+i,e i = i e 2n, 2 i n, 2n3i 2 Q 2n+,3 α : e 2+i,x = x,e 2+i = e 2+i + α 2k+ e 2k++i, 0 i 2n6, e 2ni,x = x,e 2ni = e 2ni, i =,2,3, e 2n,x = x,e 2n = 2e 2n. Proposition For any n 3 there is only one 2n + 2-dimensional solvable Lie algebra having a nilradical isomorphic to Q 2n : e i,e = e,e i = e i+, 2 i 2n2, e i,e 2n+i = e 2n+i,e i = i e 2n, 2 i n, e i,x = x,e i = ie i, i 2n, e 2n,x = x,e 2n = 2n+e 2n, e i,y = y,e i = e i, i 2n, e 2n,y = y,e 2n = 2e 2n. Let R be a solvable Leibniz algebra with nilradical N. We denote by Q the complementary vector space of the nilradical N to the algebra R. Let us consider the restrictions to N of the right multiplication operator on an element x Q denoted by R x N. If the operator R x N is nilpotent, then we assert that the subspace x+n is a nilpotent ideal of the algebra R. Indeed, since for a solvable Leibniz algebra R we get the inclusion R 2 N 4, and hence the subspace x+n is an ideal. The nilpotency of this ideal follows from the Engel s theorem for Leibniz algebras 4. Therefore, we have a nilpotent ideal which strictly contains the nilradical, which is in contradiction with the maximality of N. Thus, we obtain that for any x Q, the operator R x N is a non-nilpotent derivation of N. Let {x,...,x m } be a basis of Q, then for any scalars {α,...,α m } C\{0}, the matrix α R x N + +α m R xm N is not nilpotent, which means that the elements {x,...,x m } are nil-independent 0. Therefore, we have that the dimension of Q is bounded by the maximal number of nil-independent derivations of the nilradical N. Moreover, similarly to the case of Lie algebras, for a solvable Leibniz algebra R the inequality dimn dimr 2 holds. 3. solvable Leibniz algebras whose nilradical is a Lie algebra It is not difficult to see that if R is a solvable non-lie Leibniz algebra with nilradical isomorphic to the algebrasn n, or Q 2n, then the dimension ofr is also not greaterthan n+2 and 2n+2, respectively. Letn n, orq 2n bethenilradicalofasolvableleibnizalgebrar. SincetheidealI = {x,x x R} is contained in Ann r R, then I is abelian, hence it is contained in the nilradical. Taking into account the multiplication in n n, respectively Q 2n we conclude that I = {e n }. k=2

5 CLASSIFICATION OF SOLVABLE LEIBNIZ ALGEBRAS 5 Having in mind that an n +-dimensional algebra R is solvable, then the quotient algebra R/I is also a solvable Lie algebra with nilradical n n, whose lists of tables of multiplication are given in Theorems 2.2 and 2.3. Case n n,. Let us assume that R has dimension n+, then the table of multiplication in R will be equal to the table of multiplication of S n+,i, i =,2,3,4, except the following products: e,x = α e +γ 4 e n, e 2,x = β e 2 +γ 5 e n, x,e = α e +γ e n, x,e 2 = β e 2 +γ 2 e n, x,x = γ 3 e n, where {γ +γ 4,γ 2 +γ 5,γ 3 } {0,0,0}. Note that taking the change of basis e = α e +γ 4 e n, e 2 = β e 2 +γ 5 e n we can assume that γ 4 = γ 5 = 0, i.e., e,x = αe and e 2,x = β e 2. It is not difficult to see that, for the omitted products, the antisymmetric identity holds, i.e. { ei,e = e,e i = e i+, 2 i n, e i,x = x,e i, 3 i n. We have e n,x = 0 because 0 = x,e n = e n,x. Consider 0 = x,e n = x,e n,e = x,e n,e x,e,e n = n2+βen. In the list of Theorem 2.2 only the algebra S n+, β is representative of the class for which the equality e n,x = 0 holds. This class is defined by β = 2n. Therefore, in the case of dimr = n+ whose nilradical is n n,, we have the following family: e i,e = e,e i = e i+, 2 i n, e,x = e, x,e = e +γ e n, R n+, γ,γ 2,γ 3 : e 2,x = 2ne 2, x,e 2 = n2e 2 +γ 2 e n, e i,x = x,e i = ine i, 3 i n, x,x = γ 3 e n, where γ,γ 2,γ 3 0,0,0. Applying a similar argument and the table of multiplication of the algebra in Theorem 2.3 we conclude that solvable non-lie Leibniz algebras of dimension n+2 with nilradical n n, do not exist. Theorem 3.. Any n+-dimensional solvable Leibniz algebra with nilradical n n, is isomorphic to one of the following pairwise non isomorphic algebras: R n+, 0,0,, R n+, 0,,0, R n+,,,0, R n+,,0,0. Proof. We consider the general change of basis in the family R n+, γ,γ 2,γ 3 : e = A i e i, e 2 = B i e i, x = Dx+ C i e i, i= i= where A B 2 B A 2 D 0. Usinge i,e = e i+, 2 i n, the table ofmultiplication ofr n+,γ,γ 2,γ 3 and an induction, we obtain From the equalities e i = A i3 we have B = 0. Consider the multiplications i= A B j+2i B A j+2i e j, 3 i n. j=i n 0 = e 3,e 2 = B A B j2 B A j2 e j j=4

6 6 J. M. CASAS, M. LADRA, B. A. OMIROV AND I. A. KARIMJANOV On the other hand n e,x = A De D A i nie i + A i C A C i e i n = A De A 2 Dn2e 2 + Ai C A C i nia i D e i +A n C A C n e n. e,x = e = A i e i. i= Comparing the coefficients of the basic elements we derive: D =, A 2 = 0, A i+ = A C i A i C, 2 i n2, A n = A C n A n C n. in From the equalities n2 B i e i = n2e 2 = e 2,x = n B i e i,x+ we deduce the following restrictions: n n = B i nie i +C B i e i C i e i n = B 2 n2e 2 + Bi C B i ni e i +B n C e n, B i = ib 2C i2 i2!, 3 i n. In an analogous way, comparing coefficients at the basic element e n in the equalities, we obtain: and so With a similar argument, i= γ 3 An2 B 2 e n = γ 3 e n = x,x = γ 3 +C γ +C 2 γ 2 e n γ 3 = γ 3 +C γ +C 2 γ 2 A n2. B 2 e +A n2 B 2 γ e n = e +γ e n = x,e = e +A γ e n. and n2e 2 +An2 B 2 γ 2 e n = n2e 2 +γ 2 e n = x,e 2 = n2e 2 +B 2γ 2 e n we obtain γ = γ A n3 and γ 2 B = γ 2 2 A n2. Now we shall consider the possible cases of the parameters {γ,γ 2,γ 3 }. Case. Let γ = 0. Then γ = 0. If γ 2 = 0, then γ 2 = 0 and γ 3 = γ3 0. Putting B A n2 B 2 = γ3, then we have that γ 2 A n2 3 =, so the algebra is R n+, 0,0,. If γ 2 0, then putting A = n2 γ2 and C 2 = γ3 γ 2, we get γ 2 = and γ 3 = 0, i.e. we obtain the algebra R n+, 0,,0. Case 2. Let γ 0. Then putting B 2 = γ A n3 γ =, γ 2 = γ 2 and C = γ3+c2γ2 γ, we have: A n2, γ 3 = 0. If γ 2 0, then putting A = n2 γ2 we have that γ 2 =, so we obtain the algebra R n+,,,0. If γ 2 = 0, then we get the algebra R n+,,0,0.

7 CLASSIFICATION OF SOLVABLE LEIBNIZ ALGEBRAS 7 Case Q 2n. Similarly as above, from Propositions 2.4 and 2.5, we conclude that solvable non-lie Leibniz algebras with nilradical Q 2n exist only in the case of dimr = 2n+ and they are isomorphic to Q 2n+, α for α = 2n3 2. Thus, we have e i,e = e,e i = e i+, 2 i 2n2, e i,e 2n+i = e 2n+i,e i = i e 2n, 2 i n, e,x = e, x,e = e +γ e n, R 2n+, : where γ,γ 2,γ 3 0,0,0. e 2,x = 2n3 e 2, 2 x,e 2 = 2n3 e 2 +γ 2 e n, 2 e i,x = x,e i = 2n+2i7 2 x,x = γ 3 e n, e i, 3 i 2n, Theorem 3.2. Any 2n + -dimensional solvable Leibniz algebra with nilradical Q 2n is isomorphic to one of the following pairwise non isomorphic algebras: R 2n+, 0,0,, R 2n+, 0,,0, R 2n+,,,0, R 2n+,,0,0. Proof. The proof is carried out by applying similar arguments as in the proof of Theorem solvable Leibniz algebras whose nilradical is a non-lie Leibniz algebra In the following proposition we describe derivations of the algebra F n. Proposition 4.. Any derivation of the algebra Fn has the following matrix form: α α 2 α 3 α 4... α n α n 0 α +α 2 α 3 α 4... α n β 0 0 2α +α 2 α 3... α n2 α n α +α 2... α n3 α n nα +α 2 Proof. Let d be a derivation of the algebra. We set de = α i e i, de 2 = i= β i e i. From the equality 0 = de,e 2 = de,e 2 +e,de 2 = β e 3 we get β = 0. Further we have n de 3 = de,e = de,e +e,de = 2α +α 2 e 3 + α i e i+. On the other hand n de 3 = de 2,e = de 2,e +e 2,de = α +β 2 e 3 + β i e i+. Therefore, β 2 = α +α 2, β i = α i, 3 i n. With similar arguments applied on the products e i,e = e i+ and with an induction on i, it is easy to check that the following identities hold for 3 i n: de i = iα +α 2 ei + α ji+2 e j, 3 i n. j=i+ i=

8 8 J. M. CASAS, M. LADRA, B. A. OMIROV AND I. A. KARIMJANOV From Proposition 4. we conclude that the number of nil-independent outer derivations of the algebra Fn is equal to two. Therefore, by arguments after Proposition 2.5 we have that any solvable Leibniz algebra whose nilradical is Fn has dimension either n+ or n Solvable Leibniz algebras with nilradical Fn. Below we present the description of such Leibniz algebras when dimension is equal to n+. Theorem 4.2. An arbitrary n+-dimensional solvable Leibniz algebra with nilradical Fn is isomorphic to one of the following pairwise non-isomorphic algebras: e,e = e 3, e i,e = e i+, 2 i n, R α : e,x = e, e 2,x = e 2 +αe n, α {0,} x,e = e, e i,x = ie i, 3 i n. e,e = e 3, e i,e = e i+, 2 i n, n n e,x = e 2 + α i e i +αe n, e 2,x = e 2 + α i e i, R 2 α 4,...,α n,α : e i,x = e i + α ji+2 e j, 3 i n. j=i+2 e,e = e 3, e i,e = e i+, 2 i n, n n e,x = e 2 + α i e i, e 2,x = e 2 + α i e i +e n, R 3 α 4,...,α n : e i,x = e i + α ji+2 e j, 3 i n. j=i+2 Moreover, the first non-vanishing parameter {α 4,...,α n } in the algebras R 2 α 4,...,α n,α and R 3 α 4,...,α n can be scaled to. Proof. From Theorem 2.0 and arguments after Proposition 2.5 we know that there exists a basis {e,e 2,...,e n,x} such that the multiplication table of the algebra Fn is completed with the products coming from R x F e i, i n, i.e. n e,x = i= n α i e i, e 2,x = α +α 2 e 2 + α i e i +βe n, e i,x = iα +α 2 ei + j=i+ α ji+2 e j, 3 i n. Finally, we consider the remainder products as follows: x,e = β i e i, x,e 2 = γ i e i, x,x = From the chain of equalities i= i= δ i e i. 0 = x,e 3 = x,e 2,e = x,e 2,e x,e,e 2 = x,e2,e = γ +γ 2 e 3 + we conclude that γ 2 = γ, γ i = 0, 3 i n. Since γ e 3 = e,x,e 2 = e,x,e 2 e,e 2,x = 0, then γ = 0. The identity e,x,e = e,x,e e,e,x i= γ i e i implies β = α. Applying the Leibniz identity to the elements of the form {x,x,e 2 } and {x,e 2,x}, we conclude that: { nα +α 2 γn = 0, n2α γ n = 0.

9 CLASSIFICATION OF SOLVABLE LEIBNIZ ALGEBRAS 9 Note that γ n = 0 otherwise α = α 2 = 0 and then we get a contradiction with the non-nilpotency of the derivation D see Proposition 4.. Now we are going to discuss the possible cases of the parameters α and α 2. Case. Let α 0. Then taking the following change of basis: we obtain x = x, e = e n β i e i, e i = α +β 2 e i + α α α e,e = e 3, e,x = x,e = e, e 2,x = From the equalities j=i+ β ji+2 e j, 2 i n, µ i e i, e i,e = e i+, 2 i n, i= η i e i, x,e 2 = 0, x,x = i= 0 = e,e 2,x = e,e 2,x + e,x,e 2 = e, θ i e i. i= η i e i = η e 3 we have η = 0. i= Consider e 3,x = e,e,x = e,e,x + e,x,e n n = µ e 3 +µ +µ 2 e 3 + µ i e i+ = 2µ +µ 2 e 3 + µ i e i+. On the other hand e 3,x = e 2,e,x = e 2,e,x + n n e 2,x,e = µ e 3 +η 2 e 3 + η i e i+ = µ +η 2 e 3 + η i e i+. The comparison of both linear combinations implies that: η 2 = µ +µ 2, η i = µ i, 3 i n, that it is to say: n n e 2,x = µ +µ 2 e 2 + µ i e i +η n e n and e 3,x = 2µ +µ 2 e 3 + µ i e i+. Now we shall prove the following equalities by an induction on i: e i,x = iµ +µ 2 ei + j=i+ µ ji+2 e j, 3 i n. Obviously, the equality holds for i = 3. Let us assume that the equality holds for 3 < i < n, and we prove it for i+: e i+,x = e i,e,x = e i,e,x + e i,x,e = µ e i+ + iµ +µ 2 ei+ + j=i+2 µ ji+ e j = iµ +µ 2 e i+ + j=i+2 µ ji+ e j ; so the induction proves the equalities for any i, 3 i n. Applying the Leibniz identity to the elements {e,x,e }, {e,x,x}, {x,e,x}, we deduce that: µ =, µ 2 = θ = 0, θ i = µ i+, 2 i n.

10 0 J. M. CASAS, M. LADRA, B. A. OMIROV AND I. A. KARIMJANOV Below we summarize the table of multiplication of the algebra e,e = e 3 e i,e = e i+, 2 i n, n e,x = e + µ i e i, e 2,x = e 2 + µ i e i +η n e n, x,e = e, e i,x = ie i + µ ji+2 e j, 3 i n, n x,x = µ i+ e i +θ n e n. Let us take the change of basis in the following form: e = e + A i e i, e 2 = e 2+ A i e i, e i = e i+ where A 3 = µ 3, A i = Then µ i + i2 i j=i+ j=i+ n A ji+2 e j, 3 i n, x = A i+ e i +Be n +x. A j µ ij+2, 4 i n and B = n θ n + A j µ nj+3. n x,e = A i+ e i +Be n +x,e = e + e,x = e,x+ = e = e = e = e e 2,x =e 2,x+ = e 2 = e 2 = e 2 + A i e i,x = e + A i e i + A i e i + µ i e i µ i e i A i e i = e, µ i e i + A i ie i + A i i2e i + A i i2e i + A i e i +µ 3 A 3 e 3 + A i e i = e j=i+ i j=i+ n A i µ ji+2 e j A j µ ij+2 e i µ ji+2 e j i A i i2+µ i + A j µ ij+2 e i n A i e i,x = e 2 + µ i e i +η n e n + n A i e i + µ i e i +η n e n n A i e i + µ i e i +η n e n n A i e i +µ 3 A 3 e 3 + A i ie i + A i i2e i + A i i2e i + j=i+ i j=i+ n A i µ ji+2 e j A j µ ij+2 e i i A i i2+µ i + A j µ ij+2 e i n η n n2a n + A i µ ni+2 e n = e 2 +η e n, µ ji+2 e j

11 n x,x = A i+ e i,x+be n,x+x,x n = A i+ ie i + n = CLASSIFICATION OF SOLVABLE LEIBNIZ ALGEBRAS n A i+ ie i + j=i+ n µ ji+2 e j Bne n + µ i+ e i +θ n e n n µ i+ e i Bne n +θ n e n + n n = A i+ ie i + µ i+ e i Bne n +θ n e n + n = µ 3 A 3 e 2 + A i+ i+µ i+ + + Bn+θ n + A i+ n j=i+ µ ji+2 e j i A j µ ij+3 e i i A j µ ij+3 e i A j µ nj+3 e n = 0. Withasimilarinductionasthegivenforequations, itiseasytocheckthatthefollowingequalities hold: e i,x = ie i, 3 i n. Thus, we obtain the following table of multiplication: e,e = e 3, e i,e = e i+, 2 i n, e,x = e, e 2,x = e 2 +ηe n, x,e = e, e i,x = ie i, 3 i n. Now we take the general change of basis in the following form: e = A i e i, i= e i = Ai2 A +A 2 e i + A ji+2 e j, 2 i n, x = j=i+ B i e i +B n+ x, where A A +A 2 B n+ 0. i= Then from the equalities A i e i = e = x,e = A n B n+ e +A B +B 2 e 3 +A B j e j we obtain: i= B n+ =, A 2 = 0, B +B 2 = A 3 /A, B i = A i+ /A, 3 i n. Similarly, from A e A i e i = e = e,x = A e +A B 2A 3 e 3 + we obtain: consequently B = A 3 /A, B 2 = 0, A i = Consider the product e 2,x, namely: j=4 B A i ia i ei A i = A 3A i i2a, 4 i n, A i2 3 i2!a i3, 4 i n. 2

12 2 J. M. CASAS, M. LADRA, B. A. OMIROV AND I. A. KARIMJANOV e 2,x = A e 2 +A 3 e 3 + = A 3 e 3 + A2 3 A e 4 + i=5 A i2 3 i2!a i3 A i2 3 i3!a i3 = A e 2 A 3 e 3 A2 n 3 e 4 2A On the other hand, we have i=5 e i, A 3 e +x A e i A e 2 +A ηe n 2A 3 e 3 A i2 3 i2!a i3 e 2,x = e 2 +η e n = A e 2 A 3 e 3 A2 3 2A e 4 Therefore, the parameter η satisfies the relation η = e i + A η A n2 η. A i2 3 i2!a i3 A n2 3 n2!a n3 A i2 3 i i2!a i3 e n. e i +η A n e n. If η = 0, then η = 0. If η 0, then choosing A such that A n2 = η, we conclude η =. Thus the algebras R α, for α {0,}, are obtained. Case 2. Let α = 0,α 2 0. Then making the following change of basis n x = x β i+ e i we can assume that x,e = β 2 e 2. From the identity x,x,e = x,x,e x,e,x e i we derive 0 = δ i e i β 2 e 2,x = consequently, β 2 = 0, δ i = 0, 2 i n. Making the change of basis n δ i e i β 2 α i e i +βe n, x = x δ α 2 e n we can assume that x,x = 0. Summarizing, we obtain the following table of multiplication of the algebra in this case: e,e = e 3, e i,e = e i+, 2 i n, n e,x = α i e i, e 2,x = α i e i +βe n, e i,x = α ji+2 e j, 3 i n. j=i Now we shall study the behaviour of the parameters in this family of algebras under the general change of basis in the form 2. Then the equalities n 0 = x,e = B i e i +B n+ x,a e = A B +B 2 e 3 + B i e i i= imply B = B 2, B i = 0, 3 i n.

13 CLASSIFICATION OF SOLVABLE LEIBNIZ ALGEBRAS 3 Now we shall express the product e,x as a linear combination of the basis {e,e 2,...,e n,x}, namely: n e,x = A i e i,b e +B n+ x i= = B A +A 2 e 3 + A i e i n n +B n+ A α i e i +A 2 α i e i +βe n + = B A +A 2 e 3 + B A i e i n A i α ji+2 e j n n n +B n+ A α i e i +B n+ A 2 α i e i +B n+ A 2 βe n +B n+ = B n+ A +A 2 α 2 e 2 + n + + On the other hand n e,x = α i e i = = B A i +B n+ A +A 2 α i + B A n +B n+ A α n +A 2 β + α i Ai2 α ia i2 A +A 2 e i + j=i A +A 2 B +B n+ α 3 +B n+ A 3 α 2 e 3 A +A 2 e i + i j=i+ i B n+ A j α ij+2 e i A i α ni+2 e n. A ji+2 e j A ij A j α ij+2e i = α 2A +A 2 e 2 + A A +A 2 α 3 +A 3 α 2 e3 + α ia i2 A +A 2 + i A j α ij+2 e i i A ij A j α ij+2 e i. Comparing coefficients at the basic elements in both combinations, we obtain the following relations: α 2 A +A 2 = B n+ A +A 2 α 2, A A +A 2 α 3 +A 3α 2 = A +A 2 B +B n+ α 3 +B n+ A 3 α 2, i i α ia i2 A +A 2 + A ij A j α ij+2 = B A i +B n+ A +A 2 α i + B n+ A j α ij+2, A n2 α n A +A 2 + A nj A j α nj+2 = B A n +B n+ A α n +A 2 β + The simplification of these relations implies the following identities: 4 i n, A i α ni+2. α 2 = B n+α 2, α 3 = B +α 3 B n+ A, α i = B n+α i A i2 Analogously, considering the product e 2,x, we get the relation:, 4 i n, α n = α na +βa 2 B n+ A n2. A +A 2 and β = βb n+ A n2, x,x = βb α n B α 2 B n B n+ A n2 e n. A +A 2

14 4 J. M. CASAS, M. LADRA, B. A. OMIROV AND I. A. KARIMJANOV Since x,x = 0, then B n = βb α n B α 2. Setting B n+ = /α 2 and B = α 3 /α 2, then we derive that α 2 =, α 3 = 0. If β = 0 and α n = 0, then β = 0 and we obtain the algebra R 2 α 4,...,α n,0. If β = 0 and α n 0, then putting A 2 = α n α 2 A n2 algebra R 2 α 4,...,α n,. If β 0, then choosing α 2 A n3, we have α n β A = n2, A 2 = A α n, α 2 β we obtain β =, α n = 0 and the algebra R 3α 4,...,α n. = and so we obtain the Now we shall consider the case when the dimension of a solvable Leibniz algebra with nilradical F n is equal to n+2. Theorem 4.3. It does not exist any n+2-dimensional solvable Leibniz algebra with nilradical F n. Proof. From the conditions of the theorem, we have the existence of a basis {e,e 2,...,e n,x,y} such that the table of multiplication of F n remains. The outer non-nilpotent derivations of F n, denoted by R x F n and R y F n, are of the form given in Proposition 4., with the set of entries {α i,γ} and {β i,δ}, respectively, where e i,x = R x F n e i and e i,y = R y F n e i. Taking the following change of basis: x β 2 α 2 = x y, α β 2 α 2 β α β 2 α 2 β we may assume that α = β 2 = and α 2 = β = 0. Therefore we have the products e,x = e + e,y = e 2 + β y = x+ α β 2 α 2 β n α i e i, e 2,x = e 2 + α i e i +γe n, e i,x = ie i + n β i e i, e 2,y = e 2 + β i e i +δe n, e i,y = e i + j=i+ α α β 2 α 2 β y, 3 j=i+ α ji+2 e j, 3 i n, β ji+2 e j, 3 i n, Applying similar arguments as in Case of Theorem 4.2 and taking into account that the products e,y, e 2,y, e i,y will not be changed under the bases transformations which were used there, we obtain the products: e,x = e, e 2,x = e 2 +γe n, e i,x = ie i, 3 i n, x,e = e. Let us introduce the notations: y,e = η i e i, y,e 2 = θ i e i, y,y = i= From the Leibniz identity i= τ i e i, x,y = i= e,y,e = e,y,e e,e,y we get η = 0. Note that we can assume y,e = η 2 e 2 by changing y = y n η i+ e i. Due to y,e,e 2 = y,e,e 2 y,e2,e σ i e i, y,x = i= ρ i e i. we obtain θ 2 = θ, θ i = 0, 3 i n. Since e,y,e 2 = e,y,e 2 e,e 2,y, then we have θ = θ 2 = 0. Moreover, the Leibniz identity y,y,e 2 = y,y,e 2 y,e2,y implies that θ n = 0, i.e., y,e 2 = 0. From the following chain of equalities 0 = η 2 y,e 2 = y,η 2 e 2 = y,y,e = y,y,e y,e,y = τ +τ 2 e 3 + τ i e i η 2 e 2,y = τ +τ 2 e 3 + i= n τ i e i η 2 e 2 + β i e i +δe n

15 CLASSIFICATION OF SOLVABLE LEIBNIZ ALGEBRAS 5 we derive that η 2 = 0, τ 2 = τ, τ i = 0, 3 i n. Therefore, we have y,e = 0 and y,y = τ e τ e 2 +τ n e n. Consider the Leibniz identity then we get e 2 x,y,e = x,y,e x,e,y n β i e i = σ +σ 2 e 3 + σ i e i+. Thus, we have a contradiction with the assumption of the existence of an algebra under the conditions of the theorem Solvable Leibniz algebras with nilradical Fn. 2 In this section we describe solvable Leibniz algebraswith nilradical Fn 2, i.e. solvable Leibniz algebras R which decompose in the form R = Fn 2 Q. Proposition 4.4. An arbitrary derivation of the algebra Fn 2 has the following matrix form: α α 2 α 3 α 4... α n α n 0 β γ 0 0 2α α 3... α n2 α n D = α... α n3 α n nα Proof. The proof follows by straightforward calculations in a similar way as the proof of Proposition 4.. Remark 4.5. It is an easy task to check that the number of nil-independent derivations of the algebra F 2 n is equal to 2. Corollary 4.6. The dimension of a solvable Leibniz algebra with nilradical Fn 2 is either n+ or n+2. Theorem 4.7. An n + -dimensional solvable Leibniz algebra with nilradical Fn 2 is isomorphic to one of the following pairwise non-isomorphic algebras: e,e = e 3, e i,e = e i+, 3 i n, R α : e,x = e, e i,x = ie i, 3 i n, x,e = e, x,x = αe 2, α {0,}. e,e = e 3, e i,e = e i+, 3 i n, R 2 α : e,x = e, e i,x = ie i, 3 i n, x,e = e, e 2,x = αe 2, α 0. e,e = e 3, e i,e = e i+, 3 i n, R 3 : e,x = e, e i,x = ie i, 3 i n, x,e = e, e 2,x = ne 2 +e n. e,e = e 3, e i,e = e i+, 3 i n, e,x = e, e i,x = ie i, 3 i n, R 4 α : x,e = e, e 2,x = αe 2, α, x,e 2 = αe 2. e,e = e 3, e i,e = e i+, 3 i n, e,x = e αe 2, α {0,}, e i,x = ie i, 3 i n, R 5 α : x,e = e +αe 2, e 2,x = e 2, x,e 2 = e 2.

16 6 J. M. CASAS, M. LADRA, B. A. OMIROV AND I. A. KARIMJANOV e,e = e 3, e i,e = e i+, 3 i n, e,x = α i e i, e i,x = α ji+2 e j, 3 i n, R 6 α 3,α 4,...,α n,λ,δ : j=i+ x,x = λe n, e 2,x = e 2, x,e 2 = δe 2, δ {0,}. In the algebra R 6 α 3,α 4,...,α n,λ,δ the first non vanishing parameter {α 3,α 4,...,α n,λ} can be scaled to. Proof. Let R be a solvable Leibniz algebra satisfying the conditions of the theorem, then there exists a basis {e,e 2,...,e n,x}, such that {e,e 2,...,e n } is the standard basis of Fn 2, and for non nilpotent outer derivations of the algebra Fn 2 we have that e i,x = R x F 2e i, i n, n Due to Proposition 4.4 we can assume that e,x = α i e i, e 2,x = β 2 e 2 +β n e n, e i,x = iα e i + α ji+2 e j, 3 i n. i= Let us introduce the following notations: x,e = γ i e i, x,e 2 = i= δ i e i, x,x = i= j=i+ λ i e i. Considering the Leibniz identity for the elements {e,x,x}, {e,x,e }, {x,e 2,e } we obtain λ = 0, γ = α and x,e 2 = δ 2 e 2 +δ n e n. By setting e 2 = δ 2 e 2 +δ n e n we can assume that x,e 2 = δe 2. Now we distinguish the following possible cases: Case. Let α 0. Then the following change of basis x = x, e = e + n γ j e j, e 2 = e 2, e i = e i + n γ ji+2 e j, 3 i n, γ γ γ implies that x,e = e +γe 2 From the equalities: e +γ+δe 2 = x,x,e = x,x,e x,e,x = we deduce that j=i+ where γ = γ2 γ and the rest of products remains unchanging. λ i e i i= α i e i γβ 2 e 2 γβ n e n α =, α 3 = 0, α 2 = γ+δ +β 2, λ i = α i+, 3 i n2, and λ n = α n +γβ n. In addition, if we take the following change of basis: n e = e + A i e i, e 2 = e 2, e i = e i + A ji+2 e j, 3 i n, x = A i+ e i +Be n +x, where A j = 2 α j, j = 4,5, A i = i2 n j=4 A j α ij+3, then we have j=i+2 αi + i2 j=4 i= A j α ij+2, 6 i n and B = λn + n e,x = e +α 2 e 2, e 2,x = β 2 e 2+β n e n, x,x = λ 2 e 2+γβ n e n, e i,x = ie i, 3 i n. Finally, we obtain the following table of multiplication of the algebra R: e,x = e γ+δ +β 2 e 2, e 2,x = β 2 e 2 +β n e n, x,e = e +γe 2, e i,x = ie i, 3 i n, x,e 2 = δe 2, x,x = λ 2 e 2 +γβ n e n. Considering the Leibniz identity for the elements {x,x,e 2 }, {x,x,x}, {x,e,x}, we obtain: δβ n = δδ +β 2 = δλ 2 = γδδ +β 2 = 0. Notice that if e 2 Ann r R, then dimann r R = n and if e 2 / Ann r R, then dimann r R = n2. Now we analyze the following possible subcases:

17 CLASSIFICATION OF SOLVABLE LEIBNIZ ALGEBRAS 7 Case.. Let e 2 Ann r R. Then δ = 0 and making the change e = e + γe 2 we can assume that x,e = e. In this case, we must consider two new subcases: Case... Let e 2 CenterR. Then dimcenterr = and β 2 = β n = 0. Then we have two options: if λ 2 = 0, then we get the split algebra R 0; if λ 2 0, then we obtain the algebra R by scaling the basis. Case..2. Let e 2 / CenterR. Then dimcenterr = 0 and β 2,β n 0,0. Let us take the following general change of basis: n e = n A i e i, e 2 = i= i= B i e i, e i = Ai2 A e i + j=i+ A ji+2 e i, 3 i n, x = C i e i +C n+ x, where A B 2 A 2 B C n+ 0. From 0 = e 2,e = e 2,e 2, we obtain that B = 0, B i = 0, 3 i n, i.e. e 2 = B 2e 2 +B n e n and A B 2 0. The equalities e = x,e = A C e 3 + A C i e i +A C n+ e, imply that C n+ =, A 2 = 0, A 3 = A C, A i = A C i, 4 i n. Similarly, from and B 2 β 2e 2 +B n β 2 +β na n e n = β 2e 2 +β ne n = e 2,x = B 2 β 2 e 2 + B 2 β n nb n en, λ 2B 2 e 2 +λ 2B n e n = λ 2e 2 = x,x = λ 2 +C 2 β 2 e 2 +C 2 2C 3 e 3 we obtain C i = n + C C i ic i ei + C C n nc n +C 2 β n en i! Ci, 3 i n and β 2 = β 2, β n = B 2β n B n β 2 +n A n, λ 2 = λ 2 +β 2 C 2, λ B 2B n = C C n nc n +C 2 β n. 2 Now we must distinguish two subcases: Case..2.. Let β 2 = n. We put C 2 = λ2 n, C n = CCn+C2βn n, then we get λ 2 = 0 and β n = B2βn. A n If β n = 0, then we get the algebra R 2 α for α = n. If β n 0, then making A = n β n B 2, we obtain β n = and the algebra R 3. Case Let β 2 n. Taking the change B n = B2βn we set C 2 = λ2 β 2, C n = CCn+C2βn n β, we obtain β 2+n n = 0. Since β 2 0, and we get λ 2 = 0, i.e., the algebra R 2 α is obtained, for α / {n,0}. Case.2. Let e 2 / Ann r R. Then δ 0 and β 2 = δ,β n = λ 2 = 0. Let us consider the general change of basis in the following form: e = A i e i, e 2 = i= i= B i e i, e i = A i2 A e i + j=i+ i= A ji+2 e j, 3 i n, x = C i e i +C n+ x, where A B 2 A 2 B C n+ 0. Thenfrom0 = e 2,e = e 2,e 2, wederivethatb = 0, B i = 0, 3 i n, i.e. e 2 = B 2e 2 +B n e n and A B 2 0. Similarly, from the equations: e +γ e 2 = x,e = A C n+ e +C n+ A γ +A 2 δe 2 +A C e 3 + A C i e i and δ B 2 e 2 +B n e n = δ e 2 = x,e 2 = B 2 δe 2 i=

18 8 J. M. CASAS, M. LADRA, B. A. OMIROV AND I. A. KARIMJANOV we obtain C n+ =, A 3 = A C, A i = A C i, 4 i n, γ = A γ +A 2 δ B 2, A C n = A n +γ B n, δ = δ, δ B n = 0. Now we distinguish the following two subcases: Case.2.. Let δ. Then by the substitution A 2 = A γ δ, A n = A C n into the above conditions, we get γ = 0 and the algebra R 4 α. Case.2.2. Let δ =. Then B n = 0. In the case of γ = 0, we get γ = 0. In the case γ 0, by putting B 2 = A γ and A n = A C n B n, we get γ =. Thus, the algebras R 5 α, α {0,}, are obtained. Case 2. Let α = 0. Then β 2 0 and by replacing x by x = β 2 x, we can assume e 2,x = e 2 +β n e n. Under these conditions, the table of multiplication of the solvable algebra R has the form: e,x = α i e i, e 2,x = e 2 +β n e n, x,e = γ i e i, e i,x = α ji+2 e j, 3 i n, x,e 2 = δe 2, x,x = j=i+ λ i e i. Making the transformation x = xγ 3 e n γ i+ e i, we can assume that x,e = γe 2. Similarly as above, we obtain the conditions: γδ + = α 2 δ γ = β n δ = δδ + = λ 2 δ = 0. Now we distinguish the following subcases depending on the possible values of the parameter δ: Case 2.. Let δ 0. Then dimann r R = n2 and β n = λ 2 = 0, δ =, α 2 = γ. By means of the change of the basic element e = e +γe 2, we can suppose that x,e = 0. Taking the general change of bases as in the above considered cases, we derive the conditions for the parameters under the following basis transformation: α i = α i A i2, 3 i n, λ n = λ n A n Consequently, we deduce the algebra R 6 α 3,α 4,...,α n,λ,. Case 2.2. Let δ = 0. Then dimann r R = n and γ = 0. Taking the change of basis e 2 = e 2+β n e n, we can assume that e 2,x = e 2 and by the change x = xλ 2 e 2, we can also suppose that x,x = λ n e n. Therefore, we have the products e,x = α i e i, e 2,x = e 2, e i,x = α ji+2 e j, 3 i n, x,x = λ n e n. j=i+ Applying similar arguments to general transformation of bases, we have. α 2 = 0, α i = α i A i2 Thus, we obtain the algebra R 6 α 3,α 4,...,α n,λ,0., 3 i n, λ n = λ n A n is isomor- Theorem 4.8. An arbitrary n+2-dimensional solvable Leibniz algebra with nilradical Fn 2 phic to one of the following non isomorphic algebras: e,e = e 3, e i,e = e i+, 3 i n, L : e,x = e, x,e = e, e 2,y = y,e 2 = e 2, e i,x = ie i, 3 i n,.

19 Proof. Let and CLASSIFICATION OF SOLVABLE LEIBNIZ ALGEBRAS 9 e,e = e 3, e i,e = e i+, 3 i n, L 2 : e,x = e, x,e = e, e 2,y = e 2, e i,x = ie i, 3 i n. α α 2 α 3 α 4... α n α n 0 β γ 0 0 2α α 3... α n2 α n R x F 2 = n α... α n3 α n nα λ λ 2 λ 3 λ 4... λ n λ n 0 µ ν 0 0 2λ λ 3... λ n2 λ n R y F 2 = n λ... λ n3 λ n nλ be two nil independent outer derivation of the algebra Fn 2. Taking the change of the basic elements x,y similar to 3, we can assume that α = µ =, λ = β = 0. Thus, we have the products: e,x = e + α i e i, e 2,x = γe n, e i,x = ie i + α ji+2 e j, 3 i n, e,y = λ i e i, e 2,y = e 2 +νe n, e i,y = j=i+ j=i+ λ ji+2 e j, 3 i n. Applying similar reasonings and changes of bases which we have used in Theorem 4.7, we obtain isomorphism classes of algebras whose representative elements are the L and L 2. Remark 4.9. In fact, the algebra L is a direct sum of the ideals NF n + x and e 2,y, where the sum NF n + x is a solvable Leibniz algebra with nilradical NF n and e 2,y is a two-dimensional solvable Lie algebra. The algebra L 2 is a direct sum of the ideals NF n + x and e 2,y, where e 2,y is a two-dimensional solvable non-lie Leibniz algebra. Thus, from Theorem 4.8, we conclude that any n+2-dimensional solvable Leibniz algebra with nilradical Fn 2 is split. Acknowledgements The two first authors were supported by MICINN, grant MTM C02Spain European FEDER support included, and by Xunta de Galicia grant Incite PR. References J. M. Ancochea Bermúdez, R. Campoamor-Stursberg, and L. García Vergnolle, Indecomposable Lie algebras with nontrivial Levi decomposition cannot have filiform radical, Int. Math. Forum, 2006, pp , Solvable Lie algebras with naturally graded nilradicals and their invariants, J. Phys. A, , pp , Classification of Lie algebras with naturally graded quasi-filiform nilradicals, J. Geom. Phys., 6 20, pp S. A. Ayupov and B. A. Omirov, On Leibniz algebras, in Algebra and operator theory Tashkent, 997, Kluwer Acad. Publ., Dordrecht, 998, pp. 2. 5, On some classes of nilpotent Leibniz algebras, Siberian Math. J., , pp. 5 24, i. 6 D. W. Barnes, On Levi s theorem for Leibniz algebras, Bull. Aust. Math. Soc., doi:0.07/s N. Jacobson, Lie algebras, Interscience Tracts in Pure and Applied Mathematics, No. 0, Interscience Publishers a division of John Wiley & Sons, New York-London, J.-L. Loday, Une version non commutative des algèbres de Lie: les algèbres de Leibniz, Enseign. Math. 2, , pp A. I. Malcev, Solvable Lie algebras, Amer. Math. Soc. Translation, , p. 36.

20 20 J. M. CASAS, M. LADRA, B. A. OMIROV AND I. A. KARIMJANOV 0 G. M. Mubarakzjanov, On solvable Lie algebras Russian, Izv. Vysš. Učehn. Zaved. Matematika, , pp J. C. Ndogmo and P. Winternitz, Solvable Lie algebras with abelian nilradicals, J. Phys. A, 27994, pp L. Šnobl and P. Winternitz, A class of solvable Lie algebras and their Casimir invariants, J. Phys. A, , pp S. Tremblay and P. Winternitz, Solvable Lie algebras with triangular nilradicals, J. Phys. A, 3 998, pp M. Vergne, Cohomologie des algèbres de Lie nilpotentes. Application à l étude de la variété des algèbres de Lie nilpotentes, Bull. Soc. Math. France, , pp Y. Wang, J. Lin, and S. Deng, Solvable Lie algebras with quasifiliform nilradicals, Comm. Algebra, , pp J.M. Casas Department of Applied Mathematics I, University of Vigo, E. E. Forestal, Pontevedra, Spain address: jmcasas@uvigo.es M. Ladra Department of Algebra, University of Santiago de Compostela, 5782 Santiago de Compostela, Spain address: manuel.ladra@usc.es B.A. Omirov I. A. Karimdjanov Institute of Mathematics and Information Technologies of Academy of Uzbekistan, 29, Do rmon yo li street., 0025, Tashkent Uzbekistan address: omirovb@mail.ru --- iqboli@gmail.com