An Artinian theory for Lie algebras

Complemented Lie algebras are introduced in this paper (a notion similar to that studied by O. Loos and E. Neher in Jordan pairs). We prove that a Lie algebra is complemented if and only if it is a direct sum of simple nondegenerate Artinian Lie algebras. Moreover, we classify simple nondegenerate Artinian Lie algebras over a field of characteristic 0 or greater than 7, and describe the Lie inner ideal structure of simple Lie algebras arising from simple associative algebras with nonzero socle.     

The Jordan socle and finitary Lie algebras

In this paper we introduce the notion of Jordan socle for nondegenerate Lie algebras, which extends the definition of socle given in [A. Fernández López et al., 3-Graded Lie algebras with Jordan finiteness conditions, Comm. Algebra, in press] for 3-graded Lie algebras. Any nondegenerate Lie algebra with essential Jordan socle is an essential subdirect product of strongly prime ones having nonzero Jordan socle. These last algebras are described, up to exceptional cases, in terms of simple Lie algebras of finite rank operators and their algebras of derivations. When working with Lie algebras which are infinite dimensional over an algebraically closed field of characteristic 0, the exceptions disappear and the algebras of derivations are computed.     

The Socle of a Metric n-Lie Algebra

We define the socle of an n-Lie algebra as the sum of all the minimal ideals. An n-Lie algebra is called metric if it is endowed with an invariant nondegenerate symmetric bilinear form. We characterize the socle of a metric n-Lie algebra, which is closely related to the radical and the center of the metric n-Lie algebra. In particular, the socle of a metric n-Lie algebra is reductive, and a metric n-Lie algebra is solvable if and only if the socle coincides with its center. We also calculate the metric dimensions of simple and reductive n-Lie algebras and give a lower bound in the nonreductive case.     

Strongly prime algebraic Lie PI-algebras

In a recent paper by the author and Golubkov, it was proved that a strongly prime Lie PI-algebra with an algebraic adjoint representation over an algebraically closed field of characteristic 0 is simple and finite dimensional. In this note, we derive this result from a more general one on strongly prime Lie PI-algebras with abelian minimal inner ideals, which is closely related to the intrinsic characterization of simple finitary Lie algebras with abelian minimal inner ideals.     

Representations of centrally-extended Lie algebras over differential operators and vertex algebras

We construct irreducible modules of centrally-extended classical Lie algebras over left ideals of the algebra of differential operators on the circle, through certain irreducible modules of centrally-extended classical Lie algebras of infinite matrices with finite number of nonzero entries. The structures of vertex algebras associated with the vacuum representations of these algebras are determined. Moreover, we prove that under certain conditions, the highest-weight irreducible modules of centrally-extended classical Lie algebras of infinite matrices with finite number of nonzero entries naturally give rise to the irreducible modules of the simple quotients of these vertex algebras. From vertex algebra and its representation point of view, our results with positive integral central charge are high-order differential operator analogues of the well-known WZW models in conformal field theory associated with affine Kac-Moody algebras. Indeed, when the left ideals are the algebra of differential operators, our Lie algebras do contain affine Kac-Moody algebras as subalgebras and our results restricted on them are exactly the representation contents in WZW models. Similar results with negative central charge are also obtained.     

On the socle of a noncommutative Jordan algebra

In this paper we study some questions related to the socle of a nondegenerate noncommutative Jordan algebra. First we show that elements of finite rank belong to the socle, and that every element in the socle is von Neumann regular and has finite spectrum. Next we show that for Jordan Banach algebras the socle coincides with the maximal von Neumann regular ideal. For a nondegenerate noncommutative Jordan algebra, the annihilator of its socle can be regarded as a radical which is, generally, larger than Jacobson radical. Moreover, a nondegenerate noncommutative Jordan algebra whose socle has zero annihilator is isomorphic to a subdirect sum of primitive algebras having nonzero socle (which were described in [4]). Finally, these results are specialized to the particular case of an alternative algebra.The authors wish to thank the referee for his suggestions for improving the presentation of the paper.     

Generalised Chain Conditions,Prime Ideals,and Classes of Locally Finite Lie Algebras

A Noetherian (Artinian) Lie algebra satisfies the maximal (minimal) condition for ideals.Generalisations include quasi-Noetherian and quasi-Artinian Lie algebras.We study conditions on prime ideals relating these properties.We prove that the radicalof any ideal of a quasi-Artinian Lie algebra is the intersection of finitely many prime ideals,and an ideally finite Lie algebra is quasi-Noetherian if and only if it is qussi-Artinian.Both properties are equivalent to soluble-by-finite.We also prove a structure theorem for serially finite Artinian Lie algebras.     

Prime Quotients of Jordan Systems and Lie Algebras

We show that, unlike alternative algebras, prime quotients of a nondegenerate Jordan system or a Lie algebra need not be nondegenerate, even if the original Jordan system is primitive, or the Lie algebra is strongly prime, both with nonzero simple hearts. Nevertheless, for Jordan systems and Lie algebras directly linked to associative systems, we prove that even semiprime quotients are necessarily nondegenerate.     

Metric Lie algebras and quadratic extensions

The present paper contains a systematic study of the structure of metric Lie algebras, i.e., finite-dimensional real Lie algebras equipped with a nondegenerate invariant symmetric bilinear form. We show that any metric Lie algebra g without simple ideals has the structure of a so called balanced quadratic extension of an auxiliary Lie algebra l by an orthogonal l-module a in a canonical way. Identifying equivalence classes of quadratic extensions of l by a with a certain cohomology set H²_Q(l,a), we obtain a classification scheme for general metric Lie algebras and a complete classification of metric Lie algebras of index 3.     

二次李三系的分解定理

有限维李三系称为二次的,如果它容许一个非退化的不变对称双线性型.无论是李三系分解为不可分解理想的直和,还是二次李三系分解为不可分解非退化理想的正交直和,证明了这两类分解在同构意义下都是唯一的.     

Complex finitary simple Lie algebras

An algebra is called finitary if it consists of finite-rank transformations of a vector space. We classify finitary simple Lie algebras over an algebraically closed field of zero characteristic. It is shown that any such algebra is isomorphic to one of the following¶ (1) a special transvection algebra \frak t(V,P)\frak t(V,\mit\Pi );¶ (2) a finitary orthogonal algebra \frak fso (V,q)\frak {fso} (V,q); ¶ (3) a finitary symplectic algebra \frak fsp (V,s)\frak {fsp} (V,s).¶Here V is an infinite dimensional K-space; q (respectively, s) is a symmetric (respectively, skew-symmetric) nondegenerate bilinear form on V; and P\Pi is a subspace of the dual V^* whose annihilator in V is trivial: 0={v ? V | Pv=0}0=\{{v}\in V\mid \Pi {v}=0\}.     

On the codimension growth of almost nilpotent Lie algebras

We study codimension growth of infinite dimensional Lie algebras over a field of characteristic zero. We prove that if a Lie algebra L is an extension of a nilpotent algebra by a finite dimensional semisimple algebra then the PI-exponent of L exists and is a positive integer.     

Simple left-symmetric algebras with solvable Lie algebra

Left-symmetric algebras (LSAs) are Lie admissible algebras arising from geometry. The leftinvariant affine structures on a Lie groupG correspond bijectively to LSA-structures on its Lie algebra. Moreover if a Lie group acts simply transitively as affine transformations on a vector space, then its Lie algebra admits a complete LSA-structure. In this paper we studysimple LSAs having only trivial two-sided ideals. Some natural examples and deformations are presented. We classify simple LSAs in low dimensions and prove results about the Lie algebra of simple LSAs using a canonical root space decomposition. A special class of complete LSAs is studied.     

Locally finite dimensional lie algebras and their derivation algebras

The derivation algebras of all locally finite dimensional locally simple Lie algebras over a field of characteristic 0 are determined. Every locally finite dimensional Lie algebra of countable dimension is a subalgebra of the outer derivation algebra outder (ℒ) for every Lie algebra ℒ, which is the direct limit of diagonally embedded classical Lie algebras. These outer derivation algebras have dimension ℒ and are never locally finite dimensional. Dedicated to Prof. H. Petersson on the occasion of his 60th birthday     

Engel Subalgebras of n-Lie Algebras

Engel subalgebras of finite-dimensional n-Lie algebras are shown to have similar properties to those of Lie algebras. Using these, it is shown that an n-Lie algebra, all of whose maximal subalgebras are ideals, is nilpotent. A primitive 2-soluble n-Lie algebra is shown to split over its minimal ideal, and all the complements to its minimal ideal are conjugate. A subalgebra is shown to be a Cartan subalgebra if and only if it is minimal Engel, provided that the field has sufficiently many elements. Cartan subalgebras are shown to have a property analogous to intravariance.     

Classifying Several Classes of Leibniz Algebras

We extend results related to maximal subalgebras and ideals from Lie to Leibniz algebras. In particular, we classify minimal non-elementary Leibniz algebras and Leibniz algebras with a unique maximal ideal. In both cases, there are types of these algebras with no Lie algebra analogue. We also give a classification of E-Leibniz algebras which is very similiar to its Lie algebra counterpart. Note that a classification of elementary Leibniz algebras has been shown in Batten Ray et al. (2011).     

Left, right, and inner socles of associative systems

We investigate the basic properties of the different socles that can be considered in not necessarily semiprime associative systems. Among other things, we show that the socle defined as the sum of minimal (or minimal and trivial) inner ideals is always an ideal. When trivial inner ideals are included, this inner socle contains the socles defined in terms of minimal left or right ideals. This revised version was published online in June 2006 with corrections to the Cover Date.     

Simple left-symmetric algebras with¶solvable Lie algebra

Left-symmetric algebras (LSAs) are Lie admissible algebras arising from geometry. The leftinvariant affine structures on a Lie group {G} correspond bijectively to LSA-structures on its Lie algebra. Moreover if a Lie group acts simply transitively as affine transformations on a vector space, then its Lie algebra admits a complete LSA-structure. In this paper we study simple LSAs having only trivial two-sided ideals. Some natural examples and deformations are presented. We classify simple LSAs in low dimensions and prove results about the Lie algebra of simple LSAs using a canonical root space decomposition. A special class of complete LSAs is studied. Received: 10 June 1997 / Revised version: 29 September 1997     

三次可解型非退化李代数及其导子李代数的结构

本文给出了非退化可解李代数的两个类型:三次可解型非退化李代数和扩充的 Heisenberg李代数,并确定三次可解型非退化李代数及其导子李代数的结构．