Weighted infinitesimal unitary bialgebras, pre-Lie, matrix algebras and polynomial algebras
Yi Zhang, Jiawen Zheng, Yanfeng Luo

TL;DR
This paper introduces weighted infinitesimal unitary bialgebras on matrix and polynomial algebras, establishing new algebraic structures such as Newtonian comatrix coalgebras, pre-Lie, and Lie algebras, expanding the understanding of algebraic frameworks.
Contribution
It constructs new infinitesimal unitary bialgebras and Hopf algebras on matrix and polynomial algebras, and explores their relationships with pre-Lie and Lie algebra structures.
Findings
Established Newtonian comatrix coalgebra.
Constructed infinitesimal unitary Hopf algebra on matrix algebra.
Derived pre-Lie and Lie algebra structures on matrix and polynomial algebras.
Abstract
Motivated by the classical comatrix coalgebra, we introduce the concept of a Newtonian comatrix coalgebra. We construct an infinitesimal unitary bialgebra on a matrix algebra and a weighted infinitesimal unitary bialgebra on a non-commutative polynomial algebra, via two constructions of suitable coproducts. As a consequence, a Newtonian comatrix coalgebra is established. Furthermore, an infinitesimal unitary Hopf algebra, under the view of Aguiar, is constructed on a matrix algebra. By investigating the relationship between weighted infinitesimal bialgebras and pre-Lie algebras, we erect respectively a pre-Lie algebraic structure and further a new Lie algebraic structure on matrix algebras. Finally, a pre-Lie algebraic structure and a Lie algebraic structure on non-commutative polynomial algebras are also given.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Weighted infinitesimal unitary bialgebras, pre-Lie, matrix algebras and polynomial algebras
Yi Zhang
School of Mathematics and Statistics, Lanzhou University, Lanzhou, Gansu 730000, P. R. China
,
Jia-Wen Zheng
School of Mathematics and Statistics, Lanzhou University, Lanzhou, Gansu 730000, P. R. China
and
Yan-Feng Luo
School of Mathematics and Statistics, Key Laboratory of Applied Mathematics and Complex Systems, Lanzhou University, Lanzhou, 730000, P. R. China
Abstract.
Motivated by comatrix coalgebras, we introduce the concept of a Newtonian comatrix coalgebra. We construct an infinitesimal unitary bialgebra on matrix algebras, via the construction of a suitable coproduct. As a consequence, a Newtonian comatrix coalgebra is established. Furthermore, an infinitesimal unitary Hopf algebra, under the view of Aguiar, is constructed on matrix algebras. By the close relationship between pre-Lie algebras and infinitesimal unitary bialgebras, we erect a pre-Lie algebra and a new Lie algebra on matrix algebras. Finally, a weighted infinitesimal unitary bialgebra on non-commutative polynomial algebras is also given.
Key words and phrases:
matrix algebra, polynomial algebra, infinitesimal bialgebra, pre-Lie algebra.
2010 Mathematics Subject Classification:
15A30, 16W99, 16T10, 17B60, 17D25
Contents
-
2 Weighted infinitesimal unitary bialgebras and infinitesimal unitary Hopf algebras
-
2.2 Infinitesimal unitary Hopf algebras under the view of Aguiar
-
3 Infinitesimal unitary Hopf algebras and pre-Lie algebras on matrix algebras
-
3.2 An infinitesimal unitary Hopf algebra on matrix algebras
-
3.3 A pre-Lie and a new Lie algebraic structures on matrix algebras
-
4 Weighted infinitesimal unitary bialgebras on polynomial algebras
1. Introduction
A weighted infinitesimal unitary bialgebra is a module which is simultaneously an algebra (possibly without a unit) and a coalgebra (possibly without a counit) such that the coproduct is a weighted derivation of in the sense that
[TABLE]
where is a fixed constant.
Weighted infinitesimal unitary bialgebras, first appeared in [36] and further studied in [13, 24, 44], are in order to give an algebraic meaning of non-homogenous associative classical Yang-Baxter equations in the context of associative algebras [36]. It should be pointed out that the weighted infinitesimal unitary bialgebra is a uniform version of two infinitesimal bialgebras. The first version of infinitesimal bialgebras, also called Newtonian coalgebra [28], introduced by Joni and Rota [29], are aimed at giving an algebraic framework for the calculus of Newton divided differences. Namely, an infinitesimal bialgebra is a module which is simultaneously an algebra (possibly without a unit) and a coalgebra (possibly without a counit) such that the coproduct is a derivation of in the sense that
[TABLE]
The basic theory of infinitesimal bialgebras and infinitesimal Hopf algebras was developed by Aguiar [2, 4, 5, 6], has proven useful not only in combinatorices [5, 19], but in other areas of mathematics as well, such as associative Yang-Baxter equations [2, 6], Drinfeld’s doubles [2, 40] and pre-Lie algebras [2]. The second version of infinitesimal bialgebras was defined by Loday and Ronco [32] and brought new life on rooted trees by Foissy [22, 23] in the sense that
[TABLE]
In 2010, Ogievetsky and Popov [36] showed that weighted infinitesimal unitary bialgebras play an important role in mathematical physics. Given a solution of the non-homogenous associative classical Yang-Baxter equation, one can construct a weighted infinitesimal unitary bialgebra [36], involving a coproduct given by
[TABLE]
Weighted infinitesimal unitary bialgebras also have found applications in combinatorics. Based on Hochschild -cocycle conditions in Cartier-Quillen cohomology, we can construct weighted infinitesimal unitary bialgebras on various combinatorial objects, such as planar rooted forests and decorated rooted forests [22, 24, 41, 43]. A surprising phenomena showed that these weighted infinitesimal unitary bialgebras can be treated in the framework of operated algebras, via grafting operators [41, 43]. It has been observed that the weighted infinitesimal unitary bialgebras on rooted forests possess universal properties. In particular, the objects studied in the well-known Connes-Kreimer Hopf algebra have a free cocycle weighted infinitesimal bialgebraic structure [24, 41, 43]. Thus it would be interesting to construct a number of weighted infinitesimal bialgebras on some combinatorial objects or various well-known algebras. This is our main goal of this paper.
Let be the matrix algebra and the canonical -basis for . Then has a coalgebraic structure [38] determined by
[TABLE]
where is the Kronecker function. This comatrix coalgebra plays a foundmental role in classical bialgebras. It is almost a natural question to wonder whether we can construct an infinitesimal bialgebra on . This paper gives a positive answer to this question. Strongly motivated by the construction of comatrix coalgebra, we show that possesses an infinitesimal unitary bialgebraic structure with the coproduct defined by
[TABLE]
We call this infinitesimal unitary bialgebra a Newtonian comatrix coalgebra. We emphasize that the Newtonian comatrix coalgebra is different from the one introduced in [44]. See Remark 3.5 below. Moreover, we equip an infinitesimal unitary bialgebra on matrix algebras with an antipode such that it is further an infinitesimal unitary Hopf algebra, under the view of Aguiar [2]. As a related result, an infinitesimal unitary bialgebra of weight on non-commutative polynomial algebras is also given.
Pre-Lie algebras, also called Vinberg algebras, first appeared in the work of Vinberg [39] under the name left-symmetric algebras on cones and also appeared independently in the study of deformation and cohomology of associative algebras [25]. Later, there have been several interesting developments of pre-Lie algebras in mathematices and mathematical physics, such as classical and quantum Yang-Baxter equations [10, 14, 20, 27], Lie groups and Lie algebras [8, 30, 35, 39], pre-Poisson algebras [3] and Poisson brackets [15], quantum field theory [16] and operads [17, 37], -operators [9, 11] and Rota-Baxter algebras [7, 12, 26, 33]. Because of the non-associativity of pre-Lie algebras, there is not a suitable representation theory and not a complete structure theory of pre-Lie algebras [9]. It is natural to consider how to construct them from some algebraic structures which we have known. The present paper is an attempt to construct pre-Lie algebraic structures on some associative algebras, especially on matrix algebras. In the algebraic framework of Aguiar [6] for infinitesimal bialgebras, a pre-Lie algebraic structure is constructed from an arbitrary infinitesimal (unitary) bialgebra. As an application, a pre-Lie algebraic structure and then a new Lie algebraic structure on matrix algebras are built in this paper.
Notation. Throughout this paper, let be a unitary commutative ring unless the contrary is specified, which will be the base ring of all modules, algebras, coalgebras, bialgebras, tensor products, as well as linear maps. By an algebra we mean an associative algebra (possibly without a unit) and by a coalgebra we mean a coassociative coalgebra (possibly without a counit). For an algebra , we view as an -bimodule via
[TABLE]
where . We shall use the sign function , , which is given by
[TABLE]
2. Weighted infinitesimal unitary bialgebras and infinitesimal unitary Hopf algebras
In this section, we first recall the concept of a weighted infinitesimal (unitary) bialgebra [24], which generalise simultaneously the one introduced by Joni and Rota [29] and the one initiated by Loday and Ronco [32]. We then recall the notation of an infinitesimal (unitary) Hopf algebra, under the view of Aguiar.
2.1. Weighted infinitesimal unitary bialgebras
The following is the concept of a weighted infinitesimal (unitary) bialgebra proposed in [24].
Definition 2.1**.**
[24] Let be a given element of . An infinitesimal bialgebra (abbreviated -bialgebra) of weight is a triple consisting of an algebra (possibly without a unit) and a coalgebra (possibly without a counit) that satisfies
[TABLE]
If further is a unitary algebra, then the quadruple is called an infinitesimal unitary bialgebra (abbreviated -unitary bialgebra) of weight .
The concept of an -bialgebra morphism is given as usual.
Definition 2.2**.**
[24] Let and be two -bialgebras of weight . A map is called an infinitesimal bialgebra morphism (abbreviated -bialgebra morphism) if is an algebra morphism and a coalgebra morphism. The concept of an infinitesimal unitary bialgebra morphism can be defined in the same way.
Remark 2.3**.**
- (a)
The -bialgebra introduced by Joni and Rota [29] is of weight zero and the -bialgebra originated from Loday and Ronco [32] is of weight . 2. (b)
Let be an -unitary bialgebra of weight . Then by
[TABLE] 3. (c)
Aguiar [2] pointed out that there is no nonzero -bialgebra of weight zero which is both unitary and counitary. Indeed, it follows the counicity that
[TABLE]
and so .
Example 2.4**.**
Here are some examples of weighted -(unitary) bialgebras.
- (a)
Any unitary algebra is an -unitary bialgebra of weight zero when the coproduct is taken to be . 2. (b)
[2, Example 2.3.5] The polynomial algebra is an -unitary bialgebra of weight zero with the coproduct given by Eq. (2) and
[TABLE]
where we set . 3. (c)
[2, Example 2.3.2] Let be a quiver. The path algebra of is the associative algebra whose underlying module has its basis the set of all paths of length in . The multiplication of two paths and is defined by
[TABLE]
where is the Kronecker delta. The path algebra is an -bialgebra of weight zero with the coproduct defined by
[TABLE] 4. (d)
[32, Section 2.3] Let denote a vector space. Recall that the tensor algebra over is the tensor module,
[TABLE]
equipped with the associative multiplication called concatenation defined by
[TABLE]
and with the convention that and . The tensor algebra is an -unitary bialgebra of weight with the coassociative coproduct defined by
[TABLE] 5. (e)
[42, Example 2.4] The polynomial algebra is an -unitary bialgebra of weight with the coproduct defined by
[TABLE]
When , this -unitary bialgebra of weight zero is precisely the Newtonian coalgebra on , which was constructed and studied by Hirschhorn and Raphael [28]. 6. (f)
[21, Section 1.4] Let be a braided bialgebra with and the braiding given by
[TABLE]
where and . Then is an -unitary bialgebra of weight .
2.2. Infinitesimal unitary Hopf algebras under the view of Aguiar
Denote by the set of linear maps from to throughout the remainder of this subsection.
Definition 2.5**.**
[18, Chapter 4.1] Let be a classical bialgebra. Then the convolution product on defined to be the composition:
[TABLE]
and the triple is called a convolution algebra, where is the unit with respect to . The antipode is defined to be the inverse of the identity map with respect to the convolution product.
Remark 2.6**.**
The question facing us is whether we can define the antipode for an -unitary bialgebra of weight zero as one does for classical bialgebras. Aguiar [2, Remark 2.2] answered this question “No” in the case of weight zero due to the lack of the unit with respect to , see Remark 2.3 (c).
To equip the -bialgebra of weight zero with an antipode, Aguiar [2] introduced the notion of a circular convolution.
Definition 2.7**.**
[2, Section 3] Let be an -bialgebra of weight zero. Then the circular convolution on defined by
[TABLE]
Note that and so is the unit with respect to the circular convolution .
Further Aguiar [2] introduced the concept of an infinitesimal Hopf algebra via circular convolution.
Definition 2.8**.**
[2, Definition 3.1] An infinitesimal bialgebra of weight zero is called an infinitesimal Hopf algebra (abbreviated -Hopf algebra) if the identity map is invertible with respect to the circular convolution . In this case, the inverse of is called the antipode of . It is characterized by
[TABLE]
Here . If further is a unitary algebra, then is called an infinitesimal unitary Hopf algebra.
The -unitary Hopf algebra satisfies many properties analogous to those of a classical Hopf algebra [2, Propositions 3.7, 3.12].
Remark 2.9**.**
- (a)
Let be an -unitary Hopf algebra with antipode . Then
[TABLE] 2. (b)
If is an -unitary Hopf algebra with antipode , then so is with the same antipode . 3. (c)
It follows from Eq. (2.8) that by taking .
Definition 2.10**.**
[2, Section 4] Let be an algebra and a coalgebra. The map is called locally nilpotent with respect to convolution if for each , there is some such that
[TABLE]
where are from the Sweedler notation and is defined inductively by
[TABLE]
Denote by and the field of real numbers and the field of complex numbers, respectively.
Lemma 2.11**.**
[2, Proposition 4.5] Let be an -bialgebra of weight zero and , and let . Suppose that either
- (a)
or and is finite dimensional, or 2. (b)
is locally nilpotent and char.
Then is an -Hopf algebra with bijective antipode .
3. Infinitesimal unitary Hopf algebras and pre-Lie algebras on matrix algebras
In this section, we equip a matrix algebra with an -unitary Hopf algebraic structures, in terms of a construction of the suitable coproduct. In the algebraic framework of Aguiar [6] for -(unitary) bialgebras, a pre-Lie and a new Lie algebraic structures on matrix algebras are constructed.
3.1. An infinitesimal unitary bialgebra on matrix algebras
In this subsection, we construct an -unitary bialgebra of weight zero arising from a matrix algebra.
Definition 3.1**.**
[31, Chapter 17] Let be a unitary commutative ring. A matrix algebra is a collection of matrices over that form an associative algebra under matrix addition and matrix multiplication.
The multiplication on will be denoted by . We now define a coproduct on matrix algebra to equip it with a coalgebra structure, with an eye toward constructing an -unitary bialgebra on it.
Let , , be an elementary matrix whose entry in the -th row, -th column is , and zero in all other entries. Note that . Then any matrix can be decomposed as a linear combination of all the elementary matrices as follows:
[TABLE]
By linearity, we only need to define for basis elements . Define
[TABLE]
We observe that is closed under the coproduct .
Lemma 3.2**.**
For , we have
[TABLE]
Proof.
Let and be elementary matrices of , , respectively. Then it is enough to verify
[TABLE]
We have two cases to consider.
Case 1. . In this case, by Eq. (5), we have
[TABLE]
Case 2. , . In this case, we only need to consider the following three subcases.
Subcase 2.1. . By Eq. (5), we have
[TABLE]
Subcase 2.2. . By Eq. (5), we have
[TABLE]
Subcase 2.3. . By Eq. (5), we have
[TABLE]
Case 3., . It is similar to the proof of Case 2. ∎
Lemma 3.3**.**
The pair is a coalgebra (without counit).
Proof.
It is enough to show the coassociative law:
[TABLE]
When , the Eq. (6) holds trivially. By the definition of in Eq. (5), we have two cases to consider.
Case 1. . In this case, we have
[TABLE]
Case 2. . In this case, we have
[TABLE]
This completes the proof. ∎
Now we arrive at our main result in this subsection.
Theorem 3.4**.**
The quadruple is an -unitary bialgebra of weight zero.
Proof.
It follows from Lemmas 3.2 and 3.3. ∎
Remark 3.5**.**
- (a)
Let us emphasize that this -unitary bialgebra on is different from the one constructed in our previous paper [44]. Let such that . Then the quadruple is an -unitary bialgebra of weight zero [44] with the coproduct defined by
[TABLE] 2. (b)
In order to distinguish these two -unitary bialgebras of weight zero on , we call the -unitary bialgebra of weight zero on with the coproduct defined by Eq. (5) a Newtonian comatrix coalgebra. 3. (c)
We would like to emphasize that there will be a classification of -unitary bialgebraic structures (weight zero) on matrix algebras. Since -unitary bialgebras of weight zero is closely related to associative Yang-Baxter equations, such a classification problem is related to the classification of solutions of the associative Yang-Baxter equation on matrix algebras.
Example 3.6**.**
Consider the matrix algebra . By the definition of in Eq. (5), we have
[TABLE]
and
[TABLE]
A directly calculation shows that
[TABLE]
and
[TABLE]
Moreover
[TABLE]
3.2. An infinitesimal unitary Hopf algebra on matrix algebras
In this subsection, we equip the -unitary bialgebra of weight zero with an antipode such that it is further an -unitary Hopf algebra, under the view of Aguiar [2].
Lemma 3.7**.**
Let be the -unitary bialgebra of weight zero in Theorem 3.4 and
[TABLE]
Then for each and , and so is locally nilpotent.
Proof.
It suffices to prove the first statement by induction on . Using Sweedler notation, we may write
[TABLE]
For the initial step of , it follows from Eq. (5) that
[TABLE]
where the last step employs
[TABLE]
Assume the result is true for for an , and consider the case when Then
[TABLE]
This completes the proof. ∎
Theorem 3.8**.**
Let . Then the quadruple is an -unitary Hopf algebra with the bijective antipode .
Proof.
By Theorem 3.4, is an -unitary bialgebra of weight zero. From Lemmas 2.11 and 3.7, is an -Hopf algebra with bijective antipode . Then the result follows from Definition 2.8. ∎
3.3. A pre-Lie and a new Lie algebraic structures on matrix algebras
In this subsection, we first recall the concept of pre-Lie algebras and the connection between -unitary bialgebras of weight zero and pre-Lie algebras. We then give a pre-Lie algebraic structure on a matrix algebra. Consequently, a new Lie algebraic structure on a matrix algebra is induced.
Definition 3.9**.**
[34] A (left) pre-Lie algebra is a -module together with a binary linear operation satisfying
[TABLE]
Example 3.10**.**
Here are two well-known pre-Lie algebras on dendriform dialgebras and Rota-Baxter algebras, respectively.
- (a)
Let be a dendriform dialgebra. Then the multiplication defined by gives an associative algebra. In addition, define
[TABLE]
Then together with is a pre-Lie algebra [6]. 2. (b)
Let be a Rota-Baxter algebra of weight . If the weight , then the binary operation
[TABLE]
defines a pre-Lie algebra. If the weight , then the binary operation
[TABLE]
defines a pre-Lie algebra [7].
Let be a pre-Lie algebra. For any , let
[TABLE]
be the left multiplication operator. Let
[TABLE]
The close relation between pre-Lie algebras and Lie algebras is characterized by the following two fundamental properties.
Lemma 3.11**.**
- (a)
[25, Theorem 1] Let be a pre-Lie algebra. Define for elements in a new multiplication by setting
[TABLE]
Then is a Lie algebra. 2. (b)
[9, Proposition 1.2] Eq. (7) rewrites as
[TABLE]
which implies that with gives a representation of the Lie algebra .
Remark 3.12**.**
By Lemma 3.11, a pre-Lie algebra induces a Lie algebra whose left multiplication operators give a representation of the associated commutator Lie algebra.
Let be an -unitary bialgebra of weight zero. Define
[TABLE]
where and are from the Sweedler notation . The following result captures the connection from -unitary bialgebras of weigh zero to pre-Lie algebras [6].
Lemma 3.13**.**
[6] Let be an -unitary bialgebra of weight zero. Then equipped with the in Eq. (9) is a pre-Lie algebra.
Remark 3.14**.**
By Aguiar’s construction about the pre-Lie product, a pre-Lie algebra from a weighted infinitesimal unitary bialgebra was derived in [24].
We now give a pre-Lie algebraic structure on matrix algebra . By linearity, we only need to define for basis elements . By Theorem 3.4, is an -unitary bialgebra of weight zero. Applying Theorem 3.13 and Eq. (9), we define
[TABLE]
where and are from .
Theorem 3.15**.**
The pair is a pre-Lie algebra and so is a Lie algebra, where the Lie bracket given by
[TABLE]
Proof.
By Theorem 3.4 and Lemma 3.13, is a pre-Lie algebra. The remainder follows from Lemma 3.11 (a). Moreover, by Eqs. (5) and (10), we have
[TABLE]
Applying Eq. (8) in Lemma 3.11 (a), we obtain
[TABLE]
Then Eq. (11) follows by summing up Eq. (12). ∎
Remark 3.16**.**
- (a)
We emphasize that our Lie bracket is different from the classical Lie bracket on matrix algebras. 2. (b)
We call the Lie bracket an -Lie bracket which is induced by a weighted -(unitary) bialgebraic structure.
Example 3.17**.**
Consider the matrix algebra . Let
[TABLE]
Then and . By Theorem 3.15, we have
[TABLE]
By Example 3.6 and Lemma 3.13, we also have
[TABLE]
4. Weighted infinitesimal unitary bialgebras on polynomial algebras
In this section, we derive a weighted -unitary bialgebraic structure from a non-commutative polynomial algebra.
Definition 4.1**.**
Let be a unitary commutative ring. A non-commutative polynomial algebra with coefficients in is a free algebra generated by .
Denote by
[TABLE]
Then the elements in are called monomials in which are the elements from the set of all words in . Note that is a -basis of and is a free monoid with the identity . We denote the multiplication on by .
For any word with length , we define a new notation to choose some elements of . Denote by
[TABLE]
Example 4.2**.**
Consider the polynomial algebra . Let . Then
[TABLE]
Let us now define a coproduct on such that it is further an -unitary bialgebra of weight . For any word , define
[TABLE]
We observe that is closed under the coproduct .
Lemma 4.3**.**
Let . Then
[TABLE]
Proof.
It suffices to consider basis elements by linearity. Without loss of generality, we may suppose that and and so is a new word of length . If or , then we have done. Consider and . By Eq. (14), we have
[TABLE]
as desired. ∎
Lemma 4.4**.**
The pair is a coalgebra (without counit).
Proof.
It is enough to check the coassociative law:
[TABLE]
When is [math] or , then the result holds for trivially. Consider . On the one hand,
[TABLE]
On the other hand,
[TABLE]
This completes the proof. ∎
Now we state our main result in this section.
Theorem 4.5**.**
The quadruple is an -unitary bialgebra of weight .
Proof.
It follows from the Lemmas 4.3 and 4.4. ∎
Example 4.6**.**
Consider the polynomial algebra . Let , be two words in . By the definition of in Eq. (14), we have
[TABLE]
and
[TABLE]
Then
[TABLE]
Similarly,
[TABLE]
A directly calculation shows that
[TABLE]
Acknowledgments: We thank the anonymous referee for valuable suggestions helping to improve the paper.
Funds: This work was supported by the National Natural Science Foundation of China (Grant No. 11771191).
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1]
- 2[2] M. Aguiar, Infinitesimal Hopf algebras, Contemporary Mathematics, New trends in Hopf algebra theory (La Falda, 1999), 1-29, Contemp. Math., 267 , Amer. Math. Soc., Providence, RI, (2000).
- 3[3] M. Aguiar, Pre-Poisson algebras, Lett. Math. Phys. 54 (2000), 263-277.
- 4[4] M. Aguiar, On the associative analog of Lie bialgebras, J. Algebra 244 (2001), 492-532.
- 5[5] M. Aguiar, Infinitesimal Hopf algebras and the 𝐜𝐝 𝐜𝐝 \mathbf{cd} -index of polytopes. Geometric combinatorics (San Francisco, CA/Davis, CA, 2000), Discrete Comput. Geom. 27 (2002), 3-28.
- 6[6] M. Aguiar, Infinitesimal bialgebras, pre-Lie and dendriform algebras. Hopf algebras, 1-33, Lecture Notes in Pure and Appl. Math. 237 , Dekker, New York, 2004.
- 7[7] H. H. An and C. M. Bai, From Rota-Baxter algebras to pre-Lie algebras, J. Phys. A: Math. Theor. 41 (2008), 01520.
- 8[8] A. Andrada and S. Salamon, Complex product structures on Lie algebras, Forum Math. 17 (2005), 261-295.
