In section 3 we construct an abelian ideal of codimension 1 for a lie algebra g satisfying g n 1. On abelian subalgebras and ideals of maximal dimension in supersolvable lie algebras manuel ceballos 1. That is to say, a onedimensionalnecessarily abelian lie algebra is by definition not simple, even though it has no nontrivial ideals. I have made them public in the hope that they might be useful to others, but these are not o cial notes in any way. Suppose now that every subalgebra of a is an ideal and consider two arbitrary elements x and y of a. Maximal dimension of abelian ideals of a lie algebra and. Non abelian minimal closed ideals of transitive lie algebras.
Up to isomorphism the lie algebra n3,cof all strictly uppertriangular, three by three matrices is the unique threedimensional lie algebra with l0 one. Oriented tree diagram lie algebras and their abelian ideals. There is a unique onedimensional lie algebra, the abelian algebra u 1 with a single generator t and bracket t,t 0. A lie algebra is abelian when the commutator of any two elements vanishes. Keywordsabelian idealtree diagramsolvable lie algebra mr2000 subject classification17b0517b30. We characterise the maximal abelian subalgebras of solvable lie algebras and study solvable lie algebras containing an abelian subalgebra of codimension 2. A lie algebra is simple if it has no nontrivial ideals and is not abelian.
A non abelian lie algebra g is called simple if it has no non trivial ideals. A maximal solvable subalgebra is called a borel subalgebra. Nonabelian minimal closed ideals of transitive lie. We restrict our attention in this paper to solvmanifolds of iwasawa type. The algebra of vector fields on a manifold with additive operation given by pointwise sum and multiplication by the lie bracket explanation of abelian lie algebra. Any onedimensional lie algebra over a field is abelian, by the antisymmetry of the lie bracket. Prove that the lie algebra from example 2 is isomorphic to o3 by comparing the structure constants.
It is known that such an algebra necessarily has a codimension 1 abelian ideal. Abelian ideals in a borel subalgebra of a complex simple lie algebra. Examples of finite dimensional non simple non abelian lie. M for every left gmodule m, by regarding m as a ug. Suppose that the killing form of l is nondegenerate. If an mdimensional 3lie algebra l satisfies il m a.
Since the lie algebra of the center of g is the center of the lie algebra of g cf. Consider a lie algebra gover an algebraicallyclosed. Lie algebra theory without algebra new york university. Then l must be semisimple since any abelian ideal is contained in the kernel of. Prove that o2 and n2 are abelian 1dimensional lie algebras, hence they are isomorphic to kwith zero bracket. Concretely, taking number space rnas v, this is the.
Abelian ideals in a borel subalgebra of a complex simple. Notes on lie algebras cornell department of mathematics. A subset of a lie algebra is said to be an ideal if it is a vector subspace of under addition, and for any and. As such, we may identify an abelian lie algebra with its underlying vector space. On 3lie algebras with abelian ideals and subalgebras. Introduction let g be a nitedimensional lie algebra. Note that the latter is equivalent to lbeing solvable.
For arbitrary g, the quotient gg1 is an abelian lie algebra. Nov 16, 2009 abelian ideals of maximal dimension for solvable lie algebras. Let l be a supersolvable lie algebra of dimension n. The basic example of a lie algebra arises from using the commutator in an associative algebra, so x.
Notice that the condition that g be abelian is necessary, for if we consider gl n, the lie algebra of n nmatrices with entries in kwhose. As a consequence of the previous proposition g,g is again a characteristic ideal of g. Let ube a non empty subset of g, we call hui the lie subalgebra ideal generated by u. Note that any ideal is, in particular, also a lie subalgebra. If lis a twodimensional, nonabelian, complex lie algebra then lis isomorphic to the twodimensional lie algebra described above. In this section, we prove a generalized version of. If lis a lie algebra over f, then an ideal iof lis an fvector subspace of lsuch that x. L is the trivial lie algebra, of dimension 1 and abelian. Abelian ideals are solvable, so the other direction is obvious.
A lie algebra g is said to be abelian or commutative if any two of its element commute. A lie algebra is called semisimple if it is isomorphic to a direct sum of simple algebras. The lie algebra is called simple if it is not abelian and contains no proper ideals. In section 4 we show that lie algebras g with g n 2 are solvable or isomorphic to sl 2c c for some 0.
G,g vanishes the lie bracket of any two elements of g is always zero. Hofmann introduction in the article 27 moore and rosenberg proved that in the primitive ideal space priv g of the group c algebra cg of a connected lie group. Classification of solvable lie algebras new approaches. We show that algebras satisfy1ng minsi have an ascending series of ideals with factors simple or finitedimensional abelian, and that the type of such a series may be made any given ordinal number by suitable choice of lie algebra. Lie algebra homology and cohomology shenning tung november 26, 20 abstract in this project we give an application of derived functor. Lecture 11 the radical and semisimple lie algebras prof. In fact, lie ideals are exactly the kernels of lie algebra homomorphisms, as we will see next.
Every lie algebra lis decomposed as a solvable ideal radland a semisimple homomorphic image lradl. Representation theory of finite dimensional lie algebras. We show that our rprime ideal is 5afprime in the sense of kawamoto 4 and these two notions coincide when the lie algebra is finite dimensional. In section 5 we study nilpotent lie algebras g with g n 2 and explicitly construct an abelian ideal of codimension 2. A lie algebra g over the eld k is simple if there is no nontrivial k ideal and dimg 1. A lie algebra is a vector space gover some eld k, together. The lie algebra of the generators of the projective transformation is isomorphic to the lie algebra of traceless matrices.
Denote by g the maximal dimension of an abelian subalgebra of g, and by g the maximal dimension of an abelian ideal of g. In this paper, the main objective is to compare the abelian subalgebras and ideals of maximal dimension for finitedimensional supersolvable lie algebras. Hence every solvable lie algebra with nonzero center admits an outer derivation. A lie algebra g is called simple if g contains no ideals. The lie algebra of any closed normal subgroup of a lie group, is. The notion of solvability imitates the corresponding notion in group theory searching a proof of the general unsolvability of quintic and higher equations. Any nilpotent lie algebra is a fortiori solvable but the converse is not true. Any vector space can be viewed as an abelian lie algebra. Lie algebras 1 definition of a lie algebra k is a xed eld.
Pdf oriented tree diagram lie algebras and their abelian ideals. Let g be a finite dimensional lie algebra and rg its radical. Brookes part iii course on lie algebras, given at cam bridge university in michaelmas term, 2012. We say that l is a k algebra or algebra if we are given a bilinear map l l.
Almost abelian lie algebras are perhaps the next simplest lie. A famous result of cartan asserts that any simple complex lie algebra has a compact real form that is to say, the complex lie algebra is the complexi. Hello, i have recently started reading about lie algebras. For any natural number n, there is an abelian lie algebra of dimension n where for any two elements, the lie bracket is zero. Pdf abelian subalgebras on lie algebras researchgate. We show that the lie algebra of all endomorphisms of a vector space satisfies minsi. Cocycles on abelian groups and primitive ideals in group c. Abelian ideals in a borel subalgebra of a complex simple lie. Math 261a these notes are intended to clarify some aspects of simple lie groups and lie algebras. The 0 0dimensional lie algebra is the trivial lie algebra.
Onedimensional elementary abelian subalgebras can be construed as elements of the projec. An example of a solvable lie algebra is tn, or any abelian lie algebra. Lecture 11 the radical and semisimple lie algebras mit math. Lie algebras of derivations with large abelian ideals. Abelian ideals of maximal dimension for solvable lie algebras. A 0 0dimensional or 1 1dimensional lie algebra must be abelian. The kernel of it is a discrete group since the dimension is zero called the integer lattice of g and is denoted by. On 3 lie algebras with abelian ideals and subalgebras.
Give s the unique lie algebra structure for which n is an ideal the nilradical and such. The 1 1dimensional lie algebra is a simple object in liealg, but it is traditionally not considered a simple lie algebra. A lie algebra g is called abelian if the lie bracket vanishes for all elements in g. For example, if p is a subalgebra of some lie algebra q, and if mis an ideal in q, then lie multiplication in qyields an action of pon m. Contents preface pagexi 1 introduction 1 2 liegroups. A lie algebra lis called simple if lhas no ideals except itself and 0, and l. That is to say, a onedimensionalnecessarily abelianlie algebra is by definition not simple, even though it has no nontrivial ideals. We can also iterate the construction of the derived algebra in another way. Denote by g the maximal dimension of an abelian subalgebra of g, and by g the maximal dimension of an abelian ideal. The largest solvable ideal of a lie algebra is called the. Note the slightly different usage compared with group theory where a cyclic group of prime. Let l be a lie algebra, n an abelian ideal in l, and suppose that.
On abelian subalgebras and ideals of maximal dimension in. Abelian lie algebra article about abelian lie algebra by. Linear groups, nilpotent lie algebras, and identities. Abelian ideals in a borel subalgebra of a complex simple lie algebra patrick browne school of mathematics, statistics, and applied mathematics. I guess that this should be true, but how do you prove it. If a m nk, then the space of n nmatrices has the structure of a lie algebra with lie bracket x. We will prove that these results can be generalised to nilpotent ideals of arbitrary class. Is the lie algebra of a connected abelian group abelian. Ln is a ct lie algebra that acts fixedpointfreely on n.
Another reason for looking at these lowdimensional lie algebras is that they often occur as subalgebras of the larger lie algebras we shall meet later. However all the examples i have encountered so far are simple and semisimple lie algebras. If ais an ideal of lwe will consider it as an l algebra. An abelian lie algebra g is a lie algebra whose derived algebra g1. The solvable lie algebras and the semisimple lie algebras form two large and generally complementary classes, as is shown by the levi decomposition. Anticommutative algebras in which every subalgebra is an ideal. The lie algebra lzl is a subalgebra of gll via the adjoint representation. Zalesski i dedicated to the memory of our friend, richard e. Take for athe algebra of all operators endomorphisms of a vector space v. Here we explicitly construct an abelian ideal of codimension 2 in case of nilpotent lie algebras. Cocycles on abelian groups and primitive ideals in group calgebras of two step nilpotent groups and connected lie groups armin l udeking and detlev poguntke communicated by k. Let gbe a simple lie algebra, then gis a linear lie algebra i. It suffices to prove that if l has an abelian ideal of codimension 1, then l is an abelian 3 lie algebra. Finally we study the relation between a maximal, rprime or 5mprime ideal of a jordan algebra and the corresponding ideal of its koechertits lie algebra.
1232 87 211 881 898 1353 828 1227 1270 1339 1021 533 586 294 987 499 1167 1316 89 1455 80 742 178 425 1552 653 76 177 1392 338 103 613 766 653 414 853 1033 1288 1381