Abstract
We investigate generalized derivations of n-BiHom-Lie algebras. We introduce and study properties of derivations, \(( \alpha ^{s},\beta ^{r}) \)-derivations and generalized derivations. We also study quasiderivations of n-BiHom-Lie algebras. Generalized derivations of \((n+1)\)-BiHom-Lie algebras induced by n-BiHom-Lie algebras are also considered.
Access provided by Autonomous University of Puebla. Download conference paper PDF
Similar content being viewed by others
Keywords
4.1 Introduction
Higher n-ary operations and particularly ternary operations are natural generalizations of binary operations. They appeared in many areas of mathematics and physics. The first ternary algebraic structure given in an axiomatic form appeared in 1949 in the work of Jacobson [10]. He considered a Lie bracket [x, y] in a Lie algebra \(\mathcal {L}\) and a subspace that is closed with respect to [[x, y], z] which he called a Lie triple system. In theoretical physics, the generalization of Hamiltonian mechanics by Nambu generated lead to ternary algebras, which are generalizations of Lie algebras. The algebraic formulation of this structure was achieved by Fillipov [7] and Takhtajan [29, 30] based on some generalization of the Jacobi identity.
Hom-type algebras appeared also in Physics literature when studying q-deforma-tions of algebras of vector fields like Witt and Virasoro algebras. It turns out that usual Jacobi identity is twisted by a homomorphism. This type of algebras was studied in Lie case first in [9], then extended to associative algebras and various other non-associative algebras in [26]. n-ary Hom-type generalization of n-ary algebras were introduced in [2]. Derivations and generalized derivations of many varieties of algebras and Hom-algebras were investigated in [4, 5, 11,12,13,14, 16,17,18,19,20,21,22, 24, 25, 31,32,34].
In [6], the authors studied Hom-algebras from a category theoretical point of view. This approach was generalized in [8] and lead to the concepts of BiHom-algebras where the defining identities are twisted by two morphisms instead of only one for Hom-algebras. BiHom-type n-ary algebras were introduced in [23].
In this article, we aim to discuss generalized derivations of n-BiHom-Lie algebras. The following is the organization of the paper. Section 4.2 deals with the preliminary background including the main definitions. In Sect. 4.3 we introduce and study properties of derivations, \(( \alpha ^{s},\beta ^{r}) \)-derivations and generalized derivations. Section 4.4 is dedicated to quasiderivations of n-BiHom-Lie algebras. In Sect. 4.5 we study generalized derivations of \((n+1)\)-BiHom-Lie algebras induced by n-BiHom-Lie algebras.
4.2 Basic Review of n-BiHom-Lie Algebras
Definition 4.1
A quadruple \( (\mathfrak {g}, [\cdot ,\cdot ,\cdot ], \alpha , \beta ) \), where \( \mathfrak {g} \) is a vector space, \( \alpha , \beta \) are linear maps of \( \mathfrak {g} \), and \( [\cdot ,\cdot ,\cdot ]: \mathfrak {g}^{\otimes 3} \rightarrow \mathfrak {g}\) is a 3-linear map, is called a 3-BiHom-Lie algebra if the following conditions are satisfied,
-
1.
\( \alpha \circ \beta =\beta \circ \alpha \).
-
2.
\( [\beta (x_{1}),\beta (x_{2}),\alpha (x_{3})]=Sgn(\sigma )[\beta (x_{\sigma (1)}),\beta (x_{\sigma (2)}),\alpha (x_{\sigma (3)})] \), for all \( x_{1},x_{2},x_{3} \in \mathfrak {g} \) and \( \sigma \in S_{3} \).
-
3.
\( [{\beta }^{2}(x_{1}),{\beta }^{2}(x_{2}),[{\beta }(y_{1}),{\beta }(y_{2}),{\alpha }(y_{3})]]{=} [{\beta }^{2}(y_{2}),{\beta }^{2}(y_{3}),[{\beta }(x_{1}),{\beta }(x_{2}),{\alpha }(y_{1})]] - [\beta ^{2}(y_{1}),\beta ^{2}(y_{3}),[\beta (x_{1}),\beta (x_{2}),\alpha (y_{2})]] + [\beta ^{2}(y_{1}),\beta ^{2}(y_{2}),[\beta (x_{1}),\beta (x_{2}),\alpha (y_{3})]]\), for all \( x_{1},x_{2},y_{1},y_{2},y_{3} \in \mathfrak {g} \).
Definition 4.2
An n-BiHom-Lie algebra is a vector space V equipped with an n-linear map \( [\cdot , \ldots ,\cdot ] \) and two linear maps \( \alpha \) and \( \beta \) such that:
-
1.
\( \alpha \circ \beta =\beta \circ \alpha \).
-
2.
\([\beta (x_{1}),\ldots ,\beta (x_{n-1}),\alpha (x_{n})]=Sgn(\sigma )[\beta (x_{\sigma (1)}),\ldots ,\beta (x_{\sigma (n-1)}),\alpha (x_{\sigma (n)})] \), for any \( \sigma \in S_{n} \).
-
3.
\(\begin{array}[t]{l} [\beta ^{2}(x_{1}),\ldots ,\beta ^{2}(x_{n-1}),[\beta (y_{1}),\ldots ,\beta (y_{n-1}),\alpha (y_{n})]]= \\ {\displaystyle \sum _{k=1}^{n}} (-1)^{n-k} [\beta ^{2}(y_{1}),\ldots ,\widehat{\beta ^{2}(y_{k})},\ldots ,\beta ^{2}(y_{n}),[\beta (x_{1}),\ldots , \beta (x_{n-1}),\alpha (y_{k})]], \end{array}\)
for all \( x_{1},\ldots ,x_{n-1},y_{1},\ldots ,y_{n} \in V\).
We say that \( (\mathfrak {g}, [\cdot ,\ldots ,\cdot ], \alpha , \beta ) \) is a multiplicative n-BiHom-Lie algebra if \( \alpha \) and \( \beta \) are algebra morphisms and regular if they are automorphisms.
n-BiHom-Lie algebras may be induced from n-Lie algebras using two algebra morphisms as stated in the following proposition given in [23].
Proposition 4.1
Let \( (V,[\cdot ,\ldots ,\cdot ]) \) be an n-Lie algebra and \( \alpha , \beta \) two algebra morphisms of V that commute with each other. For \( x_{1},\ldots ,x_{n} \in V\) define
then \( (V,[\cdot ,\ldots ,\cdot ]_{\alpha \beta },\alpha ,\beta ) \) is an n-BiHom-Lie algebra.
In this paper we are interested in the derivations of this particular type of n-BiHom-Lie algebras, we compare them to the derivations of the original Lie algebras, and study their inherited properties.
Example 4.1
Let V be a 4-dimensional vector space with the basis \(\{e_1,e_2,e_3,e_4\}\). Define the following brackets:
With this bracket, \( (V,[\cdot ,\cdot ,\cdot ]) \) is a 3-Lie algebra. Let \( \alpha \) and \( \beta \) be two linear maps of V defined by:
Let \( [x_{1},x_{2},x_{3} ]_{\alpha \beta }= [\alpha (x_{1}),\alpha (x_{2}),\beta (x_{3})] \), be a twisted bracket defined on V. Then it follows that \( (V,[\cdot ,\cdot ,\cdot ]_{\alpha \beta },\alpha ,\beta ) \) is a 3-BiHom-Lie algebra.
Recall that a subset \( \mathcal {S} \subseteq \mathfrak {g} \) is a subalgebra of \( (\mathfrak {g},[\cdot ,\ldots ,\cdot ],\alpha ,\beta ) \) if \( \alpha (\mathcal {S}) \subseteq \mathcal {S}\), \( \beta (\mathcal {S}) \subseteq \mathcal {S}\) and \( [\mathcal {S},\mathcal {S},\ldots ,\mathcal {S}]\subseteq \mathcal {S} \). We say that \(\mathcal {S}\) is an ideal if \( \alpha (\mathcal {S}) \subseteq \mathcal {S}\), \( \beta (\mathcal {S}) \subseteq \mathcal {S}\) and \( [\mathcal {S},\mathcal {S},\ldots ,\mathfrak {g}]\subseteq \mathcal {S} \).
Definition 4.3
The center of \( (\mathfrak {g},[\cdot ,\ldots ,\cdot ],\alpha ,\beta ) \) is the set of \( u \in \mathfrak {g} \) such that \( [u,x_{1},x_{2},\ldots ,x_{n-1}]=0 \) for any \( x_{1},x_{2},\ldots ,x_{n-1} \in \mathfrak {g} \). The center is an ideal of \( \mathfrak {g} \) which we will denote by \( Z(\mathfrak {g}) \).
A more general definition of the center is the one involving the two morphisms \( \alpha \) and \( \beta \) and we will call it the \( (\alpha ,\beta ) \)-center.
Definition 4.4
The \( (\alpha ,\beta ) \)-center of \( (\mathfrak {g},[\cdot ,\ldots ,\cdot ],\alpha ,\beta ) \) is the set
Example 4.2
A direct computation gives that the \((\alpha ,\beta ) \)-center of the 3-BiHom-Lie algebra given in Example 4.1 is trivial, that is \( Z_{(\alpha ,\beta )}(\mathfrak {g})=\{0\}\).
4.3 Derivations, \(( \alpha ^{s},\beta ^{r}) \)-Derivations and Generalized Derivations
Definition 4.5
Let \( (\mathfrak {g}, [\cdot ,\cdot ,\cdot ], \alpha , \beta ) \) be a 3-BiHom-Lie algebra. A linear map \(D: \mathfrak {g} \rightarrow \mathfrak {g}\) is a derivation if for all \(x,y,z \in \mathfrak {g}\):
and it is called an \((\alpha ^{s},\beta ^{r}) \)-derivation of \( (\mathfrak {g}, [\cdot ,\cdot ,\cdot ], \alpha , \beta ) \), if it satisfies:
Similarly, one can define \((\alpha ^{s},\beta ^{r}) \)-derivations of n-BiHom-Lie algebras. Condition (4.3) becomes
Let \(\mathrm{Der}_{( \alpha ^{s},\beta ^{r})}(\mathfrak {g})\) be the set of \(( \alpha ^{s},\beta ^{r}) \)-derivations of \(\mathfrak {g}\) and set
We show that \(\mathrm{Der}(\mathfrak {g})\) is equipped with a Lie algebra structure. In fact, for \( D \in \mathrm{Der}_{( \alpha ^{s},\beta ^{r})}(\mathfrak {g}) \) and \( D' \in \mathrm{Der}_{( \alpha ^{s'},\beta ^{r'})}(\mathfrak {g}) \), we have \( [D,D'] \in \mathrm{Der}_{( \alpha ^{s+s'},\beta ^{r+r'})}(\mathfrak {g}) \), where \( [D,D'] \) is the standard commutator defined by \([D,D'] = DD'-D'D.\)
A construction of the derivation extension of a multiplicative Hom-Lie algebra was given in [27], in the next proposition, we generalize it to the case of BiHom-Lie algebras. Let \( (\mathfrak {g},[\cdot ,\cdot ]_{\mathfrak {g}},\alpha ,\beta ) \) be a BiHom-Lie algebra and let \(D: \mathfrak {g} \rightarrow \mathfrak {g}\) be a linear map. Consider the vector space \( \mathcal {L}=\mathfrak {g}\oplus \mathbb {K} D \) and define the bracket \( [\cdot ,\cdot ]_{D} \) on \( \mathcal {L} \) by \( [u,v]_{D}=[u,v]_{\mathfrak {g}} \) and \( [u,D]_{D}=D(u) \), for any \( u,v \in \mathfrak {g} \). Also, define two morphisms of \( \mathcal {L}\) as follows:
A direct computation gives the following proposition.
Proposition 4.2
With the above definitions, \( (\mathcal {L},[\cdot ,\cdot ]_{D},\alpha _{D},\beta _{D}) \) is a BiHom-Lie algebra if and only if D is a derivation of \( (\mathfrak {g},[\cdot ,\cdot ]_{\mathfrak {g}},\alpha ,\beta ) \).
Let \( (V,[\cdot ,\ldots ,\cdot ]) \) be an n-Lie algebra and \( (V,[\cdot ,\ldots ,\cdot ]_{\alpha \beta },\alpha ,\beta ) \) the induced n-BiHom-Lie algebra where \( \alpha ,\ \beta \) are the two morphisms used for this induction. A direct computation gives the following proposition
Proposition 4.3
Any derivation of the n-Lie algebra \( (V,[\cdot ,\ldots ,\cdot ]) \) is a derivation of its induced n-BiHom-Lie algebra \( (V,[\cdot ,\ldots ,\cdot ]_{\alpha \beta },\alpha ,\beta ) \) as well.
Definition 4.6
Let \( (\mathfrak {g},[\cdot ,\ldots ,\cdot ],\alpha ,\beta ) \) be an n-BiHom-Lie algebra and let D be an endomorphism of \(\mathfrak {g} \). The linear map D is called a generalized \((\alpha ^{s},\beta ^{r}) \)-derivation of \( \mathfrak {g} \) if there exists \( D^{(i)} \), \( i\in \{1,\ldots ,n\} \), a family of endomorphisms of \(\mathfrak {g}\), such that
for any \( x_{1},\ldots ,x_{n}\in \mathfrak {g}. \)
The set of generalized \(( \alpha ^{s},\beta ^{r}) \)-derivations of \( \mathfrak {g} \) is \( \mathrm{GDer}_{( \alpha ^{s},\beta ^{r})}(\mathfrak {g}) \) and as for \(\mathrm{Der(\mathfrak {g})}, \) we denote
Definition 4.7
An endomorphism D of an n-BiHom-Lie algebra \(\mathfrak {g}\) is called a \(( \alpha ^{s},\beta ^{r}) \)-quasiderivation if there exists an endomorphism \( D' \) of \(\mathfrak {g}\) such that
for any \( x_{1},\ldots ,x_{n}\in \mathfrak {g}. \)
We then define
Proposition 4.4
Let \( (\mathfrak {g},[\cdot ,\ldots ,\cdot ],\alpha ,\beta ) \) be a regular n-BiHom-Lie algebra with trivial center. Suppose that \( \mathfrak {g} = \mathcal {I} \oplus \mathcal {J} \), where \(\mathcal {I}\) and \(\mathcal {J} \) are ideals of \( \mathfrak {g} \), then:
Proof
To prove the proposition, first we will show that for any \( D \in GDer(\mathfrak {g}) \), we have \( D(\mathcal {I})\subset \mathcal {I} \) and \( D(\mathcal {J})\subset \mathcal {J} \), then it follows that the restriction of D to \( \mathcal {I} \) (resp. \( \mathcal {J} \) ) is a generalized derivation of \( \mathcal {I} \) (resp. \( \mathcal {J} \)). Let \( u \in \mathcal {I} \) and let \( D(u)=a+b \), \( a\in \mathcal {I} \), \( b\in \mathcal {J} \) be the decomposition of D(u) . For any \( y_{1},\ldots ,y_{n-1}\in \mathfrak {g} \), we have \( [b,y_{1},\ldots ,y_{n-1}] \in \mathcal {J} \). On the other hand,
since \( \mathcal {I} \) is an ideal and \( a\in \mathcal {I} \), so \( [a,y_{1},\ldots ,y_{n-1}] \in \mathcal {I} \). Moreover, for each \( 1 \le i \le n-1\), let \( y_{i}=\alpha ^{s}\beta ^{r} (x_{i})\), then
For every i, \( [\alpha ^{s}\beta ^{r}(u),\alpha ^{s}\beta ^{r}(x_{1}),\ldots ,D^{(i)}(x_{i}),\alpha ^{s}\beta ^{r}(x_{i+1}),\ldots ,\alpha ^{s}\beta ^{r}(x_{n-1})] \in \mathcal {I} \),
so \( \sum _{i=1}^{n-1}[\alpha ^{s}\beta ^{r}(u),\alpha ^{s}\beta ^{r}(x_{1}),\ldots ,D^{(i)}(x_{i}),\alpha ^{s}\beta ^{r}(x_{i+1}),\ldots ,\alpha ^{s}\beta ^{r}(x_{n-1})] \in \mathcal {I} \).
Now let \( x_{i}=a_{i}+b_{i} \) be the decomposition of \( x_{i} \),
but \( [u,a_{1}+b_{1},\ldots ,b_{n-1}] \in \mathcal {I} \cap \mathcal {J} =\{0\} \), so
Similarly, \( [u,a_{1}+b_{1},\ldots ,b_{n-2},a_{n-1}] =0\). Thus,
Therefore,
Then \( [D(u),y_{1},\ldots ,y_{n-1}] \in \mathcal {I} \) and so is \( [b,y_{1},\ldots ,y_{n-1}] \).
Hence \( [b,y_{1},\ldots ,y_{n-1}] \in \mathcal {I} \cap \mathcal {J}. \)
We conclude that \( b\in Z(\mathfrak {g})=\{0\} \) and so \( D(\mathcal {I})\subset \mathcal {I}. \)
Remark 4.1
Since any derivation, quasiderivation is a generalized derivation:
Hence Proposition 4.4 holds for \(\mathrm{QDer(\mathfrak {g})}\) and \(\mathrm{Der(\mathfrak {g})}\) as well, that is
and
Definition 4.8
A linear map D is called an \(( \alpha ^{s},\beta ^{r}) \)-central derivation of \( \mathfrak {g} \) if it satisfies
for all \( i \in \{1,\ldots ,n\}.\)
The set of \(( \alpha ^{s},\beta ^{r}) \)-central derivations is denoted by \( \mathrm{ZDer}_{( \alpha ^{s},\beta ^{r})}(\mathfrak {g}) \) and we set
Definition 4.9
The \(( \alpha ^{s},\beta ^{r}) \)-centroid of \( (\mathfrak {g},[\cdot ,\ldots ,\cdot ],\alpha ,\beta ) \) denoted by \( C_{( \alpha ^{s},\beta ^{r})} (\mathfrak {g})\) is the set of linear maps D satisfying:
for all \( i \in \{1,\ldots ,n\}.\) We set
Proposition 4.5
For any r, s, we have
Proof
It is clear that \( \mathrm{ZDer}_{( \alpha ^{s},\beta ^{r})}(\mathfrak {g}) \subseteq \mathrm{Der}_{( \alpha ^{s},\beta ^{r})}(\mathfrak {g})\) and \( \mathrm{ZDer}_{( \alpha ^{s},\beta ^{r})}(\mathfrak {g}) \subseteq C_{( \alpha ^{s},\beta ^{r})}(\mathfrak {g})\). Conversely, let \( D \in \mathrm{Der}_{( \alpha ^{s},\beta ^{r})}(\mathfrak {g}) \cap \mathrm{C}_{( \alpha ^{s},\beta ^{r})} (\mathfrak {g}) \), so for each i we have
In addition,
Then \( D([x_{1},\ldots ,x_{n}]) =nD([x_{1},\ldots ,x_{n}])\).
Thus \( D([x_{1},\ldots ,x_{n}])=0 \) and \( D\in \mathrm{ZDer}_{( \alpha ^{s},\beta ^{r})}(\mathfrak {g}).\)
Definition 4.10
The \(( \alpha ^{s},\beta ^{r}) \)-quasicentroid \( \mathrm{QC}_{( \alpha ^{s},\beta ^{r})} (\mathfrak {g})\) is the set of linear maps D such that
for all \( i \in \{1,\ldots ,n\}.\) We set
Lemma 4.1
Let \( (\mathfrak {g}, [\cdot ,\ldots ,\cdot ],\alpha ,\beta ) \) be an n-BiHom-Lie algebra.
-
(1)
\( [\mathrm{Der}(\mathfrak {g}),\mathrm{C}(\mathfrak {g})]\subseteq \mathrm{C}(\mathfrak {g}); \)
-
(2)
\(\mathrm{C}(\mathfrak {g}) \oplus \mathrm{Der}(\mathfrak {g})\subseteq \mathrm{Der}(\mathfrak {g}).\)
Proof
Let \( D \in Der_{(\alpha ^{s},\beta ^{r})}(\mathfrak {g}) \), \( D'\in C_{(\alpha ^{s'},\beta ^{r'})}(\mathfrak {g}) \) for some \( s,s',r,r'\) and \( x_{1},\ldots ,x_{n} {\in } \mathfrak {g}. \)
(1) The statement 1 is proved as follows
On the other hand,
but since for each i,
\( D'([\alpha ^{s}\beta ^{r}(x_{1}),\ldots ,D(x_{i}),\ldots ,\alpha ^{s}\beta ^{r}(x_{n})]) = [\alpha ^{s}\beta ^{r}(x_{1}),\ldots ,D'D(x_{i}),\ldots ,\alpha ^{s}\beta ^{r}(x_{n})]\), so
Hence \( [[D,D'](x_{1}),\alpha ^{s+s'}\beta ^{r+r'}(x_{2}),\ldots ,\alpha ^{s+s'}\beta ^{r+r'}(x_{n})] = [D,D']([x_{1},\ldots ,x_{n}]).\)
The same proof holds for any \( i \in \{1,\ldots ,n\} \). Thus \( [D,D'] \in C_{(\alpha ^{s+s'},\beta ^{r+r'})}(\mathfrak {g})\).
(2) The statement 2 is proved as follows:
Then \( D'D \in Der_{(\alpha ^{s+s'},\beta ^{r+r'})}(\mathfrak {g}). \)
In the following lemma, we provide some properties and relations of the subspaces of \( Der(\mathfrak {g}) \) involving in particular the subalgebra of quasiderivations \( QDer(\mathfrak {g}) \).
Lemma 4.2
Let \( (\mathfrak {g}, [\cdot ,\ldots ,\cdot ],\alpha ,\beta ]) \) be a multiplicative n-BiHom-Lie algebra.
-
(1)
\([\mathrm{QDer}(\mathfrak {g}),\mathrm{QC}(\mathfrak {g})]\subseteq \mathrm{QC}(\mathfrak {g});\)
-
(2)
\(\mathrm{C}(\mathfrak {g})\subseteq \mathrm{QDer}(\mathfrak {g});\)
-
(3)
\([\mathrm{QC}(\mathfrak {g}),\mathrm{QC}(\mathfrak {g})]\subseteq \mathrm{QDer}(\mathfrak {g});\)
-
(4)
\(\mathrm{QDer}(\mathfrak {g})+\mathrm{QC}(\mathfrak {g})\subseteq \mathrm{GDer}(\mathfrak {g}).\)
Proof
(1) This inclusion is similar to (1) of Lemma 4.1.
(2) It is an immediate consequence of the definition of a quasiderivation. If \( D \in C_{(\alpha ^{s},\beta ^{r})}(\mathfrak {g}) \), then \( \sum _{i=1}^{n}[\alpha ^{s}\beta ^{r}(x_{1}),\ldots ,D(x_{i}),\ldots ,\alpha ^{s}\beta ^{r}(x_{n})]=nD([x_{1},\ldots ,x_{n}]).\)
(3) Let \( D \in QC_{(\alpha ^{s},\beta ^{r})}(\mathfrak {g}) \) and \( D' \in QC_{(\alpha ^{s'},\beta ^{r'})}(\mathfrak {g}) \). For any \( x_{1},\ldots ,x_{n} \in \mathfrak {g} \) we have
Then \( [[D,D'](x_{1}),\alpha ^{s+s'}\beta ^{r+r'}(x_{2}),\ldots ,\alpha ^{s+s'}\beta ^{r+r'}(x_{n})]=0 \).
In the same way we have \( [\alpha ^{s+s'}\beta ^{r+r'}(x_{1}),\ldots ,[D,D'](x_{i}),\ldots ,\alpha ^{s+s'}\beta ^{r+r'}(x_{n})] =0\) for all i. Hence \( \sum _{i=1}^{n}[\alpha ^{s+s'}\beta ^{r+r'}(x_{1}),\ldots ,[D,D'](x_{i}),\ldots ,\alpha ^{s+s'}\beta ^{r+r'}(x_{n})]=0. \) And so \( [D,D'] \in QDer_{(\alpha ^{s+s'},\beta ^{r+r'})}(\mathfrak {g}). \)
(4) Obvious.
Proposition 4.6
If \( (\mathfrak {g},[\cdot ,\ldots ,\cdot ],\alpha ,\beta ) \) is an n-BiHom-Lie algebra with trivial center, then we have the following
Proof
Both \( \mathrm{Der(\mathfrak {g})} \) and \( \mathrm{C(\mathfrak {g})} \) are subspaces of \( \mathrm{QDer(\mathfrak {g})} \). Moreover, if \( D \in \mathrm{Der(\mathfrak {g})} \cap \mathrm{C(\mathfrak {g})} \) then for \( u \in \mathfrak {g} \) we have \( \sum _{i=1}^{n}[D(u),x_{1},\ldots ,x_{n-1}]= [D(u),x_{1},\ldots ,x_{n-1}] =0\), for all \( x_{1},\ldots ,x_{n-1} \in \mathfrak {g} \). Therefore \( D(u) \in Z(\mathfrak {g}) \), hence \( D=0. \)
4.4 Quasiderivations of n-BiHom-Lie Algebras
Proposition 4.7
Let \( (\mathfrak {g},[\cdot ,\ldots ,\cdot ],\alpha ,\beta ) \) be an n-BiHom-Lie algebra over \({\mathbb K}\) and t be an indeterminate. Define \(\breve{\mathfrak {g}}= \{\varSigma (x\otimes t+y\otimes t^{n}) \ | \ x,y\in \mathfrak {g}\},\ \breve{\alpha }(\breve{\mathfrak {g}})= \{\varSigma ( \alpha (x) \otimes t + \alpha (y) \otimes t^n) \ | \ x,y\in \mathfrak {g}\},\) and \( \ \breve{\beta }(\breve{\mathfrak {g}})= \{\varSigma ( \beta (x) \otimes t + \beta (y) \otimes t^n) \ | \ x,y\in \mathfrak {g}\}\). Then \( (\breve{\mathfrak {g}},[\cdot ,\ldots ,\cdot ],\breve{\alpha },\breve{\beta }) \) is a multiplicative n-BiHom-Lie algebra where the bracket is given by
for \( i_1, \ldots , i_n \in \{1,n\}\). If \(k > n\), we let \(t^k = 0\).
Proof
For any \( x,x_{1},\ldots , x_{n}\in \mathfrak {g} \) and \(i, i_1, \ldots , i_n \in \{1,n\}\), we have
then \( \breve{\alpha }\circ \breve{\beta } = \breve{\beta }\circ \breve{\alpha }\). Also,
Same argument holds for \( \breve{\beta } \).
for any \( \sigma \in S_{n}. \) Note that if \( i_{j}=n \) for some j, then the bracket would be zero since in that case the sum \( \sum i_j \mathfrak {g}\geqslant n+1\) therefore \( t^{ \sum i_j } =0 \). So one may assume that \( i_1= \ldots = i_n=1 \). Finally,
Thus, \( (\breve{\mathfrak {g}},[\cdot ,\ldots ,\cdot ],\breve{\alpha },\breve{\beta }) \) is a multiplicative n-BiHom-Lie algebra.
For the sake of convenience, we will write \(xt ~ (xt^{n})\) instead of \(x\otimes t ~ (x\otimes t^{n}).\) If U is a subspace of \(\mathfrak {g}\) such that \(\mathfrak {g}=U\oplus [\mathfrak {g},\ldots ,\mathfrak {g}],\) then
Let a map \( \varphi :\mathrm{QDer}(\mathfrak {g})\rightarrow \mathrm{End}(\breve{\mathfrak {g}}) \) be defined by
where \(D\in \mathrm{QDer}(\mathfrak {g}),\) \(D'\) is a map related to D by the definition of quasiderivation, \(a\in \mathfrak {g},u\in U,b\in [\mathfrak {g},\ldots ,\mathfrak {g}]\).
Proposition 4.8
Let \(\mathfrak {g},\breve{\mathfrak {g}},\varphi \) be as above. Then
-
(1)
\(\varphi \) is injective and \(\varphi (D)\) does not depend on the choice of \(D'\);
-
(2)
\(\varphi (\mathrm{QDer}(\mathfrak {g}))\subseteq \mathrm{Der}(\breve{\mathfrak {g}}).\)
Proof
(1) If \(\varphi (D_{1})=\varphi (D_{2}),\) then for all \(a\in \mathfrak {g},b\in [\mathfrak {g},\ldots ,\mathfrak {g}]\) and \(u\in U\) we have
so
therefore \(D_{1}(a)=D_{2}(a).\) Thus \(D_{1}=D_{2}.\)
Now suppose that there exists \(D''\) such that
and
for any \(x_{1},\ldots ,x_{n} \in \mathfrak {g} \), then \( D''([x_{1},\ldots ,x_{n}])=D'([x_{1},\ldots ,x_{n}]) \). Hence \( D''(b)=D'(b) \) and so
(2) Let \( x_{1}t^{i_{1}}, \ldots , x_{n}t^{i_{n}} \in \breve{\mathfrak {g}} \). Again, here we consider only the case when \( i_1= \ldots = i_n=1 \) since otherwise \([x_1t^{i_1}, \ldots , x_n t^{i_n}]=0.\)
Hence \( \varphi (D) \in \mathrm{Der}_{( \alpha ^{s},\beta ^{r})}(\breve{\mathfrak {g}}) \).
Proposition 4.9
Let \( \mathfrak {g} \) be a multiplicative n-BiHom-Lie algebra with trivial center and let \( \breve{\mathfrak {g}}, \varphi \) be as defined above. We have
Proof
It is obvious that \( \varphi (\mathrm{QDer}(\mathfrak {g})) + \mathrm{ZDer}(\breve{\mathfrak {g}}) \subseteq \mathrm{Der}(\breve{\mathfrak {g}}) \) since both \( \varphi (\mathrm{QDer}(\mathfrak {g})) \) and \( \mathrm{ZDer}(\breve{\mathfrak {g}}) \) are subsets of \( \mathrm{Der}(\breve{\mathfrak {g}}). \)
Moreover, since \(\mathrm{Z}(\mathfrak {g})=\{0\}\), we have \(\mathrm{Z}(\breve{\mathfrak {g}})=\mathfrak {g} t^n.\) Let \( g \in \mathrm{Der}(\breve{\mathfrak {g}}) \), so \( g(\mathrm{{Z}}(\breve{\mathfrak {g}})) \subseteq \mathrm{Z}(\breve{\mathfrak {g}}) \), then \( g(Ut^n)\subseteq g(\mathrm{{Z}}(\breve{\mathfrak {g}}))\subseteq \mathrm{Z }(\breve{\mathfrak {g}})=\mathfrak {g} t^n. \) Define a map \(f:\mathfrak {g} t+Ut^n+[\mathfrak {g},\ldots ,\mathfrak {g}]t^n\rightarrow \mathfrak {g} t^n\) by
f is linear and we know that
then \( f \in \mathrm{{ZDer}}(\breve{\mathfrak {g}}). \) We claim that \( g-f \in \varphi (\mathrm{QDer}(\mathfrak {g})) \), this implies that \( g \in \varphi (\mathrm{QDer}(\mathfrak {g})) + \mathrm{ZDer}(\breve{\mathfrak {g}}) \), hence we have equality. In fact, since
and
there exists \(D,~D'\in \mathrm{End}(\mathfrak {g})\) such that for all \(a\in \mathfrak {g},~b\in [\mathfrak {g}, \ldots , \mathfrak {g}]\),
\( g-f \in \mathrm{Der}(\breve{\mathfrak {g}}) \), then
for all \(a_1, \ldots , a_n\in \mathfrak {g}.\) Then
thus
which means that \( D \in \mathrm{QDer}(\mathfrak {g}). \) Therefore, \(g-f=\varphi (D)\in \varphi (\mathrm{QDer}(\mathfrak {g}))\).
Now if \(f\in \varphi (\mathrm{QDer}(\mathfrak {g}))\cap \mathrm{ZDer}(\breve{\mathfrak {g}})\), then \( f=\varphi (D) \) for some \( D \in \mathrm{QDer}(\mathfrak {g}) \). So
where \(a\in \mathfrak {g},b\in [\mathfrak {g}, \ldots , \mathfrak {g}].\) Also, since \(f\in \mathrm{ZDer}(\breve{\mathfrak {g}}),\) we have
That is, \(D(a)=0,\) for all \(a\in \mathfrak {g}\) and so \(D=0.\) Hence \(f=0.\)
We conclude that
4.5 Generalized Derivations of \((n+1)\)-BiHom-Lie Algebras Induced by n-BiHom-Lie Algebras
In [3], the authors investigated a construction of \((n+1)\)-Hom-Lie algebras induced by n-Hom-Lie algebras. The construction of \((n+1)\)-BiHom-Lie Algebras induced by n-BiHom-Lie algebras was studied in [23]. In this section, we discuss \((\alpha ^s, \beta ^r)\)-derivations of n-BiHom-Lie algebras that give \((\alpha ^s, \beta ^r)\)-derivations on the induced \((n+1)\)-BiHom-Lie algebras.
Definition 4.11
Let A be a vector space, \(\phi : A^n \rightarrow A\) be an n-linear map and \(\tau \) be a linear form. The map \(\tau \) is said to be an \((\alpha ,\beta )\)-twisted \(\phi \)-trace if it satisfies the following condition:
We set \(\phi _\tau \) be an \((n+1)\)-linear map defined by
We recall the construction of an \((n+1)\)-BiHom-Lie algebra using an n-BiHom-Lie algebra and an \((\alpha ,\beta )\)-twisted trace given in [23].
Theorem 4.1
Let \((A,[\cdot ,\ldots ,\cdot ],\alpha ,\beta )\) be an n-BiHom-Lie algebra and \(\tau \) an \((\alpha ,\beta )\)-twisted \([\cdot ,\ldots ,\cdot ]\)-trace. If the following conditions
are satisfied, then \((A,[\cdot ,\ldots ,\cdot ]_\tau ,\alpha ,\beta )\) is an \((n+1)\)-BiHom-Lie algebra. We say that this algebra is induced by \((A,[\cdot ,\ldots ,\cdot ],\alpha ,\beta )\).
We first focus on the ternary case. For a given BiHom-Lie algebra \((\mathfrak {g},[\cdot ,\cdot ])\) and a \([\cdot ,\cdot ]\)-trace map \(\tau : \mathfrak {g} \rightarrow \mathbb {K}\), the ternary induced bracket is then given by
Now we have the following theorem.
Theorem 4.2
Let \( (\mathfrak {g}, [\cdot ,\cdot ], \alpha , \beta ) \) be a BiHom-Lie algebra. Let \(D: \mathfrak {g} \rightarrow \mathfrak {g}\) be an \((\alpha ^s,\beta ^r)\)-derivation of \( (\mathfrak {g}, [\cdot ,\cdot ], \alpha , \beta ) \). If the following identity holds, for all \( x,y,z {\in } \mathfrak {g},\)
then D is an \((\alpha ^s,\beta ^r)\)-derivation of the induced ternary BiHom-Lie algebra \( (\mathfrak {g}, [\cdot ,\cdot ,\cdot ]_\tau , \alpha , \beta ) \).
Proof
In the sequel, for simplicity we drop the \(\tau \) from the ternary bracket. We have to prove that
By applying D to each side of Eq. (4.4), we get
while,
Using the fact that
we can rewrite the right hand side as
Thus the difference between the right hand side and the left hand side is given by
We then obtain the result by assuming that the following identity holds, \(\forall x,y,z \in \mathfrak {g}, \)
This ends the proof.
Similar computations lead to a generalization of Theorem 4.2 to n-ary case.
Theorem 4.3
Let \( (\mathfrak {g}, [\cdot ,\ldots ,\cdot ], \alpha , \beta ) \) be an n-BiHom-Lie algebra. Let \(D: \mathfrak {g} \rightarrow \mathfrak {g}\) be an \((\alpha ^s,\beta ^r)\)-derivation of \( (\mathfrak {g}, [\cdot ,\ldots , \cdot ], \alpha , \beta ) \). If the following identity holds
then D is a derivation of the induced \((n+1)\)-BiHom-Lie algebra \( (\mathfrak {g}, [\cdot ,\ldots , \cdot ,\cdot ], \alpha , \beta ) \).
Example 4.3
We consider the 2-dimensional BiHom-Lie algebra \(\mathfrak {g}\) with a basis \(\{e_1, e_2\}\), where the map \(\alpha \) is given by \(\alpha (e_1)=e_1\) and \(\alpha (e_2)=\frac{1}{m}e_1+\frac{n-1}{n}e_2\) and \(\beta \) is the identity map (see [28]). The bracket is given by \([e_1,e_1]=0,\; [e_1,e_2]=me_2-ne_1, \; [e_2,e_1]=(n-1)e_1-\frac{m(n-1)}{n}e_2\) and \([e_2,e_2]=-\frac{n}{m}e_1+e_2\), where m and n are scalars such that \(m,n \ne 0\).
A direct computation gives that
We set \(D(e_1)=ae_1+be_2\) and \(D(e_2)=ce_2+de_2\). Finding the conditions on the parameters a, b, c, d such that D is an \((\alpha ^s,\beta ^r)\)-derivation and solving the system, we obtain the following \((\alpha ^s,\beta ^r)\)-derivations:
Now, seeking for linear form \(\tau \) that are \([\cdot ,\cdot ]\)-trace, we obtain first
The condition \(\tau (\alpha (x))\beta (y) = \tau (\beta (x))\alpha (y) \) implies that \(\tau (e_1)=0=\tau (e_2)\) and thus the form \(\tau \) is identically trivial. Therefore the ternary bracket is trivial and any linear map is a derivation.
References
Ammar, F., Mabrouk, S., Makhlouf, A.: Representations and cohomology of \(n\)-ary multiplicative Hom-Nambu-Lie algebras. J. Geom. Phys. 61(10), 1898–1913 (2011)
Ataguema, H., Makhlouf, A., Silvestrov, S.: Generalization of \(n\)-ary Nambu algebras and beyond. J. Math. Phys. 50(8), 083501 (2009)
Arnlind, J., Makhlouf, A., Silvestrov, S.: Construction of \(n\)-Lie algebras and \(n\)-ary Hom-Nambu-Lie algebras. J. Math. Phys. 52(4), 123502, 13 pp (2011)
Beites, P., Kaygorodov, I., Popov, Yu.: Generalized derivations of multiplicative \(n\)-ary \(Hom-\Omega \) color algebras. Bull. Malays. Math. Sci. Soc. 42(1), 315–335 (2019)
Ben, Abdeljelil A., Elhamdadi, M., Makhlouf, A.: Derivations of ternary Lie algebras and generalizations. Int. Electron. J. Algebr. 21, 55–75 (2017)
Caenepeel, S., Goyvaerts, I.: Monoidal Hom-Hopf algebras. Commun. Algebr. 39(6), 2216–2240 (2011)
Filippov, V.: \(n\)-Lie algebras. Sib. Math. J. 26(6), 126–140 (1985)
Graziani, G., Makhlouf, A., Menini, C., Panaite, F.: BiHom-associative algebras, BiHom-Lie algebras and BiHom-bialgebras. Symmetry Integr. Geom. SIGMA 11(086), 34 (2015)
Hartwig, J., Larsson, D., Silvestrov, S.: Deformations of Lie algebras using \(\sigma \)-derivations. J. Algebr. 295(2), 314–361 (2006)
Jacobson, N.: Lie and Jordan triple systems. Am. J. Math. 71, 149–170 (1949)
Kaygorodov, I.: \(\delta \)-Derivations of simple finite-dimensional Jordan superalgebras. Algebr. Log. 46(5), 318–329 (2007)
Kaygorodov, I.: \(\delta \)-Derivations of classical Lie superalgebras. Sib. Math. J. 50(3), 434–449 (2009)
Kaygorodov, I.: \(\delta \)-Superderivations of simple finite-dimensional Jordan and Lie superalgebras. Algebr. Log. 49(2), 130–144 (2010)
Kaygorodov, I.: \(\delta \)-Superderivations of semisimple finite-dimensional Jordan superalgebras. Math. Notes 91(2), 187–197 (2012)
Kaygorodov I.: \(\delta \)-Derivations of \(n\)-ary algebras, Izvestiya. Mathematics 76(5), 1150–1162 (2012)
Kaygorodov, I.: \((n+1)\)-Ary derivations of simple \(n\)-ary algebras. Algebr. Log. 50(5), 470–471 (2011)
Kaygorodov, I.: \((n+1)\)-Ary derivations of simple Malcev algebras. St. Peterburg Math. J. 23(4), 575–585 (2014)
Kaygorodov, I.: \((n+1)\)-Ary derivations of semisimple Filippov algebras. Math. Notes 96(2), 208–216 (2014)
Kaygorodov, I., Okhapkina, E.: \(\delta \)-Derivations of semisimple finite-dimensional structurable algebras. J. Algebr. Appl. 13(4), 1350130, 12 pp (2014)
Kaygorodov, I., Popov, Yu.: A characterization of nilpotent nonassociative algebras by invertible Leibniz-derivations. J. Algebr. 456, 323–347 (2016)
Kaygorodov, I., Popov, Yu.: Generalized derivations of (color) \(n\)-ary algebras. Linear Multilinear Algebr. 64(6), 1086–1106 (2016)
Kaygorodov, I., Popov, Yu.: Commentary to: Generalized derivations of Lie triple systems. Open Math. 14, 543–544 (2016)
Kitouni, A., Makhlouf, A., Silvestrov, S.: On \(n\)-ary generalization of BiHom-Lie algebras and BiHom-associative algebras (2018). arXiv:1812.00094
Komatsu, H., Nakajima, A.: Generalized derivations of associative algebras. Quaest. Math. 26(2), 213–235 (2003)
Leger, G., Luks, E.: Generalized derivations of Lie algebras. J. Algebr. 228(1), 165–203 (2000)
Makhlouf, A., Silvestrov, A.: Hom-algebra structures. J. Gen. Lie Theory Appl. 2(2), 51–64 (2008)
Sheng, Y.: Representations of Hom-Lie algebras. Algebr. Represent. Theory 15(6), 1081–1098 (2012)
Sheng, Y., Qi, H.: Representations of BiHom-Lie algebras (2016). arXiv: 1610.04302
Takhtajan, L.: On foundation of the generalized Nambu mechanics. Commun. Math. Phys. 160, 295–315 (1994)
Takhtajan, L.: Leibniz and Lie algebra structures for Nambu algebra. Lett. Math. Phys. 39, 127–141 (1997)
Zhang, R., Zhang, Y.: Generalized derivations of Lie superalgebras. Commun. Algebr. 38(10), 3737–3751 (2010)
Zhelyabin, V., Kaygorodov, I.: On \(\delta \)-superderivations of simple superalgebras of Jordan brackets. St. Petersburg Math. J. 23(4), 665–677 (2012)
Zhou, J., Chen, L., Ma, Y.: Generalized derivations of Hom-Lie triple systems. Bull. Malays. Math. Sci. Soc. 41(2), 637–656 (2018)
Zusmanovich, P.: On \(\delta \)-derivations of Lie algebras and superalgebras. J. Algebr. 324(12), 3470–3486 (2010)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Ben Abdeljelil, A., Elhamdadi, M., Kaygorodov, I., Makhlouf, A. (2020). Generalized Derivations of n-BiHom-Lie Algebras. In: Silvestrov, S., Malyarenko, A., Rančić, M. (eds) Algebraic Structures and Applications. SPAS 2017. Springer Proceedings in Mathematics & Statistics, vol 317. Springer, Cham. https://doi.org/10.1007/978-3-030-41850-2_4
Download citation
DOI: https://doi.org/10.1007/978-3-030-41850-2_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-41849-6
Online ISBN: 978-3-030-41850-2
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)