arxiv: v1 [math.ra] 28 Jul 2014

Transcription

1 SOLVABLE LEIBNIZ ALGEBRAS WITH TRIANGULAR NILRADICAL LINDSEY BOSKO-DUNBAR, MATTHEW BURKE, JONATHAN D. DUNBAR, J.T. HIRD, AND KRISTEN STAGG ROVIRA arxiv: v [math.ra] 28 Jul 24 Abstract. A classification exists for Lie algebras whose nilradical is the triangular Lie algebra T(n). We extend this result to a classification of all solvable Leibniz algebras with nilradical T(n). As an example we show the complete classification of all Leibniz algebras whose nilradical is T(4).. Introduction Leibniz algebras were defined by Loday in 993 [3, 4]. In recent years it has been a common theme to extend various results from Lie algebras to Leibniz algebras [, 3, 7]. Several authors have proven results on nilpotency and related concepts which can be used to help extend properties of Lie algebras to Leibniz algebras. Specifically, variations of Engel s theorem for Leibniz algebras have been proven by different authors [6, 9] and Barnes has proven Levi s theorem for Leibniz algebras [4]. Additionally, Barnes has shown that leftmultiplication by any minimal ideal of a Leibniz algebra is either zero or anticommutative [5]. In an effort to classify Lie algebras, many authors place various restrictions on the nilradical [, 6, 8, 2]. In [9], Tremblay and Winternitz study solvable Lie algebras with triangular nilradical. It is the goal of this paper to extend these results to the Leibniz setting. Recent work has been done on classification of certain classes of Leibniz algebras [2, 7, 8,, 2]. In [8], a subset of the authors of this work found a complete classification of all Leibniz algebras whose nilradical is Heisenberg. In particular, this includes a classification of all Leibniz algebras whose nilradical is the triangular Lie algebra T(3), since T(3) is the 2 Mathematics Subject Classification. 7D99. Key words and phrases. Leibniz, triangular, nilradical, classification, Lie.

2 three-dimensional Heisenberg algebra. For this reason our primary example will be Leibniz algebras whose nilradical is the triangular algebra T(4). 2. Preliminaries A Leibniz algebra, L, is a vector space over a field (which we will take to be C or R) with a bilinear operation (which we will call multiplication) defined by [x, y] which satisfies the Leibniz identity () [x,[y,z]] = [[x,y],z]+[y,[x,z]] for all x,y,z L. In other words L x, left-multiplication by x, is a derivation. Some authors choose to impose this property on R x, right-multiplication by x, instead. Such an algebra is called a right Leibniz algebra, but we will consider only left Leibniz algebras (which satisfy ()). L is a Lie algebra if additionally [x,y] = [y,x]. The derived series of a Leibniz (Lie) algebra L is defined by L () = [L,L], L (n+) = [L (n),l (n) ] for n. L is called solvable if L (n) = for some n. The lower-central series of L is defined by L 2 = [L,L], L n+ = [L,L n ] for n >. L is called nilpotent if L n = for some n. It should be noted that if L is nilpotent, then L must be solvable. The nilradical of L is defined to be the (unique) maximal nilpotent ideal of L, denoted by nilrad(l). It is a classical result that if L is solvable, then L 2 = [L,L] nilrad(l). From [5], we have that (2) dim(nilrad(l)) 2 dim(l). The triangular algebra T(n) is the n(n )-dimensional Lie algebra whose basis is the 2 set of strictly upper-triangular matrices, {N ik i < k n} defined by multiplications (3) [N ik,n ab ] = δ ka N ib δ bi N ak. 2

3 Theleft-annihilatorofaLeibnizalgebraListheidealAnn l (L) = {x L [x,y] = y L}. Note that the elements [x,x] and [x,y] + [y,x] are in Ann l (L), for all x,y L, because of (). An element x in a Leibniz algebra L is nilpotent if both (L x ) n = (R x ) n = for some n. In other words, for all y in L [x, [x,[x,y]]] = = [[[y,x],x],x]. A set of matrices {X α } is called linearly nilindependent if no non-zero linear combination of them is nilpotent. In other words, if f X = c α X α, α= then X n = implies that c α = for all α. A set of elements of a Leibniz algebra L is called linearly nilindependent if no non-zero linear combination of them is a nilpotent element of L. 3. Classification Let T(n) be the n(n )-dimensional triangular (Lie) algebra over the field F (C or 2 R) with basis {N ik i < k n} and products given by (3). We will extend T(n) to a solvable Leibniz algebra L of dimension n(n )+f by appending linearly nilindependent 2 elements {X,...,X f }. In doing so, we will construct an indecomposable Leibniz algebra whose nilradical is T(n). We construct the vector N = (N 2 N 23 N (n )n N 3 N (n 2)n N n ) T whose components are the basis elements of the nilradical ordered along consecutive off-diagonals (N i(i+) in order, then N i(i+2) in order,...). Then since [L,L] nilrad(l), the brackets of L are 3

4 given by (3) and [X α,n ik ] = A α ik,pqn pq [N ik,x α ] = B α ik,pq N pq [X α,x β ] = σ αβ pq N pq. usingeinsteinsummationnotationonrepeatedindices(fromhereonward), where α,β f, A α ik,pq,σαβ pq F. Note that A α F r r, N T(n) r where r = 2 n(n ). To classify Leibniz algebras L(n,f) we must classify the matrices A α and B α and the constantsσ αβ pq. TheJacobiidentitiesforthetriples{X α,n ik,n ab },{N ik,n ab,x α },{N ik,x α,n ab } with α f, i < k n, a < b n give us respectively (4a) (4b) (4c) δ ka A α ib,pqn pq δ bi A α ak,pqn pq +A α ik,bqn aq A α ik,pan pb A α ab,kqn iq +A α ab,pin pk = δ ka B α ib,pq N pq δ bi B α ak,pq N pq +B α ik,bq N aq B α ik,pa N pb B α ab,kq N iq +B α ab,pi N pk = δ ka A α ib,pqn pq δ bi A α ak,pqn pq +A α ik,bqn aq A α ik,pan pb +B α ab,kqn iq B α ab,pin pk =. As a consequence of (4a) and (4c), we also have that A α ab,pin pk A α ab,kqn iq = (B α ab,pin pk B α ab,kqn iq ). Thus A α ab,pi = Bα ab,pi if p < i and Aα ab,kq = Bα ab,kq if k < q. Therefore (5) A α ab,ik = Bα ab,ik ab,ik except ik = n. 4

5 Similarly thejacobi identities forthe triples {X α,x β,n ab }, {X α,n ik,x β }, {N ik,x α,x β } with α,β f and i < k n give us respectively (6a) (6b) (6c) [A α,a β ] ik,pq N pq = σ αβ kq N iq σ αβ pi N pk [A α,b β ] ik,pq N pq = (σ αβ kq N iq σ αβ pi N pk) (B β A α +B α B β ) ik,pq N pq = σ αβ kq N iq σ αβ pi N pk. Unlike the Lie case, these give nontrivial relations for f = or α = β when f >. The Jacobi identity for the triple {X α,x β,x γ } with α,β,γ f gives us (7) σ βγ pq Aα pq,ik σαβ pq Bγ pq,ik σαγ pq Aβ pq,ik =. Again, we do not require α,β,γ to be distinct, which in particular gives nontrivial relations for f. In order to simplify the matrices A α and B α and the constants σ αβ pq we will make use of several transformations which leave the commutation relations (3) invariant. Namely Redefining the elements of the extension: (8) X α X α +µ α pq N pq, µ α pq F A α ik,ab Aα ik,ab +δ kbµ α ai δ iaµ α kb Bik,ab α Bα ik,ab δ kbµ α ai +δ iaµ α kb. Changing the basis of nilrad(l): (9) N GN, G GL(r,F) A α GA α G B α GB α G. Taking a linear combination of the elements X α. 5

6 The matrix G must satisfy certain restrictions discussed later in order to preserve the commutation relations (3) of nilrad(l). Note that N n is not used in (8) since it commutes with all the elements in nilrad(l). Since (7) gives relations between the matrices A α, B α and the constants σpq αβ, the unused constant µ α n can be used to scale the constants σαβ pq when f 2: () σ αβ pq X α X α +µ α n N n, µ α n F σαβ pq +µβ n Aα n,pq +µα n Bβ n,pq. In this transformation A α is invariant, so we will be able to simplify some constants σ αβ pq. 4. Extensions of T(4) In this paper we will focus on triangular algebras T(n) with n 4 because: T(2) is a one-dimensional algebra (hence by (2) L has dimension at most 2) and the Jacobi identity gives that the only family of solvable non-lie Leibniz algebras with one-dimensional nilradical are given by L(c) = a,b with [a,a] = [a,b] =, [b,a] = ca, [b,b] = a where c F. T(3) is a Heisenberg Lie algebra, and Leibniz algebras with Heisenberg nilradical were classified in [8]. Now we will consider the case when n = 4. In particular, N = (N 2 N 23 N 34 N 3 N 24 N 4 ) T and r = 6. We can proceed by considering the relations in (4a) and (4b) for i < k 4, a < b 4, k a, b i (a) (b) A α ik,bq N aq A α ik,pa N pb A α ab,kq N iq +A α ab,pi N pk = B α ik,bqn aq B α ik,pan pb B α ab,kqn iq +B α ab,pin pk =. Similarly for i < k = a < b 4, we obtain 6

7 (2a) (2b) A α ib,pqn pq +A α ik,bqn kq A α ik,pkn pb A α kb,kqn iq +A α kb,pin pk = B α ib,pq N pq +B α ik,bq N kq B α ik,pk N pb B α kb,kq N iq +B α kb,pi N pk =. Using the linear independence of the N ik with equation (a), we can obtain relationships among the entries of the matrices A α, summarized in the matrix below. For example, letting ik = 2 and ab = 34, the coefficient of N 4 gives A α 2,3 + Aα 34,24 =, the coefficient of N 3 gives A α 34,23 =, and the coefficient of N 24 gives A α 2,23 =. Using equation (b), we obtain the same relationships among the entries of B α. A α 2,34 A α 2,3 A α A α 34,2 (A α 2,3 = ) (A α 2,34) (A α 34,2 ) Applying (2a) and (2b) in the same way, A α becomes: A α 2,2 A α 2,3 A α 23,23 A α 23,3 A α 23,24 A α A α 34,34 (A α 2,3 = ) A α 2,2 +Aα 23,23 (A α 23,24 ) A α 23,23 +A α 34,34 (A α 23,3) A α 2,2 +Aα 23,23 +Aα 34,34 7

8 As before, B α has the same form above. This with (5) implies that B3,4 α = Bα 23,24 = A α 23,24 = Aα 3,4. Similarly, Bα 24,4 = Aα 24,4 and Bα 4,4 = Aα 4,4. We can further simplify matrix A α by performing the transformation specified in (8). Choosing µ α 2 = Aα 23,3, µα 23 = Aα 2,3, µα 34 = Aα 23,24, µα 3 = Aα 34,4, and µα 24 = Aα 2,4 leads to A α 23,3 = A α 2,3 = A α 23,24 = A α 34,4 = A α 2,4 =. This gives us the matrices A α = A α 2,2 A α 2,24 A α 23,23 A α 23,4 A α 34,34 A α 34,3 A α 3,3 A α 24,24 A α 4,4 A α 2,2 A α 2,24 B2,4 α A α 23,23 B23,4 α B α A α 34,34 A α 34,3 B34,4 α = A α 3,3 A α 24,24 A α 4,4 k A α ik,ik = p=i A α p(p+),p(p+). Note that A α 2,2, Aα 23,23, and Aα 34,34 cannot simultaneously equal, otherwise the nilradical would no longer be T(4). The nilindependence among the A α implies that T(4) can have at most a three-dimensional extension, since there are three parameters on the diagonal. 8

9 The form of the matrices A α implies that the only nonzero elements of [A α,a β ] are [A α,a β ] 2,24, [A α,a β ] 23,4, [A α,a β ] 34,3. The linear independence of the N ik with equation (6a), yields (3) (4) [A α,a β ] = [X α,x β ] = σ αβ 4 N 4. Forexample, lettingik = 2inequation(6a),thecoefficientofN 24 impliesthat[a α,a β ] 2,24 = and the coefficient of N 4 implies that σ αβ 24 = [A α,a β ] 2,4 =. Henceforth we will abbreviate σ αβ 4 = σαβ as all other σ αβ pq =. Since the A α commute by (3), (6a) and (6b) imply (5) [A α,b β ] =. Considering (5) componentwise, we find that B β 2,4 (Aα 4,4 Aα 2,2 ) = Bβ 34,4 (Aα 4,4 A α 34,34) = (A β 23,4 +B β 23,4)(A α 4,4 A α 23,23) =. Furthermore, by (5) and (6c), = B α A β + B β B α = (A β +B β )B α. Componentwise, this tells us that (6) = B β 2,4A α 4,4 = B β 34,4A α 4,4 = (A β 23,4 +B β 23,4)A α 4,4. In particular, if B β has a nontrivial off-diagonal entry, then B β 2,4 Aα 2,2 = Aα 4,4 =, α (7) B β 34,4 Aα 34,34 = Aα 4,4 =, α B β 23,4 A β 23,4 A α 23,23 = Aα 4,4 =, α. The form of the matrices A α and B α imply that (7) becomes (8) σ αβ A γ 4,4 σαγ A β 4,4 +σβγ A α 4,4 =. 9

10 By adding equations of form (8), we get (9) (σ βγ +σ γβ )A α 4,4 =. For example (σ 2 +σ 2 )A α 4,4 = is obtained by adding (8) with β =,γ = 2 to (8) with β = 2,γ =. Onarelatednote,since[X β,x β ] Ann l (L),wehave = [[X β,x β ],X α ] = [σ ββ N 4,X α ] = σ ββ A α 4,4N 4. Thus, (2) σ ββ A α 4,4 =. As a consequence of (5), (4), (6), (9), and (2), we have the following result. Lemma 4.. If A α 4,4 for any α =,...,f, then the Leibniz algebra is a Lie algebra. The form of the matrices A α and B α imply that the transformation () becomes (2) σ αβ σ αβ +µ β 4A α 4,4 µ α 4A β 4,4. For f = 2, suppose A α 4,4 for some α, and without loss of generality assume that α =. Then choosing µ 4 = and µ 2 4 = σ2 ; (2) makes σ 2 =. For f = 3, suppose A 4,4 A α 4,4 for some α, and without loss of generality assume that α =. Then choosing µ 4 = and µβ 4 = σβ A 4,4 for β = 2,3; (2) makes σ β =. By (8), we also have σ 23 =. Combining these results for f = 2, 3 and employing (2) for f =, we have: σ αβ N 4 if A (22) [X α,x β 4,4 ] = = = Af 4,4 = otherwise.

11 Now we will utilize matrices G to simplify the structure of matrices A α and B α. Perform transformation (9), given by N G N, with g g g 2 g 3 g 4 G =. Observe that G acts invariantly on the commutation relations (3). It does, however, transform matrices A α and B α by A α G A α G and B α G B α G, respectively. In particular, G transforms the following components A α 2,24 Aα 2,24 +g (A α 24,24 Aα 2,2 ) A α 23,4 Aα 23,4 +g 2(A α 4,4 Aα 23,23 ) A α 34,3 A α 34,3 +g 3 (A α 3,3 A α 34,34) B2,4 α Bα 2,4 g (A α 4,4 Aα 2,2 ) B23,4 α B23,4 α g 2 (A α 4,4 A α 23,23) B34,4 α B34,4 α g 4 (A α 4,4 A α 34,34). We use the matrix G to eliminate some entries in A α and B α. However, if B α 2,4 or B α 34,4 is not zero, then by (7), G leaves that entry of B α invariant. Hence, we can use g, g 2, and g 3 to eliminate at most 3 off-diagonal elements. Note: In this step, we consider only transformations of the form G = I. Any I other transformation which leaves (3) and the form of A α invariant, but eliminates B2,4 α or B34,4 α, would provide an isomorphism from a non-lie Leibniz algebra to a Lie algebra. It is, however, possible to scale such entries, which we will consider in the next case.

12 Let the diagonal matrix G 2 be G 2 = g 2 g23 g 34 g2g23, g ik F\{}. g 23 g 34 g2g23g34 Note that G 2 preserves commutation relations (3). Our transformation of nilrad(l) will be defined by G = G 2 G. Observe that G 2 transforms A α and B α by A α ik,ab g ik A α ik,ab g and ab Bik,ab α g ik Bik,ab α g, respectively, where g ik = (G 2 ) ik = k g j(j+). Hence, we can scale up ab j=i to three nonzero off-diagonal elements to. In the case of Lie algebras, it may be necessary to scale to ± over F = R. This issue does not arise in Leibniz algebras of non-lie type, because we have greater restrictions on the number of nonzero entries. 4.. Leibniz algebras L(4,). The Lie cases for nilrad(l) = T(4), with f =, have been previously classified in [9], so we will focus on the Leibniz algebras of non-lie type. We know that all such algebras will have A 4,4 = by Lemma 4., where A = A will be of the form found in [9]. Since A is not nilpotent and A 4,4 =, we know that there is at most nonzero off-diagonal entry in A. Altogether, there are classes of Leibniz algebras of non-lie type. Of these, there are 2 two-dimensional families, and 8 one-dimensional families. The matrices A and B for these can be found in Table in the appendix Leibniz algebras L(4,2). Again, all Lie cases for nilrad(l) = T(4), with f = 2, were classified in [9]. So, focusing on Leibniz algebras of non-lie type, we again require that A 4,4 = A 2 4,4 = by Lemma 4.. As a result, if Bik,4 α Aα ik,4, for any α or pair ik, then A β ik,ik = Aβ 4,4 = β, which makes it impossible to have two linearly nilindependent matrices A and A 2. Therefore, there is four-dimensional family of Leibniz algebras of 2

13 non-lie type, and their matrices A = B and A 2 = B 2 can be found in Table 2 in the appendix Leibniz algebras L(4, 3). There is only one Lie algebra that is a three-dimensional extension of T(4), again given in [9]. Since we cannot have three linearly nilindependent matrices of form A α with A 4,4 = A 2 4,4 = A 3 4,4 =, it is impossible to have a threedimensional extention of T(4) that is of non-lie type, by Lemma 4.. Theorem 4.2. Every Leibniz algebra L(4,f) is either of Lie type, or is isomorphic to precisely one algebra represented in Table or Table Solvable Lie algebras L(n,f) for n 4 We are now going to consider Leibniz algebras L with nilrad(l) = T(n). Recall from (5), A α ik,ab = Bα ik,ab for all ab n. We have the following result: Lemma 5.. Matrices A α = (A α ik,ab ) and Bα = (Bik,ab α ), i < k n, a < b n have the following properties. i. A α and B α are upper-triangular. ii. The only off-diagonal elements of A α and B α which may not be eliminated by an appropriate transformation on X α are: A α 2,2n, A α j(j+),n (2 j n 2), A α (n )n,(n ), B α 2,2n, Bα j(j+),n ( j n ), Bα (n )n,(n ). iii. The diagonal elements A α i(i+),i(i+) and Bα i(i+),i(i+), i n, are free. The remaining diagonal elements of A α and B α satisfy k A α ik,ik = k A α j(j+),j(j+), Bα ik,ik = Bj(j+),j(j+) α, k > i+. j=i 3 j=i

14 Proof. The form of the matrices A α given in Lemma 5. follows from (4a) by induction on n, as shown in [9]. Similarly, properties i. and iii. follow for B α from (4b). Property ii. for matrices B α follows from (5). As a consequence of property iii. and (5), we have that A α n,n = Bα n,n. Lemma 5. asserts that A α hasn free entries onthediagonal andnonzero off-diagonalentries possible in only n locations, represented by in the matrix below. The form of B α is the same, save for nonzero off-diagonal entries possible in two additional locations, represented by b and b 2 in the matrix below. b.... b 2... Lemma 5.2. The maximum degree of an extension of T(n) is f = n. Proof. The proof follows from the fact that the A α are nilindependent and that we have, at most, n parameters along the diagonal. The form of the matrices A α implies that the only nonzero elements of [A α,a β ] are [A α,a β ] 2,2n, [A α,a β ] j(j+),n (2 j n 2), [A α,a β ] (n )n,(n ). 4

15 As before, the linear independence of the N ik with equations (6a) and (6b), yields (23) (24) [A α,a β ] = [A α,b β ] = [X α,x β ] = σ αβ nn n. From Lemma 5., (7) becomes σ αβ A γ n,n σαγ A β n,n +σβγ A α n,n =. Lemma 5.3. Matrices A α and B α can be transformed to a canonical form satisfying [A α,a β ] = [A α,b β ] = σ αβ N n if A [X α,x β n,n ] = = = Af n,n = otherwise. Proof. The first two identities of this lemma have already been shown. The argument for the third identity is the same as (22), using (σ βγ +σ γβ )A α n,n = and σββ A α n,n =. 5.. Change of basis in nilrad(l(n, f)). As before, we perform the transformation (9) on N by use of the matrix G, with G defined to be all zeroes except (G ) ik,ik =, and (G ) 2,n,(G ) (n )n,n,(g ) ab,ik F where {ab,ik} = {2,2n},{(n )n,(n )},{j(j + ),n} for 2 j n 2. Therefore, the zero entries of G are the off-diagonal entries of B α that are guaranteed to be zero. Note that the transformation given by G preserves commutation relation (3). Matrices A α and B α are transformed by conjugation with G, leaving the diagonal elements invariant and giving A α ik,ab Aα ik,ab +(G ) ik,ab (A α ab,ab Aα ik,ik ) Bik,ab α Bik,ab α (G ) ik,ab (A α ab,ab A α ik,ik). 5

16 By(24),wehavethat = [A α,b β ] 2,n = B β 2,n (Aα 2,2 Aα n,n )and = [Aα,B β ] (n )n,n = B β (n )n,n (Aα (n )n,(n )n Aα n,n). Consequently, G cannot eliminate the entries B β 2,n and B β (n )n,n. Lemma 5.4. Matrices A α and B α will have a nonzero off-diagonal entry A α ik,ab or Bα ik,ab, respectively, only if A β ik,ik = Aβ ab,ab, β =,...,f. Proof. For A α, the proof of Lemma 5.4 follows from (23), as shown in [9]. Similarly for B α, the proof of Lemma 5.4 follows from considering (24) componentwise. Namely, we find that = [A β,b α ] 2,n = B α 2,n (Aβ n,n A β 2,2), and similar identities for B α 2,2n and Bα (n )n,(n ). The commutation relations for [A α,b β ] j(j+),n gives that B α j(j+),n (Aβ n,n Aβ j(j+),j(j+) ) = A β j(j+),n (Aα n,n A α j(j+),j(j+) ) =. Now consider a second transformation G 2 given by N G 2 N, where G 2 is the diagonal matrix (G 2 ) ik,ik = g ik and g ik = k g j(j+). The matrices A α and B α are transformed by j=i conjugation by G 2. Thus A α ik,ab g ik A α ik,ab g and Bα ik,ab g ik Bik,ab α. This transformation ab g ab can be used to scale up to n nonzero off-diagonal elements to. For Lie algebras over the field F = R it may be that some entries have to be scaled to. Since the only non-lie cases occur when A β n,n = for all β, then Bα ik,n Aα ik,n implies A β ik,ik = for all β by Lemma 5.4. Since the extensions Xα arerequired to benilindependent, this imposes restrictions on the degree f of non-lie extensions of T(n). In particular, this implies that in the maximal case f = n, L(n,n ) must be Lie. Such algebras have been classified in [9], and in fact there is a unique algebra L(n,n ) where all A α are diagonal and the X α commute. Theorem 5.5. Every solvable Leibniz algebra L(n, f) with triangular nilradical T(n) has dimension d = n(n ) + f with f n. It can be written in a basis 2 {Xα,N ik } with α =,...,f, i < k n satisfying [N ik,n ab ] = δ ka N ib δ bi N ak 6

17 [X α,n ik ] = A α ik,pq N pq [N ik,x α ] = Bik,pq α N pq [X α,x β ] = σ αβ N n. Furthermore, the matrices A α and B α and the constants σ αβ satisfy: i. The matrices A α are linearly nilindependent and A α and B α have the form specified in Lemma 5.. A α commutes with all these matrices, i.e. [A α,a β ] = [A α,b β ] =. ii. Bik,ab α = Aα ik,ab for ab n, and Bα n,n = A α n,n. iii. L is Lie and all σ αβ =, unless A γ n,n = for γ =,...,f. iv. The remaining off-diagonal elements A α ik,ab and Bα ik,ab are zero, unless Aβ ik,ik = Aβ ab,ab for β =,...,f. v. In the maximal case f = n, there is only one algebra, which is isomorphic to the Lie algebra with all A α diagonal where all X α commute. Acknowledgements. The authors gratefully acknowledge the support of the Departments of Mathematics at Spring Hill College, the University of Texas at Tyler, and West Virginia University: Institute of Technology. 7

18 References [] Albeverio, Sh., A. Ayupov, B. Omirov. On nilpotent and simple Leibniz algebras, Comm. Algebra. 33 (25), no., [2] Albeverio, S., B. A. Omirov, I. S. Rakhimov. Classification of 4 dimensional nilpotent complex Leibniz algebras, Extracta Math. 2 (26), no. 3, [3] Ayupov, Sh. A., B. A. Omirov. On Leibniz algebras, Algebra and Operator Theory. Proceedings of the Colloquium in Tashkent, Kluwer, (998). [4] Barnes, D. On Levi s theorem for Leibniz algebras, Bull. Austral. Math. Soc. 86 (22), no. 2, [5] Barnes, D. Some theorems on Leibniz algebras, Comm. Algebra. 39 (2), no. 7, [6] Barnes, D. On Engel s Theorem for Leibniz Algebras, Comm. Algebra. 4(22), no. 4, [7] Batten-Ray, C., A. Hedges, E. Stitzinger. Classifying several classes of Leibniz algebras, Algebr. Represent. Theory. To appear, arxiv: [8] Bosko, L., J. Dunbar, J.T. Hird, K. Stagg. Solvable Leibniz algebras with Heisenberg nilradical, Comm. Algebra. To appear, arxiv: [9] Bosko, L., A. Hedges, J.T. Hird, N. Schwartz, K. Stagg. Jacobson s refinement of Engel s theorem for Leibniz algebras, Involve. 4 (2), no. 3, [] Campoamor-Stursberg R. Solvable Lie algebras with an N-graded nilradical of maximum nilpotency degree and their invariants, J. Phys A. 43 (2), no. 4, 4522, 8 pp. [] Casas J. M., M. Ladra, B. A. Omirov, I. A. Karimjanov. Classification of solvable Leibniz algebras with null-filiform nilradical, Linear Multilinear Algebra. 6 (23), no. 6, [2] Casas J. M., M. Ladra, B. A. Omirov, I. A. Karimjanov. Classification of solvable Leibniz algebras with naturally graded filiform nil-radical, Linear Algebra Appl. 438 (23), no. 7, [3] Loday, J. Une version non commutative des algebres de Lie: les algebres de Leibniz, Enseign. Math. (2) 39 (993), no. 3-4, [4] Loday, J., T. Pirashvili. Universal enveloping algebras of Leibniz algebras and (co)homology, Math. Ann. 296 (993), no., [5] Mubarakzianov, G. M. Some problems about solvable Lie algebras. Izv. Vusov: Ser. Math. (966), no., (Russian). [6] Ndogmo, J. C., P. Winternitz. Solvable Lie algebras with abelian nilradicals, J. Phys. A. 27 (994), no. 8,

19 [7] Omirov, B. Conjugacy of Cartan subalgebras of complex finite dimensional Leibniz algebras, J. Algebra. 32 (26), no. 2, [8] Rubin, J. L., P. Winternitz. Solvable Lie algebras with Heisenberg ideals, J. Phys. A: Math. Gen. 26 (993), no. 5, [9] Tremblay P., P. Winternitz. Solvable Lie algebras with triangular nilradicals, J. Phys. A. 3 (998), no. 2, [2] Wang, Y., J. Lin, S. Deng. Solvable Lie algebras with quasifiliform nilradicals, Comm. Algebra. 36 (28), no., Department of Mathematics, Spring Hill College, Mobile, AL address: lboskodunbar@shc.edu Department of Mathematics, Spring Hill College, Mobile, AL address: mjburke@ .shc.edu Department of Mathematics, Spring Hill College, Mobile, AL address: jdunbar@shc.edu Department of Mathematics, West Virginia University, Institute of Technology, Montgomery, WV address: John.Hird@mail.wvu.edu Department of Mathematics, The University of Texas at Tyler, Tyler, TX address: kstagg@uttyler.edu 9

20 Table. The Leibniz algebras L(4, ) of non-lie type No. A B σ, parameters () a a +a B = A σ F a F (2) σ F (3) σ F (4) σ F (5) B = A σ F (6) B = A σ F (7) σ F (8) b σ,b F σ,b+ not both zero (9) B = A σ F () σ F 2

21 Table 2. The Leibniz algebras L(4, 2) of non-lie type No. A = B A 2 = B 2 σ () σ,σ 22,σ 2,σ 2 F σ,σ 22,σ 2 +σ 2 not all zero 2