Heisenberg Lie Color Algebras

In this article, we give a sufficient condition for a Lie color algebra to be complete. The color derivation algebra Der(?) and the holomorph L of finite dimensional Heisenberg Lie color algebra ? graded by a torsion-free abelian group over an algebraically closed field of characteristic zero are determined. We prove that Der(?) and Der(L) are simple complete Lie color algebras, but L is not a complete Lie color algebra.     

Special Lie superalgebras with maximality condition for subalgebras

We consider finitely generated Lie superalgebras over a field of characteristic zero satisfying Capelli identities. We prove that any such an algebra with the maximality condition for abelian subalgebras is finite dimensional. In particular, any special Lie superalgebra with the maximality condition for its subalgebras has a finite dimension. We also prove that the universal enveloping algebra U(L) of special Lie superalgebra L is Noetherian if and only if $\dim L<\infty$ .     

A Characterization of Stem Algebras in Terms of Central Derivations

Let L be a Lie algebra, and Der _z (L) denote the set of all central derivations of L, that is, the set of all derivations of L mapping L into the center. In this paper, by using the notion of isoclinism, we study the center of Der _z (L) for nilpotent Lie algebras with nilindex 2. We also give a characterization of stem Lie algebras by their central derivations. In fact we show that for non-abelian nilpotent Lie algebras of finite dimension and any nilpotent Lie algebra with nilindex 2 (not finite dimensional in general), Der _z (L) is abelian if and only if L is a stem Lie algebra.     

(H,R)-Lie coalgebras and (H,R)-Lie bialgebras

Given an (H,R)-Lie coalgebra Γ, we construct (H,R _T )-Lie coalgebra Γ^T through a right cocycle T, where (H,R) is a triangular Hopf algebra, and prove that there exists a bijection between the set of (H,R)-Lie coalgebras and the set of ordinary Lie coalgebras. We also show that if (L, [, ], Δ, R) is an (H,R)-Lie bialgebra of an ordinary Lie algebra then (L ^T , [, ], Δ_T, R _T ) is an (H,R _T )-Lie bialgebra of an ordinary Lie algebra.     

Enveloping algebras that are principal ideal rings

Let L be a restricted Lie algebra over a field of positive characteristic. We prove that the restricted enveloping algebra of L is a principal ideal ring if and only if L is an extension of a finite-dimensional torus by a cyclic restricted Lie algebra.     

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.     

The Isomorphism Problem for Universal Enveloping Algebras of Lie Algebras

Let L be a Lie algebra with universal enveloping algebra U(L). We prove that if H is another Lie algebra with the property that U(L) ≅ U(H) then certain invariants of L are inherited by H. For example, we prove that if L is nilpotent then H is nilpotent with the same class as L. We also prove that if L is nilpotent of class at most two then L is isomorphic to H. Presented by D. Passman     

Low dimensional Lie groups admitting left invariant flat projective or affine structures

We prove that any real Lie group of dimension ?5 admits a left invariant flat projective structure. We also prove that a real Lie group L of dimension ?5 admits a left invariant flat affine structure if and only if the Lie algebra of L is not perfect.     

Almost Primitive Elements of Free lie Algebras of Small Ranks

Let K be a field, X = {x1, . . . , xn}, and let L(X) be the free Lie algebra over K with the set X of free generators. A. G. Kurosh proved that subalgebras of free nonassociative algebras are free, A. I. Shirshov proved that subalgebras of free Lie algebras are free. A subset M of nonzero elements of the free Lie algebra L(X) is said to be primitive if there is a set Y of free generators of L(X), L(X) = L(Y ), such that M ? Y (in this case we have |Y | = |X| = n). Matrix criteria for a subset of elements of free Lie algebras to be primitive and algorithms to construct complements of primitive subsets of elements with respect to sets of free generators have been constructed. A nonzero element u of the free Lie algebra L(X) is said to be almost primitive if u is not a primitive element of the algebra L(X), but u is a primitive element of any proper subalgebra of L(X) that contains it. A series of almost primitive elements of free Lie algebras has been constructed. In this paper, for free Lie algebras of rank 2 criteria for homogeneous elements to be almost primitive are obtained and algorithms to recognize homogeneous almost primitive elements are constructed.     

Simple Lie algebras having extremal elements

Let L be a simple finite-dimensional Lie algebra of characteristic distinct from 2 and from 3. Suppose that L contains an extremal element that is not a sandwich, that is, an element x such that [x, [x, L]] is equal to the linear span of x in L. In this paper we prove that, with a single exception, L is generated by extremal elements. The result is known, at least for most characteristics, but the proofs in the literature are involved. The current proof closes a gap in a geometric proof that every simple Lie algebra containing no sandwiches (that is, ad-nilpotent elements of order 2) is in fact of classical type.     

Lie identities on symmetric elements of restricted enveloping algebras

Let L be a restricted Lie algebra over a field of characteristic p > 2 and denote by u(L) its restricted enveloping algebra. We determine the conditions under which the set of symmetric elements of u(L) with respect to the principal involution is Lie solvable, Lie nilpotent, or bounded Lie Engel.     

On the Lie algebra of skew-symmetric elements of an enveloping algebra

Let L be a restricted Lie algebra over a field of characteristic p>2 and denote by u(L) its restricted enveloping algebra. We establish when the Lie algebra of skew-symmetric elements of u(L) under the principal involution is solvable, nilpotent, or satisfies an Engel condition.     

On the Generalized Enveloping Algebra of a Color Lie Algebra

Let G be an abelian group, ε an anti-bicharacter of G and L a G-graded ε Lie algebra (color Lie algebra) over a field of characteristic zero. We prove that for all G-graded, positively filtered A such that the associated graded algebra is isomorphic to the G-graded ε-symmetric algebra S(L), there is a G- graded ε-Lie algebra L and a G-graded scalar two cocycle , such that A is isomorphic to U _ω (L) the generalized enveloping algebra of L associated with ω. We also prove there is an isomorphism of graded spaces between the Hochschild cohomology of the generalized universal enveloping algebra U(L) and the generalized cohomology of the color Lie algebra L. Supported by the EC project Liegrits MCRTN 505078.     

Formality theorem for Lie bialgebras and quantization of twists and coboundary r-matrices

Let (g,δ?) be a Lie bialgebra. Let (U?(g),Δ?) a quantization of (g,δ?) through Etingof-Kazhdan functor. We prove the existence of a L_∞-morphism between the Lie algebra C(g)=Λ(g) and the tensor algebra (without unit) T₊U=T₊(U?(g)[−1]) with Lie algebra structure given by the Gerstenhaber bracket. When s is a twist for (g,δ), we deduce from the formality morphism the existence of a quantum twist F. When (g,δ,r) is a coboundary Lie bialgebra, we get the existence of a quantization R of r.     

Lie superalgebras whose enveloping algebras satisfy a non-matrix polynomial identity

Let L be a Lie superalgebra with its enveloping algebra U(L) over a field F. A polynomial identity is called non-matrix if it is not satisfied by the algebra of 2×2 matrices over F. We characterize L when U(L) satisfies a non-matrix polynomial identity. We also characterize L when U(L) is Lie solvable, Lie nilpotent, or Lie super-nilpotent.     

On Lie algebras associated with representation-directed algebras

Let B be a representation-finite C-algebra. The Z-Lie algebra L(B) associated with B has been defined by Riedtmann in [Ch. Riedtmann, Lie algebras generated by indecomposables, J. Algebra 170 (1994) 526-546]. If B is representation-directed, there is another Z-Lie algebra associated with B defined by Ringel in [C.M. Ringel, Hall Algebras, vol. 26, Banach Center Publications, Warsaw, 1990, pp. 433-447] and denoted by K(B).We prove that the Lie algebras L(B) and K(B) are isomorphic for any representation-directed C-algebra B.     

Invariants of free Lie algebras

Let k be a principal ideal domain with identity and characteristic zero. For a positive integer n, with n \geqq 2n \geqq 2, let H(n) be the group of all n x n matrices having determinant ±1\pm 1. Further, we write SL(n) for the special linear group. Let L be a free Lie algebra (over k) of finite rank n. We prove that the algebra of invariants L^B(n) of B(n), with B(n) ? { H(n), SL(n)}B(n) \in \{ H(n), {\rm SL}(n)\} , is not a finitely generated free Lie algebra. Let us assume that k is a field of characteristic zero and let áSem(n) ?\langle {\rm Sem}(n) \rangle be the Lie subalgebra of L generated by the semi-invariants (or Lie invariants) Sem(n). We prove that áSem(n) ?\langle {\rm Sem}(n) \rangle is not a finitely generated free Lie algebra which gives a positive answer to a question posed by M. Burrow [4].     

Representations of the Restricted Lie Color Algebras

Let $ \mathfrak{g} $ be a restricted Lie color algebra. We define the p-character χ and study the χ-reduced enveloping algebras. We define the reductive Lie color algebras and FP triples, and study the representations associated with FP triples. As an application, we prove an analogue of the Kac-Weisfeiler theorem and determine the simplicity of the baby Verma module for the general linear Lie color algebra $ \mathfrak{g}= {\rm{gl}} (V)$ .     

Note on Co-split Lie Algebras

It is proved that,any finite dimensional complex Lie algebra L = [L,L],hence,over a field of characteristic zero,any finite dimensional Lie algebra L = [L,L] possessing a basis with complex structure constants,should be a weak co-split Lie algebra.A class of non-semi-simple co-split Lie algebras is given.