Some criteria for solvable and supersolvable leibniz algebras. The terms may also be applied to ideals of, since every ideal of. The claim is not correct for your definition of metabelian although the sum of two solvable ideals is again solvable. Nilpotent and solvable algebras math 649, 20 dan barbasch february 14 dan barbasch nilpotent and solvable algebras math 649, 20. The lie algebra g constructed from the graph g is solvable, obtained as an abelian extension of a nilpotent lie algebra. Product structures on four dimensional solvable lie algebras. A subalgebra of is said to be nilpotent or solvable if is nilpotent or solvable when considered as a lie algebra in its own right. We give some basic properties of solvable lie algebras, and compare them with those of nilpotent lie algebras. Note also that the lie algebra gis not nilpotent if the graph g.
Solvable aalgebra completely solvable monolithic a. Moreover, we give several examples of families of rigid lie algebras in arbitrary dimension, some of them having its second cohomology group, in the chevalley cohomology, non trivial. Pdf solvable lie algebras with abelian nilradicals researchgate. These groups were first studied in the 1940s by philip hall, and are still studied today. A finitedimensional lie algebra l over a field f is called an a algebra if all of its nilpotent subalgebras are abelian. Then we construct a solvable lie algebra of dimension n by setting l fxd. The leftinvariant affine structures on a lie group g correspond bijectively to lsastructures on its lie algebra. Solvable leibniz algebras with naturally graded nonlie p. The solvable lie algebras of dimension not greater than four over a perfect field of reference are described in terms of their nilpotent frame, counted over finite. We compute this invariant for all complex nilpotent lie algebras of dimension n 7. Solvable lie a lgebras play an important role in lie theory. Leftsymmetric algebras lsas are lie admissible algebras arising from geometry. Proposition 1 the center of a nonzero nilpotent lie algebra g is nonzero. The leftinvarianta ne structures on a lie group g correspond bijectively to lsastructures on its lie algebra.
Chapter 7 solvable lie algebras from now on we assume that chark 0 and that the dimension of all lie algebras is. Linear lie algebras play a similar role in lie theory to abelian groups in group theory. A fundamental theorem due to levi 1 asserts that any. In mathematics, a lie algebra is solvable if its derived series terminates in the zero subalgebra. Computing the test rank of a free solvable lie algebra. An example of a solvable lie algebra is tn, or any abelian lie algebra.
Simple 3dimensional lie algebras suppose lis a simple 3dimensional lie algebra over k, where kis alge. Pdf solvable lie algebras of vector fields and a lies. In this paper we describe a simple method for obtaining a classification of smalldimensional solvable lie algebras. Pdf a class of solvable lie algebras and their casimir invariants. If g is a lie algebra the vector space spanned by all elements x, y x, y e g is an ideal in g, called the derived algebra 2g of g. Pdf product structures on four dimensional solvable lie. The semisimple part can be described from simple lie ideals see 6 and therefore, the main problem is to study the solvable radical. Capsubalgebras of lie algebras have been studied in ho70 and sti72. He also proved that in a supersolvable lie algebra, every subalgebra is a capsubalgebra. Pdf spectrum for a solvable lie algebra of operators. See discussions, stats, and author profiles for this publication at. As an application, we classify all rigid solvable lie algebras in dimension less or equal than eight, and we obtain partial results in dimension nine. Let k be any subspace of codimension 1 containing l,l, and let x.
Seminar sophus lie 2 1992 5758 version of july 20, 1995 an example of a solvable lie algebra michael wustner we shall consider a solvable real lie algebra g which is linearly spanned by the set compg of its compact elements and use the notation of 1. Pdf a procedure is presented for classifying solvable lie algebras with abelian nilradicals. Suppose that g is the lie algebra of a lie group g. A solvable lie algebra is split solvable if and only if the eigenvalues of are in for all in. Then the simplyconnected solvable lie group g with lie algebra g constructed from g satisfies. Dan barbasch nilpotent and solvable algebras math 649, 20. If lis a lie algebra over f, then an ideal iof lis an fvector subspace of lsuch that x. A finitedimensional lie algebra l over a field f is called an aalgebra if all of its nilpotent subalgebras are abelian. An ideal i of is called a nilpotent ideal, if i satis. We can also iterate the construction of the derived algebra in another way. L of codi mension 1, and a derivation d of k such that l fx d. Pdf on the spectral set of a solvable lie algebra of. We see from theorem 1 and the above discussion that we cannot expect to have a nice closedform result for solvable lie algebras of arbitrary dimensions.
Remark notice that any subalgebra and factor quotient algebra of a nilpotent resp. Lie algebra theory is nonetheless a rich and beautiful subject which will reward the physics and mathematics student wishing to study the structure of such objects, and who expects to pursue further studies in geometry. In tow15b, towers gave some properties of capsubalgebras in lie algebras, and proved that a lie algebra is solvable if and only if each of its maximal subalgebras is a capsubalgebra. Simple leftsymmetric algebras with solvable lie algebra. Using this method, we obtain the classification of three and fourdimensional solvable lie algebras over fields of any characteristic. This result is quite a useful tool in showing other conjugacy results and a malcev algebra version would be welcome. It organizes in a novel way the classification of solvable lie algebras of given dimension. The most natural example of a solvable lie algebra is the set of all upper triangular n nmatrices over an algebraically closed eld of characteristic zero.
The main goal of this section is to prove lies theorem that a complex solvable lie algebra of matrices is conjugate to an algebra of upper triangular matrices. The exposition is independent of lie grading theory. All solvable extensions of a class of nilpotent lie algebras of dimension n and degree of nilpotency n. Moreover, in 1 it was introduced a new concept of spectrum for complex solvable finite dimensional lie algebras of operators, which agrees with one of 5 and 2 in the case of a nilpotent lie. For lie groups the term solvable has the same meaning, and for lie algebras it means the obvious variation. On the rigidity of solvable lie algebras springerlink. Classification of solvable lie algebras project euclid. Moreover, if l is not abelian, then d and k can be chosen such that d is an outer derivation of k. Let g be a solvable lie algebra over an algebraically closed eld. All solvable extensions of a class of nilpotent lie algebras. The smallest nonsolvable group is the simple group a 5, the alternating group of order 60 inside the symmetric group s 5. The purpose of this paper is to obtain more detailed results on the structure of solvable lie aalgebras. The main goal of this section is to prove lies theorem that a complex solvable lie algebra of matrices is conjugate to an algebra of upper triangular. Classification of solvable lie algebras new approaches.
Solvable lie algebras of dimension q 4 over perfect fields core. Over an algebraically closed field a solvable lie algebra is completely solvable, but the dimensional real lie algebra of the group of euclidean isometries of the plane is solvable but not completely solvable. Based on the work of 20, a new approach for the investigation of solvable lie algebras by using their nilradicals is developed in the works, 21, 2325 and. The solvable groups are thus those groups whose simple successive quotients in a composition series are prime cyclic abelian groups. Rather less is known about aalgebras, though they have been studied and used by a number of authors. In particular, from the above proposition we see that gis solvable.
848 1474 449 333 1495 611 1330 160 876 544 1103 270 166 867 361 812 189 1348 1018 237 836 1451 1328 1266 905 1431 80 329 467 781 578 858 982 1099 473 1426