The basic example of a lie algebra arises from using the commutator in an associative algebra, so x. The levi decomposition states that every finite dimensional lie algebra. Representations of codimension one nonabelian nilradical lie. Solvable leibniz algebras with naturally graded nonlie p. Request pdf the generalised nilradical of a lie algebra a solvable lie algebra l has the property that its nilradical n contains its own centraliser. On the maximal finitedimensional lie algebras with given. The generalised nilradical of a lie algebra lancaster.
Solvable lie algebras with abelian nilradicals 407 and of the restriction of ad l to the nilradical of l. We observe that a similar assertion holds for characteristic sequences n 1. We suppose there are three quantities tx, ty, and tz with a lie product indicated by, tx,ty itz, ty,tz itx, tz,tx ity. Pdf nilpotency degree of the nilradical of a solvable. The generalised nilradical of a lie algebra sciencedirect. Solvable leibniz algebras with an abelian nilradical. We prove an exact estimate for dimensions of lie algebras from this set. Alg algebras, algebra homomorphisms lie lie algebras, lie algebra homomorphisms a functor is a map between categories f. A solvable lie algebra l has the property that its nilradical n contains. 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.
F such that g is isomorphic to the lie algebra of g. There exists a unique maximal solvable ideal, called the radical, for the following reason. I am not aware of a good definition of reductive lie algebra outside characteristic 0, so it was unclear to me if you had a definition. Lie algebra g are conjugate by an inner automorphism of the form exp ad z for some element z in the nilradical of g.
Let l be an almostalgebraic aalgebra and let b be an almostalgebraic subalgebra of l. The nilradical n i l g \displaystyle \mathfrak nil\mathfrak g. For a given solvable lie algebra l its nilradical nrl is unique and its dimension satisfies dim nrl dim l. For lowdimensional lie algebras this makes it possible to identify the given lie algebra completely. Sevendimensionalliealgebraswithnilradical isomorphicto a r. Lie algebras, generalised nilradical, quasi nilpotent radical, quasiminimal, quasisimple, socle, centraliser. This is interesting because it gives a representation of l as a subalgebra of the derivation algebra of its nilradical with kernel equal to the centre of n. It should be noted that lie superalgebra with a maximal nilindex only exists in the variety of lie2,m when m is odd. If 1 is a nilpotent element of l, it will be represented by a nilpotent matrix in any finitedimensional representation. Let g be the lie algebra of g and b the lie algebra of b. This essay attempts to provide an overview of lie algebras and how their classi cation problem is. Iii cohomology of the nilradicals of parabolic algebras. 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. The generalised nilradical of a lie algebra lancaster eprints.
The generalised nilradical of a lie algebra request pdf. The lie algebras sl2, o3, t2, n3 all have dimension 3. Firstly let a \displaystyle \mathfrak a and b \displaystyle \mathfrak b be two solvable ideals of g \displaystyle \mathfrak g. Note that any subspace of an abelian lie algebra is an ideal. Lie algebra modules with finite dimensional weight spaces, i 759 i denotes an adhstable reductive complement to u in p. We also show that there may exist several lie algebras in this set, possessing the maximal dimension. In this example we calculate the nilradical of a certain 4dimensional lie algebra. All solvable lie algebras whose nilradical is the naturally graded. This restriction zinr 1 is realized by matrices a e krxr where k is the ground field assumed to be of characteristic zero. Pdf nilpotency degree of the nilradical of a solvable lie. We give the classification of all solvable leibniz superalgebras such that even part is a lie algebra and nilradical is a lie superalgebra with a maximal. The nilradical nrl of a solvable lie algebra l is the maximal nilpotent ideal of l.
In algebra, the nilradical of a lie algebra is a nilpotent ideal, which is as large as possible. Cohomologically rigid solvable lie algebras with a nilradical. A lie algebra l is decomposable if it can, by change of basis, be transformed into a direct sum of two or more lie algebras. Is every nilpotent lie algebra the nilradical of some lie.
If a m nk, then the space of n nmatrices has the structure of a lie algebra with lie bracket x. On the identification of a lie algebra given by its structure. Solvable leibniz superalgebras whose nilradical is a lie. Lee is a vector space together with an operation called the lie bracket, an alternating bilinear map. They are called the radical and the nilradical of the. In the setting of lie algebras unlike for algebraic groups it is safest to explicitly assume char. Clearly condition 5 is the easiest way to check this, assuming you have handy a table of highest roots of the simple lie algebras. V on the classification of complex semisimple lie algebras. Lie algebras and ados theorem princeton university. In this paper, we investigate solvable leibniz superalgebras whose nilradical is a lie superalgebra with maximal nilindex. Here we consider several possible generalisations of the nilradical for which this property holds in any lie algebra. All solvable extensions of a class of nilpotent lie algebras.
X,y,calledthelie bracket, satisfying the jacobi identity. Pdf on nov 30, 2015, david a towers and others published the generalised nilradical of a lie algebra find, read and cite all the research you need on researchgate. Then l is an almostalgebraic aalgebra if and only if it is elementary. Ja a denotes the category of all left amodules, where a is a re lie algebra. Our main result states that for every lie algebra l, lzn, where zn is the centre of the nilradical of l, is isomorphic to dern where n is an ideal of lsuch that n nis the socle of a semisimple lie algebra.
This is interesting because gives a representation of l as a subalgebra of the derivation algebra of its nilradical with kernel equal to the centre of n. This means, that the linear lie algebras are the only relevant case for nite dimensional, real or complex lie algebras. In algebra, the nilradical of a lie algebra is a nilpotent ideal, which is as large as possible the nilradical of a finitedimensional lie algebra is its maximal nilpotent ideal, which exists because the sum of any two nilpotent ideals is nilpotent. A solvable lie algebra l has the property that its nilradical n contains its own centraliser. Then the dimension of q is not greater than the maximal number of nilindependent derivations of n. Prove that the lie algebra from example 2 is isomorphic to o3 by comparing the structure constants. Fpxqnfpyqpc 2, and preserves both identity morphisms and composition of morphisms. The study of these ideals has attracted much recent attention. In fact, any 1dimensional subspace of a lie algebra is an abelian subalgebra.
Let l be a solvable leibniz algebra and n be its nilradical. Proofs are based on a concept of algebraic splitting for finitedimensional lie. The computations can be examined by setting i nfolevel nilradical to 2 or 3. The semisimple part can be described from simple lie ideals see 6 and therefore, the main problem is to study the solvable radical. This includes algorithms accomplishing decomposition into a direct sum, identification of the radical and the levi decomposition, and the computation of the nilradical and of the casimir invariants. Jag, h denotes the category of all gmodules that decompose into direct sums of. In this latter formulation, the hermitian lie algebra structure is obscured, for h seems not to be hermitian. Pdf on nov 30, 2015, david a towers and others published the generalised nilradical of a lie algebra find, read and cite all. With a value of 2, an outline of the main steps is displayed while a value of 3 provides all the intermediate steps.
301 613 1153 881 492 896 1556 1098 1475 801 889 221 696 634 1123 689 29 976 421 1213 223 1094 1303 1043 138 1287 189 501 127 268 1430