Left-symmetric algebras of derivations of free algebras

A structure of a left-symmetric algebra on the set of all derivations of a free algebra is introduced such that its commutator algebra becomes the usual Lie algebra of derivations. Left and right nilpotent elements of left-symmetric algebras of derivations are studied. Simple left-symmetric algebras of derivations and Novikov algebras of derivations are described. It is also proved that the positive part of the left-symmetric algebra of derivations of a free nonassociative symmetric m-ary algebra in one free variable is generated by one derivation and some right nilpotent derivations are described.     

Polynomial identities of bicommutative algebras,Lie and Jordan elements

ABSTRACT

An algebra with identities a(bc)?=?b(ac), (ab)c?=?(ac)b is called bicommutative. We construct list of identities satisfied by commutator and anti-commutator products in a free bicommutative algebra. We give criterions for elements of a free bicommutative algebra to be Lie or Jordan.     

Test rank of an abelian product of a free Lie algebra and a free abelian Lie algebra

Let F be a free Lie algebra of rank n ≥ 2 and A be a free abelian Lie algebra of rank m ≥ 2. We prove that the test rank of the abelian product F ×A is m. Morever we compute the test rank of the algebra F/g_k( F) ^￠F/\gamma _{k}\left( F\right) ^{^{\prime }}.     

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].     

Multiplicative Semiprimeness of Skew Lie Algebras

Abstract

Let A be a semiprime associative algebra with an involution over a field of characteristic not 2, let K be the Lie algebra of all skew elements of A, and let Z _{[K, K]} denote the annihilator of the Lie algebra [K, K]. We will prove that the multiplication algebra of the semiprime Lie algebra [K, K]/Z _{[K, K]} is also semiprime. As a consequence, the multiplication algebra of [K, K]/Z _{[K, K]} is prime, whenever [K, K]/Z _{[K, K]} is prime. We will obtain similar results for the Lie algebra K/Z _K whenever the base field has characteristic zero.     

Finite-Dimensional Subalgebras In Polynomial Lie Algebras Of Rank One

Let W _n ( \mathbb K {\mathbb K} ) be the Lie algebra of derivations of the polynomial algebra \mathbb K {\mathbb K} [X] := \mathbb K {\mathbb K} [x ₁,…,x _n ]over an algebraically closed field \mathbb K {\mathbb K} of characteristic zero. A subalgebra L í W_n(\mathbbK) L \subseteq {W_n}(\mathbb{K}) is called polynomial if it is a submodule of the \mathbb K {\mathbb K} [X]-module W _n ( \mathbb K {\mathbb K} ). We prove that the centralizer of every nonzero element in L is abelian, provided that L is of rank one. This fact allows one to classify finite-dimensional subalgebras in polynomial Lie algebras of rank one.     

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.     

Generators of Simple Lie Algebras and the Lower Rank of Some Pro-P Groups

Abstract

Let  be a simple classical Lie algebra over a field F of characteristic p > 7. We show that > d () = 2, where d() is the number of generators of . Let G be a profinite group. We say that G has lower rank ≤ l, if there are {G _α} open subgroups which from a base for the topology at the identity and each G _α is generated (topologically) by no more than l elements. There is a standard way to associate a Lie algebra L(G) to a finitely generated (filtered) pro-p group G. Suppose L(G) ?  ? tF _p [t], where  is a simple Lie algebra over F _p , the field of p elements. We show that the lower rank of G is ≤ d () + 1. We also show that if  is simple classical of rank r and p > 7 or p 2r ² ? r, then the lower rank is actually 2.     

Reduction of the adjoint representation of sl(2,1): generators of primitive ideals

We present a reduction of the adjoint representation of the Lie superalge-bra,sl(2,1) and a study of the quotient algebra B(^c,k)= u/u(C?c)+u(D?kc), where c,k are two complex numbers. Under some additional conditions, we prove that every irreducible infinite dimensional representation of B(^c,k) is faithful, and that B(^C,K) is a primitive algebra. We give explicitly a set of generators of primitive degenerate ideal of infinite codimension. Essentially we prove that any minimal primitive ideal of u(sl(2,1)) is generated, as a 2-sided ideal, by its intersection with the algebra of gg-iuvariants.     

Computing commutator length in free groups

We study commutator length in free groups. (By a commutator lengthcl(g) of an element g in a derived subgroup G′ of a group G we mean the least natural number k such that g is a product of k commutators.) A purely algebraic algorithm is constructed for computing commutator length in a free group F₂ (Thm. 1). Moreover, for every element z ε F′₂ and for any natural m, the following estimate derives:cl(z^m) ≥ (ms(z) + 6)/12, where s(z) is a nonnegative number defined by an element z (Thm. 2). This estimate is used to compute commutator length of some particular elements. By analogy with the concept of width of a derived subgroup known in group theory, we define the concept of width of a derived subalgebra. The width of a derived subalgebra is computed for an algebra P of pairs, and also for its corresponding Lie algebra P_L. The algebra of pairs arises naturally in proving Theorem 2 and enjoys a number of interesting properties. We state that in a free group F_2k with free generators a₁, b₁, ..., a_k, b_k, k εN, every natural m satisfiescl(([a₁, b₁] ... [a_k, b_k])^m)=[(2 − m)/2] + mk. For k=1, this entails a known result of Culler. The notion of a growth function as applied to a finitely generated group G is well known. Associated with a derived subgroup of F₂ is some series depending on two variables which bears information not only on the number of elements of prescribed length but also on the number of elements of prescribed commutator length. A number of open questions are formulated. Supported by RFFR grant No. 98-01-00699. Translated fromAlgebra i Logika, Vol. 39, No. 4, pp. 395–440, July–August, 2000.     

On free p-superalgebras

In this article we consider several aspects of algebraic combinatorics and combinatorial algebra over fields of prime characteristics. P-super-Radford theorem gives the structure of the free associative algebra over a field of prime characteristic with the new multiplication given by the super shuffle product, we show that this algebra is isomorphic to the reduced free super commutative algebra on s-regular words. We prove the elimination theorem for free partially commutative color Lie p-superalgebras and obtain a Schreier type formula for free Lie p-superalgebras using formal power series techniques.     

Classical and Exceptional Root Systems and Quantizations

We present a method for quantizing semisimple Lie algebras. In Huru (Russ. Math. [2007]) we defined quantizations of the braided Lie algebra structure on a finite dimensional graded vector space V by quantizations of braided derivations on the exterior algebra of V ^* . We find quantizations of semisimple Lie algebras in this setting using the grading by their roots and shall go through all root systems, classical and exceptional.      

Exponentiation of infinite dimensional Z-graded lie algebras

In this article we give a new technique for exponentiating infinite dimensional graded representations of graded Lie algebras that allows for the exponentiation of some non-locally nilpotent elements. Our technique is to naturally extend the representation of the Lie algebra g on the space V naturally to a representation on a subspace £ of the dual space V ^*. After introducing the technique, we prove that it enables the exponentiation of all elements of free Lie Algebras and afhne Kac-Moody Lie algebras.     

Strictly nontame primitive elements of the free metabelian Lie algebra of rank 3

We prove that the free metabelian Lie algebra M ₃ of rank 3 over an arbitrary field K admits strictly nontame primitive elements.     

Cocentralizing derivations and nilpotent values on Lie ideals

Let R be a prime ring with char R ≠ 2, L a non-central Lie ideal of R, d, g non-zero derivations of R, n ≥ 1 a fixed integer. We prove that if (d(x)x − xg(x)) ⁿ = 0 for all x ∈ L, then either d = g = 0 or R satisfies the standard identity s ₄ and d, g are inner derivations, induced respectively by the elements a and b such that a + b ∈ Z(R).     

On the Simplicity of Lie Algebras Associated to Leavitt Algebras

For any field 𝕂 and integer n ≥ 2, we consider the Leavitt algebra L _𝕂(n); for any integer d ≥ 1, we form the matrix ring S = M _d (L _𝕂(n)). S is an associative algebra, but we view S as a Lie algebra using the bracket [a, b] = ab ? ba for a, b ∈ S. We denote this Lie algebra as S ^?, and consider its Lie subalgebra [S ^?, S ^?]. In our main result, we show that [S ^?, S ^?] is a simple Lie algebra if and only if char(𝕂) divides n ? 1 and char(𝕂) does not divide d. In particular, when d = 1, we get that [L _𝕂(n)^?, L _𝕂(n)^?] is a simple Lie algebra if and only if char(𝕂) divides n ? 1.     

An algebraic slice in the coadjoint space of the Borel and the Coxeter element

Let g be a complex simple Lie algebra and b a Borel subalgebra. The algebra Y of polynomial semi-invariants on the dual b^? of b is a polynomial algebra on rank g generators (Grothendieck and Dieudonné (1965–1967)) [16]. The analogy with the semisimple case suggests there exists an algebraic slice to coadjoint action, that is an affine translate y+V of a vector subspace of b^? such that the restriction map induces an isomorphism of Y onto the algebra R[y+V] of regular functions on y+V. This holds in type A and even extends to all biparabolic subalgebras (Joseph (2007)) [20]; but the construction fails in general even with respect to the Borel. Moreover already in type C(2) no algebraic slice exists.Very surprisingly the exception of type C(2) is itself an exception. Indeed an algebraic slice for the coadjoint action of the Borel subalgebra is constructed for all simple Lie algebras except those of types B(2m), C(n) and F(4).Outside type A, the slice obtained meets an open dense subset of regular orbits, even though the special point y of the slice is not itself regular. This explains the failure of our previous construction.