Abstract
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 and where 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 characterizations of solvable and supersolvable Leibniz algebras generalizing previous results for Lie algebras. We note that one-dimensional weak c-ideals are c-ideals, and show that a result of Turner classifying Leibniz algebras in which every one-dimensional subalgebra is a c-ideal is false for general Leibniz algebras, but holds for symmetric ones.
1 Introduction
An algebra L over a field F is called a Leibniz algebra if, for every , we have
In other words the right multiplication operator is a derivation of L. As a result such algebras are sometimes called right Leibniz algebras, and there is a corresponding notion of left Leibniz algebras, which satisfy
Clearly the opposite of a right (left) Leibniz algebra is a left (right) Leibniz algebra, so, in most situations, it does not matter which definition we use. A symmetric Leibniz algebra L is one which is both a right and left Leibniz algebra and in which for all . This last identity is only needed in characteristic two, as it follows from the right and left Leibniz identities otherwise (see [Citation6, Lemma 1]). Symmetric Leibniz algebras L are flexible, power associative and have for all (see [Citation5, Proposition 2.37]), and so, in a sense, are not far removed from Lie algebras.
Every Lie algebra is a Leibniz algebra and every Leibniz algebra satisfying for every element is a Lie algebra. They were introduced in 1965 by Bloh [Citation3] who called them D-algebras, though they attracted more widespread interest, and acquired their current name, through work by Loday and Pirashvili [Citation7, Citation8]. They have natural connections to a variety of areas, including algebraic K-theory, classical algebraic topology, differential geometry, homological algebra, loop spaces, noncommutative geometry and physics. A number of structural results have been obtained as analogues of corresponding results in Lie algebras.
The Leibniz kernel is the set span . Then I is the smallest ideal of L such that is a Lie algebra. Also .
We define the following series:
Then L is nilpotent of class n (resp. solvable of derived length n) if but (resp. but ) for some . It is straightforward to check that L is nilpotent of class n precisely when every product of elements of L is zero, but some product of n elements is non-zero.The nilradical, , (resp. radical, ) is the largest nilpotent (resp. solvable) ideal of L.
The subalgebra lattice of a Lie algebra has been extensively studied over many decades. More recently, the properties of the subalgebra lattice of a Leibniz algebra have been investigated in [Citation11], and similar results for restricted Lie algebras have been carried out in [Citation10]. In [Citation14] we introduced the concept of a weak c-ideal, which is analogous to the concept of a weakly c-normal subgroup as introduced by Zhu, Guo and Shum in [Citation16] and which has since been further studied by a number of authors. It is a generalization of the concept of a c-ideal, as introduced in [Citation13]. Here we investigate the extent to which the results in [Citation14] can be extended to Leibniz algebras.
In Section 2 we give some basic properties of weak c-ideals; in particular, it is shown that weak c-ideals inside the Frattini subalgebra of a Leibniz algebra L are necessarily ideals of L. In Section 3 we first show that all maximal subalgebras of L are weak c-ideals of L if and only if L is solvable, and that L has a solvable maximal subalgebra that is a weak c-ideal if and only if L is solvable. Unlike the corresponding results for c-ideals, it is necessary to restrict the underlying field to characteristic zero, as was shown by an example in [Citation14]. Finally we have that if all maximal nilpotent subalgebras of L are weak c-ideals, or if all Cartan subalgebras of L are weak c-ideals and F has characteristic zero, then L is solvable.
In Section 4 we show that if L is a solvable symmetric Lie algebra over a general field and every maximal subalgebra of each maximal nilpotent subalgebra of L is a weak c-ideal of L then L is supersolvable. If each of the maximal nilpotent subalgebras of L has dimension at least two then the assumption of solvability can be removed. Similarly if the field has characteristic zero and L is not three-dimensional simple then this restriction can be removed.
In the final section we see that every one-dimensional subalgebra is a weak c-ideal if and only if it is a c-ideal, and go on to study the class of Leibniz algebras in which every one-dimensional subalgebra is a c-ideal. It is shown that the cyclic subalgebras in this class are at most two dimensional. There is a characterization of all of the algebras in this class given by Turner in [Citation15, Theorem 3.2.9], but an example is given to show that this result is false. A number of properties of such algebras are given, but a full classification appears complicated. However, it is shown finally that Turner’s result does hold for symmetric Leibniz algebras.
Throughout, the term “Leibniz algebra” will refer to a finite-dimensional right Leibniz algebra over a field F. If A, B are subalgebras of L with , the centraliser of A in B, . The normaliser of A in B, . Algebra direct sums will be denoted by , whereas direct sums of the vector space structure alone will be written as . Subsets will be denoted by “” and proper subsets by “”.
2 Preliminary results
Definition 1.
[Citation9] Let L be a Leibniz algebra over a field F and B be a subalgebra of L. We call B a subideal of L if there is a chain of subalgebras such that is an ideal of for each
Definition 2.
[Citation9] Let L be a Leibniz algebra and H a subalgebra of L. Then H is called a c-ideal of L if there is an ideal K of L such that and is contained in the core of H (with respect to L), denoted by , where this is the largest ideal of L contained in H.
Definition 3.
A subalgebra B of a Leibniz algebra L is a weak c-ideal of L if there exists a subideal C in L such that and .
Definition 4.
A Leibniz algebra L is called weakly c-simple if L does not contain any weak c-ideals other than L, the trivial subalgebra 0 and the Leibniz kernel I. It is simple if these same three subalgebras are the only ideals of L.
Lemma 2.1.
Let L be a Leibniz algebra. Then the following statements are valid:
Let B be a subalgebra of L . If B is a c-ideal of L then B is a weak c-ideal of L.
L is weakly c-simple if and only if L is simple.
If B is a weak c-ideal of L and K is a subalgebra with then B is a weak c-ideal of K .
If A is an ideal of L and then B is a weak c-ideal of L if and only if is a weak c-ideal of
Proof.
This is apparent from the definition.
Suppose first that L is simple and let B be a weak c-ideal with . Then by definition of weak c-ideal
Conversely, suppose L is weakly c-simple. Then, since every ideal of L is a weak c-ideal, L must be simple.
If B is a weak c-ideal of L, then there exists a subideal C of L such that
Now Since C is a subideal of L there exists a chain of subalgebras where is an ideal of for each If we intersect each term in this chain with K we get and obviously is an ideal of for each Thus is a subideal of K. Also, and so that B is a -ideal of K.
Suppose first that is a -ideal of Then there exists a subideal of such that
It follows that and where C is a subideal of L.
Suppose conversely that A is an ideal of L with and B is a -ideal of L. Then there exists a C subideal of L such that
Since A is an ideal and the factor algebra where is a subideal of and
so is a -ideal of
The Frattini subalgebra of a Leibniz algebra L is the intersection of all of the maximal subalgebras of L. The Frattini ideal, , of L is denoted by
The next result is a generalization of [Citation13, Proposition 2.2] and the same proof works, but we will include it for completeness.
Proposition 2.2.
Let B, C be subalgebras of L with If B is a weak c-ideal of L, then B is an ideal of L and
Proof.
Suppose that where K is a subideal of L and Then since Hence, giving and B is an ideal of L. It then follows from [Citation12, Lemma 4.1] that □
An ideal A is complemented in L if there is a subalgebra U of L such that and We adapt this to define a subideal complement as follows:
Definition 5.
Let L be a Leibniz algebra and let B be a subalgebra of L. Then B has a subideal complement in L if there is a subideal C of L such that and
Then we have the following lemma:
Lemma 2.3.
If B is a weak c-ideal of a Leibniz algebra L, then has a subideal complement in Conversely, if B is a subalgebra of L such that has a subideal complement in then B is a weak c-ideal of L.
Proof.
Let B be a weak c-ideal of L. Then there exists a subideal C of L such that and If then and C is a subideal complement of B in L. So, assume that then we can construct the factor algebras and If we intersect these two factor algebras;
Hence, is a subideal complement of in Conversely, if K is a subideal of L such that is a subideal complement of in then we have that
Then and , whence B is a weak c-ideal of L. □
3 Some characterizations of solvable algebras
Theorem 3.1.
Let L be a Leibniz algebra over a field F of characteristic zero and let B be an ideal of L. Then B is solvable if and only if every maximal subalgebra of L not containing B is a weak c-ideal of L.
Proof.
Suppose first that B is solvable and let M be a maximal subalgebra of L not containing B. Then there exists such that , but . Clearly and is an ideal of L, so . It follows that M is a c-ideal and hence a weak c-ideal of L.
Conversely, suppose that every maximal subalgebra of L not containing B is a weak c-ideal of L. Let be a maximal subalgebra of not containing . Then M is a maximal subalgebra of L not containing B, and so is a weak c-ideal of L. Hence is a weak c-ideal of , by Lemma 2.1. Since is a Lie algebra, it follows from [Citation14, Theorem 3.2] that is solvable. It follows that , and hence B, is solvable. □
Corollary 3.2.
Let L be a Leibniz algebra over a field F of characteristic zero. Then L is solvable if and only if every maximal subalgebra of L is a weak c-ideal of L.
Lemma 3.3.
Let be a Leibniz algebra, where U is a solvable subalgebra of L and C is a subideal of L. Then there exists such that .
Proof.
This is the same as for [Citation14, Lemma 3.5]. □
Theorem 3.4.
Let L be a Leibniz algebra over a field F of characteristic zero. Then L has a solvable maximal subalgebra that is a weak c-ideal of L if and only if L is solvable.
Proof.
Suppose first that L has a solvable maximal subalgebra M that is a weak c-ideal of L. We show that L is solvable. Let L be a minimal counter-example. Then there is a subideal K of L such that and . If then is solvable, by the minimality assumption, and is solvable, whence L is solvable, a contradiction. It follows that and . If R is the solvable radical of L then , so L is a semisimple Lie algebra, by [Citation2, Theorem 1]. But now, for all , , by Lemma 3.3, a contradiction. The result follows.
The converse follows from Corollary 3.2. □
Theorem 3.5.
Let L be a Leibniz algebra over a field of characteristic zero such that all maximal nilpotent subalgebras are weak c-ideals of L. Then L is solvable.
Proof.
Suppose that L is not solvable but that all maximal nilpotent subalgebras of L are weak c-ideals of L. Let be the Levi decomposition of L, where is a semisimple Lie algebra ([Citation2, Theorem 1]). Let B be a maximal nilpotent subalgebra of S and U be a maximal nilpotent subalgebra of L containing it. Then there is a subideal C of L such that and . It follows from Lemma 3.3 that , and so , whence . But is an ideal of S and so is semisimple. Since U is nilpotent, this is a contradiction. □
Definition 6.
A Cartan subalgebra of a Leibniz algebra L is a nilpotent subalgebra C such that . Over a field of characteristic zero such subalgebras certainly exist (see [Citation1, Section 6]).
The following result is a generalization of a result of Dixmier in [Citation4].
Lemma 3.6.
Let L be a Leibniz algebra over a field of characteristic zero with non-zero Levi factor S. If H is a Cartan subalgebra of S and B is a Cartan subalgebra of its centralizer in the solvable radical of L, then is a Cartan subalgebra of L.
Proof.
Let R be the solvable radical of L. Then for all , so is a nilpotent subalgebra of L. Let and put where and . Then so , whence . Moreover,
so , since , whence . Thus, and is a Cartan subalgebra of L. □
Theorem 3.7.
Let L be a Leibniz algebra over a field of characteristic zero in which every Cartan subalgebra of L is a weak c-ideal of L. Then L is solvable.
Proof.
Suppose that every Cartan subalgebra of L is a weak c-ideal of L and that L has a non-zero Levi factor S. Let H be a Cartan subalgebra of S and let B be a Cartan subalgebra of its centralizer in the solvable radical of L. Then is a Cartan subalgera of L, by Lemma 3.6, and there is a subideal K of L such that and . Now there is an such that by Lemma 3.3. But and so giving a contradiction. It follows that and, hence, that L is solvable. □
4 Some characterizations of supersolvable algebras
In this section we will restrict attention to symmetric Leibniz algebras. We know of no examples of a Leibniz algebra which is not symmetric and for which the results are false, but have been unable to establish them in that more general case. First we need the following lemma which holds in the general case.
Lemma 4.1.
[Citation15, Lemma 5.1.2] Let L be a Leibniz algebra over any field, let A be an ideal of L and be a maximal nlpotent subalgebra of . Then, where C is a maximal nilpotent subalgebra of L.
Theorem 4.2.
Let L be a solvable symmetric Leibniz algebra over any field F in which every maximal subalgebra of each maximal nilpotent subalgebra of L is a weak c-ideal of L. Then L is supersolvable.
Proof.
Let L be a minimal counter-example. If the result follows from [Citation14, Theorem 4.5], so suppose that and let A be a minimal ideal of L contained in I. Since , . Let be a maximal nilpotent subalgebra of and let be a maximal subalgebra of . Then where C is a maximal nilpotent subalgebra of L, by Lemma 4.1. But is nilpotent, so . Hence, B is a maximal subalgebra of C and there is a subideal K of L such that and . Now
Moreover,
It follows that satisfies the same hypothesis as L, and so is supersolvable, by the minimality of L. Hence, L is supersolvable. □
If L has no one-dimensional maximal nilpotent subalgebras, we can remove the solvability assumption from the above result provided that F has characteristic zero.
Corollary 4.3.
Let L be a symmetric Leibniz algebra over a field F of characteristic zero in which every maximal nilpotent subalgebra has dimension at least two. If every maximal subalgebra of each maximal nilpotent subalgebra of L is a weak c-ideal of L, then L is supersolvable.
Proof.
Let N be the nilradical of L, and let Then for some maximal nilpotent subalgebra C of L. Since , there is a maximal subalgebra B of C with Then there is a subideal K of L such that and . Clearly, since otherwise
Now where is nilpotent and is a subideal of . It follows from [Citation14, Lemma 4.2] that for some . Hence . We have shown that if there is a subideal K of L with and . Suppose that L is not solvable. Then there is a semisimple Levi factor S of L. Choose . Then , a contradiction. Thus L is solvable and the result follows from Theorem 4.2. □
If L has a one-dimensional maximal nilpotent subalgebra, then we can also remove the solvability assumption from Corollary 4.3, provided that the underlying field F has again characteristic zero and L is not three-dimensional simple.
Corollary 4.4.
Let L be a symmetric Leibniz algebra over a field F of characteristic zero. If every maximal subalgebra of each maximal nilpotent subalgebra of L is a weak c-ideal of L, then L is supersolvable or three-dimensional simple.
Proof.
If every maximal nilpotent subalgebra of L has dimension at least two, then L is supersolvable by Corollary 4.3. So we need only consider the case where L has a one-dimensional maximal nilpotent subalgebra say Fx. Suppose first that . Then L is a Lie algebra and the result follows from [Citation14, Corollary 4.7].
So now let and let L be a minimal-counter-example. Then L has a minimal ideal As in the proof of Theorem 4.2, satisfies the same hypothesis as L and so is supersolvable or three-dimensional simple. In the former case, L is solvable and so is supersolvable, by Theorem 4.2. In the latter case, where S is three-dimensional simple, by Levi’s Theorem. But now L is a Lie algebra and the result follows again from [Citation14, Corollary 4.7]. □
5 Leibniz algebras in which every one-dimensional subalgebra is a weak c-ideal
Proposition 5.1.
For a one-dimensional subalgebra Fx of a Leibniz algebra L the following are equivalent:
Fx is a weak c-ideal of L ;
Fx is a c-ideal of L ; and
either Fx is an ideal of L , or there is an ideal B of L such that and .
Proof.
(i) and (ii) are equivalent since a subideal of codimension one in L is an ideal.
If (ii) holds, then there is an ideal B in L such that , and or Fx. The former implies that and ; the latter implies that Fx is an ideal of L. Hence (iii) holds. The converse is clear. □
Definition 7.
Put . Note that .
Corollary 5.2.
Let L be a Leibniz algebra over any field. Then every one-dimensional subalgebra is a c-ideal if and only if .
Proof.
Clearly, if Fx is a one-dimensional subalgebra of L, then . It follows from Proposition 5.1 that if every one-dimensional subalgebra of L is a c-ideal, then .
So suppose that , and let Fx be a one-dimensional subalgebra of L. If , then Fx is an ideal of L. If , let B be a subspace containing which is complementary to Fx. Then B is an ideal of L and . Hence, Fx is a c-ideal, by Proposition 5.1 (iii). □
Proposition 5.3.
Let be a cyclic Leibniz algebra. Then every one-dimensional subalgebra of L is a c-ideal if and only if .
Proof.
Suppose that every one-dimensional subalgebra of L is a c-ideal and that . If is not an ideal of L, there is an ideal B of L such that . But then for some , whence , a contradiction. Thus is an ideal of L, for some and .
Suppose conversely that . Then , where or . In the former case, the only one-dimensional subalgebra is and that is an ideal of L. In the latter case, the one-dimensional subalgebras are , which is an ideal, and , which is complemented by . □
In [Citation15] the following result appears.
Theorem 5.4.
Let L be a Leibniz algebra over any field F . Then all one-dimensional subalgebras of L are c-ideals of L if and only if:
; or
, where A is an abelian ideal of L and B is an almost abelian ideal of L .
Proof.
See [Citation15, Theorem 3.2.9, p. 26]. □
Turner defines a subalgebra B of a Leibniz algebra L to be almost abelian if where, D is abelian and for all . (She actually has the products the other way around as she is dealing with left Leibniz algebras, whereas, here we are concerned with right Leibniz algebras.) However, this definition is problematic as it appears to be assumed in the proof that for all , and that does not follow from the definition. Also, nothing is said about [x, d]. Elsewhere in the literature there have been defined two types of almost abelian Leibniz algebras: is called an almost abelian Lie algebra if for all , and is an almost abelian non-Lie Leibniz algebra if for all , all other products being zero in each case.
Moreover, the result is false, as the following example shows.
Example 5.1.
Let L be the three-dimensional Leibniz algebra over a field of characteristic different from 2 with basis a, b, x and non-zero products , , . Then if and only if . If then, either , in which case Fx is complemented by the ideal , or , in which case Fb is an ideal of L. If , then is complemented by the ideal . It follows that every one-dimensional subalgebra is a c-ideal. However, L is not of the form given in Theorem 5.4.
In fact, the structure of Leibniz algebras in which all one-dimensional subalgebras are c-ideals can be more complicated than is claimed by Theorem 5.4. The best that we can achieve currently is the following.
Lemma 5.5.
Let L be a Leibniz algebra in which every one-dimensional subalgebra is a c-ideal. Then
all minimal abelian ideals are one dimensional;
if and , then or for some , .
Let where for all , . Then, either or where , is an ideal of L and for all .
Proof.
Let A be a minimal abelian ideal of L and let . If then there is an ideal K of L such that . But so , a contradiction.
Suppose that and where . Then is not an ideal of L and so there is an ideal M of L such that . Clearly, one of and does not belong to M. Suppose that , so and .
Let be given by . This is a linear transformation. Hence, either Im , in which case , or else Ker and . Put , where Ker . Let , with . Then
so . Hence . It is straightforward to check that Ker is an ideal of L.
However, we can retrieve Theorem 5.4 for symmetric Leibniz algebras.
Theorem 5.6.
Let L be a symmetric Leibniz algebra over any field F . Then all one-dimensional subalgebras of L are c-ideals of L if and only if:
; or
, where A is an abelian ideal of L and B is an almost abelian Lie ideal of L .
Proof.
Suppose that all one-dimensional subalgebras of L are c-ideals of L. First note that, if , then , so , by Corollary 5.2. Also, L must have the structure given in Lemma 5.5 (iii). If then and (i) holds. So suppose that .
Let . If , then is not an ideal of L and so . But , so and . It follows that . Now, if , we have that , so . But , by [Citation5, Proposition 2.17]. If , then and so , since L is also a flexible algebra, by [Citation5, Proposition 2.17] again. Hence Fc is an ideal of L. But then .
So suppose that . Then and , using the flexible law again. Also, , since . It follows that is an ideal of L and hence is inside . Thus, , so .
Finally, for all , . Also, , so and . Thus, L is as described in (ii). □
Acknowledgments
The authors are grateful to the referee for her/his careful reading of the paper and for helpful comments.
References
- Barnes, D. W. (2011). Some theorems on Leibniz algebras. Commun. Algebra 39:2463–2472. DOI: 10.1080/00927872.2010.489529.
- Barnes, D. W. (2012). On Levi’s Theorem for Leibniz algebras. Bull. Aust. Math. Soc. 86:184–185. DOI: 10.1017/S0004972711002954.
- Bloh, A. (1965). On a generalization of the concept of Lie algebra. Dokl. Akad. Nauk SSSR. 165:471–473.
- Dixmier, J. (1956). Sous-algebres de Cartan et decompositions de Levi dans les algebres de Lie (French). Proc. Trans. Royal Soc. Can. Section III (3) 50:17–21.
- Feldvoss, J. (2017). Leibniz algebras as nonassociative algebras. In: Vojtĕchovský, P., Bremner, M. R., Scott Carter, J., Evans, A. B., Huerta, J., Kinyon, M. K., Eric Moorhouse, G., Smith, J. D. H., eds. Nonassociative Mathematics and its Applications, Contemporary Mathematics, Vol. 721. Providence, RI: American Mathematical Society, pp. 115–149.
- Jibladze, M., Pirashvili, T. (2020). Lie theory for symmetric Leibniz algebras. J. Homotopy Related Struct. 15:167–183. DOI: 10.1007/s40062-019-00248-x.
- Loday, J.-L. (1993). Une version non commutative des algèbres de Lie: les algèbres de Leibniz. Enseign. Math. (2) 39(3–4):269–293.
- Loday, J.-L., Pirashvili, T. (1993). Universal enveloping algebras of Leibniz algebras and (co)homology. Math. Ann. 296(1):139–158. DOI: 10.1007/BF01445099.
- Misra, K. C., Stitzinger, E., Yu, X. (2021). Subinvariance in Leibniz algebras. J. Algebra 567(1):128–138. DOI: 10.1016/j.jalgebra.2020.09.031.
- Páez-Guillán, P., Siciliano, S., Towers, D. A. (2023). On the subalgebra lattice of a restricted Lie algebra. Linear Algebra Appl. 660:47–65. DOI: 10.1016/j.laa.2022.12.004.
- Siciliano, S., Towers, D. A. (2022). On the subalgebra lattice of a Leibniz algebra. Commun. Algebra 50:255–267. DOI: 10.1080/00927872.2021.1956510.
- Towers, D. A. (1973). A Frattini theory for algebras. Proc. London Math. Soc. 27:440–462. DOI: 10.1112/plms/s3-27.3.440.
- Towers, D. A. (2009). C-ideals of Lie algebras. Commun. Algebra 37:4366–4373. DOI: 10.1080/00927870902829023.
- Towers, D. A., Ciloglu, Z. (2021). Weak c-ideals of a Lie algebra. Turk. J. Math. 45:1940–1948.
- Turner, B. N. (2016). Some criteria for solvable and supersolvable Leibniz algebras. Ph.D. thesis, North Carolina State University. http://www.lib.ncsu.edu/resolver/1840.16/11085.
- Zhu, L., Guo, W., Shum, K. P. (2002). Weakly c-normal subgroups of finite groups and their properties. Commun. Algebra 30:5505–5512. DOI: 10.1081/AGB-120015666.