Engel subalgebras of finite-dimensional Leibniz algebras are shown to have similar properties to those of Lie algebras. Using these, it is shown that a left Leibniz algebra, all of whose maximal subalgebras are right ideals, is nilpotent. A primitive Leibniz algebra is shown to split over its minimal ideal and that 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.
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 that 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.
We extend conjugacy results from Lie algebras to their Leibniz algebra generalizations. The proofs in the Lie case depend on anti-commutativity. Thus it is necessary to find other paths in the Leibniz case. Some of these results involve Cartan subalgebras. Our results can be used to extend other results on Cartan subalgebras. We show an example here and others will be shown in future work.
I describe the lattice of subalgebras of a one-generator Leibniz algebra. Using this, I show that, apart from one special case, a lattice isomorphism between Leibniz algebras L, L' maps the Leibniz kernel of L to that of L'.
We study the Frattini subalgebra of Leibniz algebras generated by one element. We also investigate Leibniz algebras all of whose proper subalgebras are elementary.
A subalgebra S of a Leibniz algebra L is called self-idealizing in L if it coincides with its idealizer IL(S). In this paper we study the structure of Leibniz algebras, whose subalgebras are either ideals or self-idealizing.
Nilpotent Leibniz algebras with isomorphic maximal subalgebras are considered. The algebras are classified for coclass zero, one, and two. The results are field dependent.
In this paper, we compare the abelian subalgebras and ideals of maximal dimension for finite-dimensional Leibniz algebras. We study Leibniz algebras containing abelian subalgebras of codimension 1, solvable and supersolvable Leibniz algebras for codimensions 1 and 2, nilpotent Leibniz algebras in case of codimension 2 and we also analyze the case of k-abelian p-filiform Leibniz algebras. Throughout the paper, we also give examples to clarify some results and the need for restrictions on the underlying field.
In the present work we introduce notions such as $k$-solvability, $s$- and $K_1$-nilpotency and the corresponding radicals. We prove that these radicals are invariant under derivations of Leibniz $n$-algebras. The Frattini and Cartan subalgebras of Leibniz $n$-algebras are studied. In particular, we construct examples that show that a classical result on conjugacy of Cartan subalgebras of Lie algebras, which also holds in Leibniz algebras and Lie $n$-algebras, is not true for Leibniz $n$-algebras.
In this work we study Leibniz algebras whose second-maximal subalgebras are ideals. We provide a classification based on solvability, nilpotency, and the size of the derived algebra. We give specific descriptions of those Leibniz algebras whose derived algebra has codimension zero or one. This includes several algebras which are only possible over certain fields.
Relationships between certain properties of maximal subalgebras of a Lie algebra $L$ and the structure of $L$ itself have been studied by a number of authors. Amongst the maximal subalgebras, however, some exert a greater influence on particular results than others. Here we study properties of those maximal subalgebras that contain Engel subalgebras, and of those that also have codimension greater than one in $L$.
Zassenhaus has proved that if U is a subnormal subalgebra of a finite-dimensional Lie algebra L and V is a finite-dimensional irreducible L-module, then all U-module composition factors of V are isomorphic. Schenkman has proved that if U is a subnormal subalgebra of a finite-dimensional Lie algebra L, then the nilpotent residual of U is an ideal of L. These useful results generalise to Leibniz algebras.
An algebra is said to be a unary Leibniz algebra if every one-generated subalgebra is a Leibniz algebra. An algebra is said to be a binary Leibniz algebra if every two-generated subalgebra is a Leibniz algebra. We give characterizations of unary and binary Leibniz algebras in terms of identities.
Leibniz algebras are certain generalizations of Lie algebras. Motivated by the concept of subinvariance in group theory, Schenkman studied properties of subinvariant subalgebras of a Lie algebra. In this paper we define subinvariant subalgebras of Leibniz algebras and study their properties. It is shown that the signature results on subinvariance in Lie algebras have analogs for Leibniz algebras.
In this paper we begin to study the subalgebra lattice of a Leibniz algebra. In particular, we deal with Leibniz algebras whose subalgebra lattice is modular, upper semi-modular, lower semi-modular, distributive, or dually atomistic. The fact that a non-Lie Leibniz algebra has fewer one-dimensional subalgebras in general results in a number of lattice conditions being weaker than in the Lie case.
In the present work the properties of Cartan subalgebras and their connection with regular elements in finite dimensional Lie algebras are extended to the case of Leibniz algebras. It is shown that Cartan subalgebras and regular elements of a Leibniz algebra correspond to Cartan subalgebras and regular elements of a Lie algebra by a natural homomorphism. Conjugacy of Cartan subalgebras of Leibniz algebras is shown.
The present paper is devoted to the investigation of properties of Cartan subalgebras and regular elements in Leibniz $n$-algebras. The relationship between Cartan subalgebras and regular elements of given Leibniz $n$-algebra and Cartan subalgebras and regular elements of the corresponding factor $n$-Lie algebra is established.
This paper concerns the algebraic structure of finite-dimensional complex Leibniz algebras. In particular, we introduce left central and symmetric Leibniz algebras, and study the poset of Lie subalgebras using an associative bilinear pairing taking values in the Leibniz kernel.
We classify all nonnilpotent, solvable Leibniz algebras with the property that all proper subalgebras are nilpotent. This generalizes the work of Stitzinger and Towers in Lie algebras. We show several examples which illustrate the differences between the Lie and Leibniz results.
A converse to Lie's theorem for Leibniz algebras is found and generalized. The result is used to find cases in which the generalized property, called triangulable, is 2-recognizeable; that is, if all 2-generated subalgebras are triangulable, then the algebra is also. Triangulability joins solvability, supersolvability, strong solvability, and nilpotentcy as a 2-recognizeable property for classes of Leibniz algebras.
In this paper we construct a minimal faithful representation of the $(2m+2)$-dimensional complex general Diamond Lie algebra, $\mathfrak{D}_m(\mathbb{C})$, which is isomorphic to a subalgebra of the special linear Lie algebra $\mathfrak{sl}(m+2,\mathbb{C})$. We also construct a faithful representation of the general Diamond Lie algebra $\mathfrak{D}_m$ which is isomorphic to a subalgebra of the special symplectic Lie algebra $\mathfrak{sp}(2m+2,\mathbb{R})$. Furthermore, we describe Leibniz algebras with corresponding $(2m+2)$-dimensional general Diamond Lie algebra $\mathfrak{D}_m$ and ideal …
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.
Leibniz algebras are certain generalization of Lie algebras. In this paper we give classification of non-Lie solvable (left) Leibniz algebras of dimension $\leq 8$ with one dimensional derived subalgebra. We use the canonical forms for the congruence classes of matrices of bilinear forms to obtain our result. Our approach can easily be extended to classify these algebras of higher dimensions. We also revisit the classification of three dimensional non-Lie solvable (left) Leibniz algebras.
A subspace H of a Leibniz algebra L is called a quasi-ideal if [H;K] + [K;H] \subseteq H + K for every subspace K of L. They include ideals and subalgebras of codimension one in L. Quasi-ideals of Lie algebras were classified in two remarkable papers of Amayo. The objective here is to extend those results to the larger class of Leibniz algebras, and to classify those Leibniz algebras in which every subalgebra is a quasi-ideal.
The present paper is devoted to provide conditions for the Levi--Malcev theorem to hold or not to hold (i.e. for two Levi subalgebras to be or not conjugate by an inner automorphism) in the context of finite-dimensional Leibniz algebras over a field of characteristic zero. Particularly, in the case of the field $\mathbb{C}$ of complex numbers, we consider all possible cases in which Levi subalgebras are conjugate and not conjugate.
We introduce the class of split regular Hom-Leibniz algebras as the natural generalization of split Leibniz algebras and split regular Hom-Lie algebras. By developing techniques of connections of roots for this kind of algebras, we show that such a split regular Hom-Leibniz algebra $L$ is of the form $L = U + \sum\limits_{[j] \in Λ/\sim}I_{[j]}$ with $U$ a subspace of the abelian subalgebra $H$ and any $I_{[j]}$, a well described ideal of $L$, satisfying $[I_{[j]}, I_{[k]}] = 0$ if $[j]\neq [k]$. Under certain conditions, in the case of $L$ being of maximal length, the simplicity of the algebr…
A subalgebra $B$ of a Leibniz algebra $L$ is called a weak c-ideal of $L$ if there is a subideal $C$ of $L$ such that $L=B+C$ and $B\cap C\subseteq B_{L}$ where $B_{L}$ is the largest ideal of $L$ contained in $B.$ This is analogous to the concept of a weakly c-normal subgroup, which has been studied by a number of authors. We obtain some properties of weak c-ideals and use them to give some characterisations of solvable and supersolvable Leibniz algebras generalising previous results for Lie algebras. We note that one-dimensional weak c-ideals are c-ideals, and show that a result of Turner cl…
From the theory of finite dimensional Lie algebras it is known that every finite dimensional Lie algebra is decomposed into a semidirect sum of semisimple subalgebra and solvable radical. Moreover, due to work of Mal'cev the study of solvable Lie algebras is reduced to the study of nilpotent ones. For the finite dimensional Leibniz algebras the analogues of the mentioned results are not proved yet. In order to get some idea how to establish the results we examine the Leibniz algebra for which the quotient algebra with respect to the ideal generated by squares elements of the algebra (denoted b…
The goal of this paper is to study the structure of split regular BiHom-Leiniz superalgebras, which is a natural generalization of split regular Hom-Leiniz algebras and split regular BiHom-Lie superalgebras. By developing techniques of connections of roots for this kind of algebras, we show that such a split regular BiHom-Leiniz superalgebras $\mathfrak{L}$ is of the form $\mathfrak{L}=U+\sum_{\a}I_\a$ with $U$ a subspace of a maximal abelian subalgebra $H$ and any $I_{\a}$, a well described ideal of $\mathfrak{L}$, satisfying $[I_\a, I_\b]= 0$ if $[\a]\neq [\b]$. In the case of $\mathfrak{L}$…
From the Levi's Theorem it is known that every finite dimensional Lie algebra over a field of characteristic zero is decomposed into semidirect sum of solvable radical and semisimple subalgebra. Moreover, semisimple part is the direct sum of simple ideals. In \cite{Bar} the Levi's theorem is extended to the case of Leibniz algebras. In the present paper we investigate the semisimple Leibniz algebras and we show that the splitting theorem for semisimple Leibniz algebras is not true. Moreover, we consider some special classes of the semisimple Leibniz algebras and find a condition under which th…
We compare by a very elementary approach the second adjoint and trivial Leibniz cohomology spaces of a Lie algebra to the usual ones. Examples are given of coupled cocycles. Some properties are deduced as to Leibniz deformations. We also consider the class of Lie algebras for which the Koszul 3-form is zero, and prove that it contains all quotients of Borel subalgebras, or of their nilradicals, of finite dimensional semisimple Lie algebras. Finally, a list of Kac-Moody types for indecomposable nilpotent Lie algebras of dimension $\leqslant 7$ is given.
We prove that the celebrated Itô's theorem for groups remains valid at the level of Leibniz algebras: if $\mathfrak{g}$ is a Leibniz algebra such that $\mathfrak{g} = A + B$, for two abelian subalgebras $A$ and $B$, then $\mathfrak{g}$ is metabelian, i.e. $[ \, [\mathfrak{g}, \, \mathfrak{g}], \, [ \mathfrak{g}, \, \mathfrak{g} ] \, ] = 0$. A structure type theorem for metabelian Leibniz/Lie algebras is proved. All metabelian Leibniz algebras having the derived algebra of dimension $1$ are described, classified and their automorphisms groups are explicitly determined as subgroups of a semidire…
The aim of this paper is to provide an answer to the $\mathbb{C}[\partial]$-split extending structures problem for Leibniz conformal algebras, which asks that how to describe all Leibniz conformal algebra structures on $E=R\oplus Q$ up to an isomorphism such that $R$ is a Leibniz conformal subalgebra. For this purpose, an unified product of Leibniz conformal algebras is introduced. Using this tool, two cohomological type objects are constructed to classify all such extending structures up to an isomorphism. Then this general theory is applied to the special case when $R$ is a free $\mathbb{C}[…
A finite-dimensional Lie algebra is called an A-algebra if all of its nilpotent subalgebras are abelian. These arise in the study of constant Yang-Mills potentials and have also been particularly important in relation to the problem of describing residually finite varieties. They have been studied by several authors, including Bakhturin, Dallmer, Drensky, Sheina, Premet, Semenov, Towers and Varea. In this paper we establish generalisations of many of these results to Leibniz algebras.
In this paper, we introduce the notion of the Hom-Leibniz-Rinehart algebra as an algebraic analogue of Hom-Leibniz algebroid, and prove that such an arbitrary split regular Hom-Leibniz-Rinehart algebra $L$ is of the form $L=U+\sum_γI_γ$ with $U$ a subspace of a maximal abelian subalgebra $H$ and any $I_γ$, a well described ideal of $L$, satisfying $[I_γ, I_δ]= 0$ if $[γ]\neq [δ]$. In the sequel, we develop techniques of connections of roots and weights for split Hom-Leibniz-Rinehart algebras respectively. Finally, we study the structures of tight split regular Hom-Leibniz-Rinehart algebras.
Let $\mathfrak{g}$ be a Leibniz algebra and $E$ a vector space containing $\mathfrak{g}$ as a subspace. All Leibniz algebra structures on $E$ containing $\mathfrak{g}$ as a subalgebra are explicitly described and classified by two non-abelian cohomological type objects: ${\mathcal H}{\mathcal L}^{2}_{\mathfrak{g}} \, (V, \, \mathfrak{g})$ provides the classification up to an isomorphism that stabilizes $\mathfrak{g}$ and ${\mathcal H}{\mathcal L}^{2} \, (V, \, \mathfrak{g})$ will classify all such structures from the view point of the extension problem - here $V$ is a complement of $\mathfrak{…
