arxiv: v1 [math.rt] 6 Jun 2017

Transcript

1 BiHom-Lie colour algebras structures Kadri Abdaoui, Abdelkader Ben Hassine and Abdenacer Makhlouf October 8, 2018 arxiv: v1 [math.rt] 6 Jun 2017 Abstract BiHom-Lie Colour algebra is a generalized Hom-Lie Colour algebra endowed with two commuting multiplicative linear maps. The main purpose of this paper is to define representations and a cohomology of BiHom-Lie colour algebras and to study some key constructions and properties. Moreover, we discuss α k β l -generalized derivations, α k β l -quasi-derivations and α k β l - quasi-centroid. We provide some properties and their relationships with BiHom-Jordan colour algebra. Keywords: Cohomology, Representation, BiHom-Lie colour algebra, α k β l -generalized derivation, BiHom-Jordan colour algebra. MSC2010: 17B75, 17B55, 17B40. Introduction As generalizations of Lie algebras, Hom-Lie algebras were introduced motivated by applications in Physics and to deformations of Lie algebras, especially Lie algebras of vector fields. Hom-Lie colour algebras are the natural generalizations of Hom-Lie algebras and Hom-Lie superalgebras. In recent years, they have become an interesting subject of mathematics and physics. A cohomology of Lie colour algebras were introduced and investigated in [16, 17] and representations of Lie colour algebras were explicitly described in [8]. Hom-Lie colour algebras were studied first in [19], while in the particular case of Hom-Lie superalgebras, a cohomology theory was provided in [3]. Notice that for Hom-Lie algebras, cohomology was described in [1, 15, 18] and representations also in [5]. A BiHom-algebra is an algebra in such a way that the identities defining the structure are twisted by two homomorphisms α,β. This class of algebras was introduced from a categorical approach in [10] as an extension of the class of Hom-algebras. More applications of BiHom-Lie algebras, BiHom-algebras, BiHom-Lie superalgebras and BiHom-Lie admissible superalgebras can be found in [7, 20]. Corresponding author Abdenacer Makhlouf: Abdenacer.Makhlouf@uha.fr, Laboratoire de Mathématiques, Informatique et Applications, University of Haute Alsace, 4 rue Frères Lumière, Mulhouse, France. Abdaoui Kadri: Abdaoui.elkadri@hotmail.com, University of Sfax, Faculty of Sciences, BP 1171, 3000 Sfax. Abdelkader Ben Hassine: benhassine.abdelkader@yahoo.fr, University of Sfax, Faculty of Sciences, BP 1171, 3000 Sfax, Tunisia. 1

2 In the present article, we introduce and study the BiHom-Lie colour algebras, which can be viewed as an extension of BiHom-Lie superalgebras to Γ-graded algebras, where Γ is any abelian group. The paper is organized as follows. In Section 1, we recall definitions and some key constructions of BiHom-Lie colour algebras and provide a list of twists of BiHom-Lie colour algebras. In Section 2 we introduce a multiplier σ on the abelian group Γ and provide constructions of new BiHom-Lie colour algebras using the twisting action of the multiplier σ. We show that the σ-twist of any BiHom-Lie colour algebra is still a BiHom-Lie colour algebra. In Section 3, we extend the classical concept of Lie admissible algebras to BiHom- Lie colour settings. Hence, we obtain a more generalized algebra class called BiHom-Lie colour admissible algebras. We also explore some other general class of algebras: G BiHom-associative colour algebras, where G is any subgroup of the symmetric group S 3, using which we classify all the BiHom-Lie colour admissible algebras. In Section 4, we construct a family of cohomologies of BiHom-Lie colour algebras, discuss representation theory in connection with cohomology. In the last section, we discuss homogeneous α k β l -generalized derivations and the α k β l -centroid of BiHom-Lie colour algebras. We generalize to Hom-setting the results obtained in [6]. Moreover, We show that α 1 β 2 -derivations of BiHom-Lie colour algebras give rise to BiHom-Jordan colour algebras. 1 Definitions, proprieties and Examples In the following we summarize definitions of BiHom-Lie and BiHom-associative colour algebraic structures generalizing the well known Hom-Lie and Hom-associative colour algebras. Throughout the article we let K be an algebraically closed field of characteristic 0 and K = K\{0} be the group of units of K. Let Γ be an abelian group. A vector space V is said to be Γ-graded, if there is a family V γ γ Γ of vector subspace of V such that V = γ ΓV γ. An element x V is said to be homogeneous of degree γ Γ if x V γ,γ Γ, and in this case, γ is called the degree of x. As usual, we denote by x the degree of an element x V. Thus each homogeneous element x V determines a unique group of element x Γ by x V x. Fortunately, We can drop the symbol, since confusion rarely occurs. In the sequel, we will denote by HV the set of all the homogeneous elements of V. Let V = γ Γ V γ and V = γ Γ V γ be two Γ-graded vector spaces. A linear mapping f : V V is said to be homogeneous of degree υ Γ if fv γ V γ+υ is homogeneous of degree zero, i.e. fv γ V γ, γ Γ. If in addition f holds for any γ Γ, then f is said to be even. An algebra A is said to be Γ-graded if its underlying vector space is Γ-graded, i.e. A = γ Γ A γ, and if, furthermore A γ A γ A γ+γ, for all γ,γ Γ. It is easy to see that if A has a unit element e, it follows that e A 0. A subalgebra of A is said to be graded if it is graded as a subspace of A. Let A be another Γ-graded algebra. A homomorphism f : A A of Γ-graded algebras is by definition a homomorphism of the algebra A into the algebra A, which is, in addition an even 2

3 mapping. Definition 1.1. Let K be a field and Γ be an abelian group. A map ε : Γ Γ K is called a skewsymmetric bicharacter on Γ if the following identities hold, for all a,b,c in Γ 1. εa,b εb,a = 1, 2. εa,b+c = εa,b εa,c, 3. εa+b,c = εa,c εb,c. The definition above implies, in particular, the following relations εa,0 = ε0,a = 1, εa,a = ±1, for all a Γ. If x and x are two homogeneous elements of degree γ and γ respectively and ε is a skewsymmetric bicharacter, then we shorten the notation by writing εx,x instead of εγ,γ. Definition 1.2. A BiHom-Lie colour algebra is a 5-uple A,[.,.],ε,α,β consisting of a Γ- graded vector space A, an even bilinear mapping [.,.] : A A A i.e. [A a,a b ] A a+b for all a,b Γ, a bicharacter ε : Γ Γ K and two even homomorphism α,β : A A such that for homogeneous elements x,y,z we have α β = β α, α[x,y] = [αx,αy], β[x,y] = [βx,βy], [βx,αy] = εx,y[βy,αx], x,y,z εz,x[β 2 x,[βy,αz]] = 0 ε-bihom-jacobi condition where x,y,z denotes summation over the cyclic permutation on x,y,z. Obviously, a Hom-Lie colour algebra A,[.,.],ε,α is a particular case of BiHom-Lie colour algebra. Conversely a BiHom-Lie colour algebra A,[.,.],ε,α,α with bijective α is a Hom-Lie colour algebra A,[.,.],ε,α. Remark 1.3. A Lie colour algebra A,[.,.],ε is a Hom-Lie colour algebra with α = Id, since the ε-hom-jacobi condition reduces to the ε-jacobi condition when α = Id. If, in addition, εx,y = 1 or εx,y = 1 x y, then the BiHom-Lie colour algebra is a classical Hom-Lie algebra or Hom-Lie superalgebra. Using definitions of [10, 20], BiHom-Lie algebras and BiHom- Lie superalgebras are also obtained when εx,y = 1 and εx,y = 1 x y respectively. Definition A BiHom-Lie colour algebra A,[.,.],ε,α,β is multiplicative if α and β are even algebra morphisms, i.e., for any homogenous elements x,y A, we have α[x,y] = [αx,αy] and β[x,y] = [βx,βy]. 3

4 2. A BiHom-Lie colour algebra A,[.,.],ε,α,β is regular if α and β are even algebra automorphisms. We recall in the following the definition of BiHom-associative colour algebra which provide a different way for constructing BiHom-Lie colour algebra by extending the fundamental construction of Lie colour algebras from associative colour algebra via commutator bracket multiplication. Definition 1.5. A BiHom-associative colour algebra is a 5-tuple A, µ, ε, α, β consisting of a Γ-graded vector space A, an even bilinear map µ : A A A i.e. µa a,a b A a+b and two even homomorphisms α,β : A A such that α β = β α αxyz = xyβz. 1 In the case where xy = εx, yyx, the BiHom-associative colour algebra A, µ, α, β is called commutative BiHom-associative colour algebra. Obviously, a Hom-associative colour algebra A,µ,α is a particular case of a BiHomassociative colour algebra, namely A, µ, α, α. Conversely, a BiHom-associative colour algebra A,µ,α,α with bijective α is the Hom-associative colour algebra A,µ,α. Proposition 1.6. Let A,µ,ε,α,β be a BiHom-associative colour algebra defined on the vector space A by the multiplication µ and two bijective homomorphisms α and β. Then the quadruple A,[.,.],ε,α,β, where the bracket is defined for x,y HA by is a BiHom-Lie colour algebra. [x,y] = xy εx,yα 1 βyαβ 1 x, Proof. First we check that the bracket product [, ] is compatible with the structure maps α and β. For any homogeneous elements x,y A, we have [αx,αy] = αxαy εx,yα 1 βαyαβ 1 αx = αxαy εx,yβyα 2 β 1 x = α[x,y]. The second equality holds since α is even and α β = β α. Similarly, one can prove that β[x,y] = [βx,βy]. It is easy to verify that [βx,αy] = εx,y[βy,αx]. Now we prove the ε-bihom-jacobi condition. For any homogeneous elements x,y,z A, we have εz,x[β 2 x,[βy,αz]] = εz,x[β 2 x,βyαz εy,zα 1 βαzαβ 1 βy] = εz,x[β 2 x,βyαz] εz,xεy,z[β 2 x,α 1 βαzαβ 1 βy] = εz,x β 2 xβyαz εx,y +zα 1 β 2 yβzαβx εz,xεy,z β 2 xβzαy εx,z +yα 1 β 2 zβyαβx. 4

5 Similarly, we have εx,y[β 2 y,[βz,αx]] = εx,y β 2 yβzαx εy,z +xα 1 β 2 zβxαβy εx,yεz,x β 2 yβxαz εy,z +xα 1 β 2 xβzαβy. εy,z[β 2 z,[βx,αy]] = εy,z β 2 zβxαy εz,x+yα 1 β 2 xβyαβz εy,zεx,y β 2 zβyαx εz,x+yα 1 β 2 yβxαβz. By the associativity, we have And this finishes the proof. x,y,z εz,x[β 2 x,[βy,αz]] = 0. The following theorem generalizes the result of[19]. In the following, starting from a BiHom- Lie colour algebra and an even Lie colour algebra endomorphism, we construct a new BiHom-Lie colour algebra. We say that it is obtained by twisting principle or composition method. Theorem 1.7. Let A,[.,.],ε be an ordinary Lie colour algebra and let α,β : A A two commuting even linear maps such that α[x,y] = [αx,αy] and β[x,y] = [βx,βy], for all x,y HA. Define the even linear map {, } : A A A {x,y} = [αx,βy], x,y HA. Then A α,β = A,{, },ε,α,β is a BiHom-Lie colour algebra. Proof. Obviously {.,.} is BiHom-ε-skewsymmetric. Furthermore A,{.,.}, ε, α, β satisfies the ε-bihom-jacobi condition. Indeed x,y,z εz,x{β 2 x,{βy,αz}} = x,y,z εz,x{β 2 x,[αβy,βαz]} = x,y,z εz,x[αβ 2 x,[αβ 2 y,αβ 2 z]] = 0. Claim: More generally, let A,[.,.],ε,α,β be a BiHom-Lie colour algebra and α,β : A A even linear maps such that α [x,y] = [α x,α y] and β [x,y] = [β x,β y], for all x,y HA, and any two of the maps α,β,α,β commute. Then A,[, ] α,β = [, ] α β,ε,α α,β β is a BiHom-Lie colour algebra. Remark 1.8. Let A,[.,.],ε be a Lie colour algebra and α be a Lie colour algebra morphism, then A,[.,.] α = α [.,.],ε,α is a multiplicative Hom-Lie colour algebra. Example 1.9. We construct an example of a BiHom-Lie colour algebra, which is not a Lie colour algebra starting from the orthosymplectic Lie superalgebra. We consider in the sequel the 5

6 matrix realization of this Lie superalgebra. Let osp1,2 = A 0 A 1 be the Lie superalgebra where A 0 is spanned by H = , X = , Y = and A 1 is spanned by F = , G = The defining relations we give only the ones with non-zero values in the right-hand side are [H,X] = 2X, [H,Y] = 2Y, [X,Y] = H, [Y,G] = F, [X,F] = G, [H,F] = F, [H,G] = G, [G,F] = H, [G,G] = 2X, [F,F] = 2Y. Let λ,κ R, we consider the linear maps α λ : osp1,2 osp1,2 and β κ : osp1,2 osp1, 2 defined by α λ X = λ 2 X, α λ Y = 1 λ 2Y, α λh = H, α λ F = 1 λ F, α λg = λg, β κ X = κ 2 X, β κ Y = 1 κ 2Y, β κh = H, β κ F = 1 κ F, β κg = κg. Obviously, we have α λ β κ = β κ α λ. For all H,X,Y,F and G in osp1,2, we have α λ [H,X] = α λ 2X = 2λ 2 X, α λ [H,Y] = α λ 2Y = 2 1 λ 2Y, α λ [X,Y] = α λ H = H, α λ [Y,G] = α λ F = 1 λ F, α λ [X,F] = α λ G = λg, α λ [H,F] = α λ F = 1 λ F, α λ [H,G] = α λ G = λg, α λ [G,F] = α λ H = H, α λ [G,G] = α λ 2X = 2λ 2 X, α λ [F,F] = α λ 2Y = 2 1 λ 2Y. On the other hand, we have [α λ H,α λ X] = [H,λ 2 X] = 2λ 2 X, [α λ H,α λ Y] = [H, 1 λ 2Y] = 2 1 λ 2Y, [α λ X,α λ Y] = [λ 2 X, 1 λ 2Y] = H, [α λy,α λ G] = [ 1 λ 2Y,λG] = 1 λ F, [α λ X,α λ F] = [λ 2 X, 1 λ F] = λg, [α λh,α λ F] = [H, 1 λ F] = 1 λ F, [α λ H,α λ G] = [H,λG] = λg, [α λ G,α λ F] = [λg, 1 F] = H, λ [α λ G,α λ G] = [λg,λg] = 2λ 2 X, [α λ F,α λ F] = [ 1 λ F, 1 λ F] = 2 1 λ 2Y. 6

7 Therefore, for a,a osp1,2, we have Similarly, we have α λ [a,a ] = [α λ a,α λ a ]. β κ [a,a ] = [β κ a,β κ a ]. Applying Theorem 1.7 we obtain a family of BiHom-Lie colour algebras osp1,2 αλ,β κ = osp1,2,{, } = [, ] α λ β κ,α λ,β κ where the BiHom-Lie colour algebra bracket {, } on the basis elements is given, for λ,κ 0, by {H,X} = 2κ 2 X, {Y,G} = κ λ 2F, {H,Y} = 2 κ 2 Y, {X,Y} = λ κ 2 H, λ2 {X,F} = κ G, {H,F} = 1 F, {H,G} = κg, κ {G,F} = λ κ H, {G,G} = 2λκX, {F,F} = 2λ κ Y. These BiHom-Lie colour algebras are not Hom-Lie colour algebras for λ 1. Indeed, the lefthand side of the ε-hom-jacobi identity, for β κ = id, leads to and also {α λ X,{Y,H}} {α λ H,{X,Y }}+{α λ Y,{H,X}} = 2 λ6 1 λ 4 H, {α λ H,{F,F}} {α λ F,{H,F}}+{α λ F,{F,H}} = 4 1 λ λ 2 Y, Then, they do not vanish for λ 1. Example Let A,[, ] A,ε,α,β be a BiHom-Lie colour algebra. Then the vector space A := A K[t,t 1 ] can be considered as the algebra of Laurent polynomials with coefficients in the BiHom-Lie colour algebra A. Note that A can be endowed with a natural Γ-grading as follows: an element x A is said to be homogeneous of degree a Γ, if there exist an element x a A with degree a and ft K[t,t 1 ], such that x = x a ft. Put α = α Id A, β = β Id A and define an even bilinear multiplication [, ] A on A by [x ft,y gt] = [x,y] ftgt for all x,y HA and ft,gt K[t,t 1 ]. Then A,[, ] A,ε,α,β is a BiHom-Lie colour algebra. Indeed, For any homogeneous elements x,y,z A, and ft,gt,ht K[t,t 1 ], we have and [β x ft,α y gt] = [βx ft,αy gt] = [βx,αy] ftgt = εx,y[βy,αx] ftgt = [βx,αx] ftgt = [β y gt,α x ft] x,y,z εz,x[β 2 x ft,[β y gt,α z ht]] = x,y,z εz,x[β 2 x ft,[βy gt,αz ht]] = x,y,z εz,x[β 2 x,[βy,αz]] ftgtht = 0, since A,[, ] A,ε,α,β is a BiHom-Lie colour algebra. 7

8 2 σ-twists of BiHom-Lie colour algebras In this section, we shall give a close relationship between BiHom-Lie colour algebras corresponding to different form σ on Γ. Let A,[, ],ε,α,β be a BiHom-Lie colour algebra. Given any mapping σ : Γ Γ K, we define on the Γ-graded vector space A a new multiplication [, ] σ by the requirement that [x,y] σ = σx,y[x,y], 2 for all the homogenous elements x,y in A. The Γ-graded vector space A, endowed with the multiplication [, ] σ, is a Γ-graded algebra that will be called a σ twist and will be denoted by A σ. We will looking for conditions on σ, which ensure that A σ,[, ] σ,ε,α,β is also a BiHom-Lie colour algebra. The bilinear mapping [, ] σ is a ε-skewsymmetric if and only if 1. σ is symmetric, i.e. σx,y = σy,x, for any x,y Γ. 2. Furthermore, the product [, ] σ satisfies the ε-bihom-jacobi condition if and only if σx,yσz,x +y is invariant under cyclic permutations of x,y,z Γ. We call such a mapping σ : Γ Γ K satisfying both 1 et 2 a symmetric multiplier on Γ. Then we have: Proposition 2.1. With the above notations. Let A,[, ],ε,α,β be a BiHom-Lie colour algebra and suppose that σ is a symmetric multiplier on Γ. Then the σ-twist A σ,[, ] σ,ε,α,β is also a BiHom-Lie colour algebra under the same twisting ε. Proof. For any homogeneous elements x,y A, we have [αx,αy] σ = σαx,αy[αx,αy] = σx,yα[x,y] = α[x,y] σ. Similarly, one can prove that β[x,y] σ = [βx,βy] σ. Since σ is symmetric, we have [βx,αy] σ = σx,y[βx,αy] = σy,xεx,y[βy,αx] = εx,y[βy,αx] σ. Now we prove the ε-bihom-jacobi condition. For any homogeneous elements x,y A, we have εz,x[β 2 x,[βy,αz] σ ] σ = εz,x[β 2 x,σy,z[βy,αz]] σ Using 2, we have x,y,z εz,x[β 2 x,[βy,αz] σ ] σ = 0. = εz,xσy,zσx,y +z[β 2 x,[βy,αz]]. Corollary 2.2. Let A,[, ],ε,α,β be a second BiHom-Lie colour algebra and σ be a symmetric multiplier on Γ. Let f : A A be a homomorphism of BiHom-Lie colour algebra, so f is also a homomorphism of BiHom-Lie colour algebras A σ,[, ] σ,ε,α,β into A σ,[, ] σ,ε,α,β. 8

9 Proof. We have f α = α f and f β = β f. For any homogenous element x,y A, we have f[x,y] σ = fσx,y[x,y] = σx,yf[x,y] = σx,y[fx,fy] = [fx,fy] σ. Remark 2.3. It is easy to construct a large class of symmetric multipliers on Γ as follows. Let ω be an arbitrary mapping of Γ. Then the map τ : Γ Γ K defined by is a symmetric multiplier on Γ. τx,y = ωx+yωx 1 ωy 1, x,y Γ, Let σ : Γ Γ K be a map endowing A with a new multiplication defined by 2, we define a mapping δ : Γ Γ K by Then it follows that for any homogenous x,y A. δx,y = σx,yσy,x 1, x,y Γ. 3 [x,y] σ = εx,yδx,y[y,x] σ 4 In [17], M. Scheunert provided the necessary and sufficient condition on σ which ensure that εδ is a bicharacter on Γ where εδx,y = εx,yδx,y for all x,y Γ. It turns out that A σ is a Γ-graded εδ-lie algebra if and only if σx,y +zσy,z = σx,yσx+y,z, x,y,z Γ. 5 For any multiplier σ, the mapping δ defined by Equation 3 is a bicharacter on Γ, which is said to be associated with σ. Note that δx,x = 1 and it follows that from equation 5 that σ0,x = σx,0σ0,0 for all x Γ. Proposition 2.4. Let A,[, ],ε,α,β be a BiHom-Lie colour algebra. Let δ be the bicharacter on Γ associated with a given multiplier σ. Then A σ,[, ] σ,εδ,α,β is a BiHom-Lie colour algebra. Proof. Using Equation 5 and the fact that σ is symmetric, it follows that [βx,αy] σ = εx,yσx,y[βy,αx] σ. Now for any homogenous elements x,y,z A, one has x,y,z εδz,x[β 2 x,[βy,αz] σ ] σ = σx,yσy,zσz,x x,y,z εz,x[β 2 x,[βy,αz]] = 0. Then A σ,[, ] σ,εδ,α,β is a BiHom-Lie colour algebra. Corollary 2.5. Let A,[, ],ε,α,β be a second BiHom-Lie colour algebra. Suppose we are given a multiplier σ on Γ; let δ be the bicharacter on Γ associated with it. If f : A A is a homomorphism of BiHom-Lie colour algebras, then f is also a homomorphism of BiHom-Lie colour algebra A σ,[, ] σ,εδ,α,β into A σ,[, ] σ,εδ,α,β. 9

10 3 BiHom-Lie colour admissible algebras In this section, we aim to extend the notions and results about Lie admissible colour algebras [9, 19] to more generalized cases: BiHom-Lie colour admissible algebras and flexible BiHom- Lie colour admissible algebras. We will also explore some other general classes of such kind of algebras: G-BiHom-associative colour algebras, which we use to classify BiHom-Lie colour admissible algebras. In this section, we always assume that the structure maps α and β are bijective. Definition 3.1. Let A,µ,ε,α,β be a BiHom-Lie colour algebra on the Γ-graded vector space A defined by an even mutiplication µ and an algebra endomorphism α and β. Let ε be a bicharacter on Γ. Then A,[.,.],ε,α,β is said to be a BiHom-Lie colour admissible algebra if the bracket defined by [x,y] = xy εx,yα 1 βyαβ 1 x satisfies the BiHom-Jacobi identity for all homogeneous elements x, y, z A. by Let A,[.,.],ε,α,β be a BiHom-Lie colour algebra. Define a new commutator product [.,.] [x,y] = [x,y] εx,y[α 1 βy,αβ 1 x], x,y HA. It is easy to see that [βx,αy] = εx,y[βy,αx]. Moreover, we have x,y,z εz,x[β 2 x,[βy,αz] ] = x,y,z εz,x[β 2 x,[βy,αz] εy,z[α 1 β 2 z,β 1 α 2 y]] = x,y,z εz,x [β 2 x,[βy,αz]] εy,z[β 2 x,[α 1 β 2 z,β 1 α 2 y]] = x,y,z εz,x [β 2 x,[y,z]] εx,y +z[α 1 β[βy,αz],β 1 αβ 2 x] εy,z[αx,[z,y]] + εy,zεx,z +y[[z,y],αx] = 4 x,y,z εz,x[β 2 x,[βy,αz]] = 0. Our discussion above now shows: Proposition 3.2. Any BiHom-Lie colour algebra is BiHom-Lie colour admissible. Let A,µ,ε,β,α be a colour BiHom-algebra, that is respectively a vector space A, a multiplication µ, a bicharacter ε on the abelian group Γ and two linear maps α and β. Notice that there is no conditions required on the given data. Let [x,y] = xy εx,yα 1 βyβ 1 αx be the associated colour commutative. A BiHom associator as α,β of µ is defined by as α,β x,y,z = αxyz xyβz, x,y,z HA. 6 A colour BiHom-algebra is said to be flexible if as α,β x,y,x = 0, for all x,y HA. Now let us introduce the notation: Then we have the following properties: Sx,y,z = x,y,z εz,xas α,β α 1 β 2 x,βy,αz. 10

11 Lemma 3.3. Sx,y,z = x,y,z εz,x[β 2 x,βyαz]. Proof. The assertion follows by expanding the commutators on the right hand side: εz,x[β 2 x,βyαz] +εx,y[β 2 y,βzαx] +εy,z[β 2 z,βxαy] = εz,xβ 2 xβyαz εx,yα 1 β 2 yβzαβx +εx,yβ 2 yβzαx εy,zα 1 β 2 zβxαβy +εy,zβ 2 zβxαy εz,xα 1 β 2 xβyαβz = x,y,z εz,xas α,β α 1 β 2 x,βy,αz = Sx,y,z. Proposition 3.4. A colour BiHom-algebra A, µ, ε, β, α is BiHom-Lie colour admissible if and only if it satisfies Sx,y,z = εx,yεy,zεz,xsx,z,y, x,y,z HA. Proof. From Lemma 3.3, for all x,y,z HA we have Sx,y,z εx,yεy,zεz,xsx,z,y = x,y,z εz,x[β 2 x,βyαz] εx,yεy,zεy,x x,y,z εy,x[β 2 x,βzαy] = x,y,z εz,x[β 2 x,βyαz εy,zβzαy] = x,y,z εz,x[β 2 x,[βy,αz]] = 0, which proves the result. In the following, we explore some other general classes of BiHom-Lie colour admissible algebras, G-Hom-associative colour algebras, extending the class of Hom-associative algebras and Hom-associative superalgebras. We will provide a classification of BiHom-Lie colour admissible algebras using the symmetric group S 3, whereas it was classified in [14] and [2] for the Hom- Lie and Hom-Lie super cases, respectively. Let S 3 be the symmetric group generated by σ 1 = 1 2,σ 2 = 2 3. Let A,µ,β,α be a colour BiHom-algebra with respect to bicharcater ε. Suppose that S 3 acts on A 3 in the usual way, i.e. σx 1,x 2,x 3 = x σ1,x σ2,x σ3, for any σ S 3 and x 1,x 2,x 3 HA. For convenience, we introduce a notion of degree of the transposition σ i with i {1,2} by setting εσ;x 1,x 2,x 3 = σ i x 1,x 2,x 3 = εx i,x i+1, x 1,x 2,x 3 HA. It is natural to assume that the degree of the identity is 1 and for the composition σ i σ j, it is defined by: σ i σ j x 1,x 2,x 3 = σ j x 1,x 2,x 3 σ i σ j x 1,x 2,x 3 = σ j x 1,x 2,x 3 σ i x σj 1,x σj 2,x σj 3. One can define by induction the degree for any composition. Hence we have Idx 1,x 2,x 3 = 1, 11

12 σ 1 x 1,x 2,x 3 = εx 1,x 2, σ 2 x 1,x 2,x 3 = εx 2,x 3, σ 1 σ 2 x 1,x 2,x 3 = εx 2,x 3 εx 1,x 3, σ 2 σ 1 x 1,x 2,x 3 = εx 1,x 2 εx 1,x 3, σ 2 σ 1 σ 2 x 1,x 2,x 3 = εx 2,x 3 εx 1,x 3 εx 1,x 2, for any homogeneous elements x 1,x 2,x 3 in A. Let sgnσ denote the signature of σ S 3. We have the following useful lemma: Lemma 3.5. A colour BiHom-algebra A, µ, ε, β, α is a BiHom-Lie admissible colour algebra if and only if the following condition holds: σ S 3 1 sgnσ 1 σx1,x2,x3 as α,β σα 1 β 2 x 1,βx 2,αx 3 = 0. Proof. One only needs to verify the BiHom-ε-Jacobi identity. By straightforward calculation, the associated color commutator satisfies x1,x 2,x 3 εx 3,x 1 [β 2 x 1,[βx 2,αx 3 ]] = σ S 3 1 sgnσ 1 σx 1,x 2,x 3 as α,β σα 1 β 2 x 1,βx 2,αx 3. Let G be a subgroup of S 3, any colour BiHom-algebra A,µ,ε,β,α is said to be G-BiHomassociative if the following equation holds: 1 sgnσ 1 σx 1,x 2,x 3 as α,β σα 1 β 2 x 1,βx 2,αx 3 = 0, x 1,x 2,x 3 HA. σ G Proposition 3.6. Let G be a subgroup of the symmetric group S 3. Then any G-BiHomassociative colour algebra A, µ, ε, β, α is BiHom-Lie admissible. Proof. The ε-skew symmetry follows straightaway from the definition. Assume that G is a subgroup of S 3. Then S 3 can be written as the disjoint union of the left cosets of G. Say S 3 = σg, with I S 3 and for any σ,σ I, σ I Then one has σ σ = σg σ G =. 1 sgnσ 1 σx1,x2,x3 as α,β σα 1 β 2 x 1,βx 2,αx 3 σ S 3 = 1 sgnσ 1 σx 1,x 2,x 3 as α,β σα 1 β 2 x 1,βx 2,αx 3 = 0. τ I σ τg 12

13 Now we provide a classification of BiHom-Lie colour admissible algebras via G-BiHomassociative colour algebras. The subgroups of S 3 are: G 1 = {Id}, G 2 = {Id,σ 1 }, G 3 = {Id,σ 2 }, G 4 = {Id,σ 2 σ 1 σ 2 = 1 3}, G 5 = A 3, G 6 = S 3, where A 3 is the alternating subgroup of S 3. We obtain the following types of BiHom-Lie admissible colour algebras. The G 1 -BiHom-associative colour algebras are thecolour BiHom-algebras definedin Definition 1.5. The G 2 -BiHom-associative colour algebras satisfy the condition: β 2 xβyαz α 1 β 2 xβyαβz = εx,y αβyα 1 β 2 xαz βyα 1 β 2 xαβz. The G 3 -BiHom-associative colour algebras satisfy the condition: β 2 xβyαz α 1 β 2 xβyαβz = εy,z β 2 xβzαy α 1 β 2 xαzβ 2 y. The G 4 -BiHom-associative colour algebras satisfy the condition: β 2 xβyαz α 1 β 2 xβyαβz = εx,yεy,zεx,z α 2 zβyα 1 β 2 x αzβyα 1 β 3 x. The G 5 -BiHom-associative colour algebras satisfy the condition: β 2 xβyαz εx,y +zαβyαzα 1 β 2 x εx+y,zα 2 zα 1 β 2 xβy = α 1 β 2 xβyαβz εx,y +zβyαzα 1 β 3 x εx+y,zαzα 1 β 2 xβ 2 y. TheG 6 -BiHom-associative colour algebras arethebihom-lie colour admissiblealgebras. Remark 3.7. Moreover, if in the previous identities we consider β = α, then we obtain a classification of Hom-Lie admissible colour algebras [19]. 4 Cohomology and Representations of BiHom-Lie colour algebras 4.1 Cohomology of BiHom-Lie colour algebras We extend first to BiHom-Lie colour algebras, the concept of A-module introduced in [3, 5, 18], and then define a family of cohomology complexes for BiHom-Lie colour algebras. 13

14 Definition 4.1. Let A,[, ], ε, α, β be a regular BiHom-Lie colour algebra. A representation of A is a 4-tuple V,ρ,α V,β V, where V is a Γ-graded vector space, α V,β V : V V are two even commuting linear maps and ρ : A EndV is an even linear map such that, for all x,y HA and v V, we have ραx α V = α V ρx, ρβx β V = β V ρx, ρ[βx,y] β V v = ραβx ρyv εx,yρβy ραxv. 7 The cohomology of Lie colour algebras was introduced in [17]. In the following, we define cohomology complexes of BiHom-Lie colour algebras. Let A,[, ],ε,α,β be a regular BiHom-Lie colour algebra and V,ρ,α V,β V be a representation of A. In the sequel, we denote ρxv by a bracket [x,v] V. The set of n-cochains on A with values in V, which we denote by C n A,V, is the set of skewsymmetric n-linear maps f : A n V, that is fx 1,...,x i,x i+1,...,x n = εx i,x i+1 fx 1,...,x i+1,x i,...,x n, 1 i n 1. For n = 0, we have C 0 A,V = V. We set C n α,β A,V = {f : An V : f C n A,V and f α = α V f, f β = β V f}. We extend this definition to the case of integers n < 0 and set Cα,β n A,V = {0} if n < 1 and C0 α,β A,V = V. A mapf C n A,V is called even resp. of degreeγ whenfx 1,...,x i,...,x n V γ γ i +...+γ n for all elements x i A γi resp. fx 1,...,x i,...,x n V γ+γ γ i +...+γ n. A homogeneous element f Cα,β n A,V is called n-cochain or sometimes in the literature n-hom-cochain. Next, for a given integer r, we define the coboundary operator δr n. Definition 4.2. We call, for n 1 and for any integerr, a n-coboundary operator of the BiHom- Lie colour algebra A,[.,.],ε,α,β the linear map δr n : Cα,β n A,V Cn+1 α,β A,V defined by δr n fx 0,...,x n = 8 1 t εx s x t 1,x t fβx 0,...,βx s 1,[α 1 βx s,x t ],βx s+1,..., x t,...,βx n 0 s<t n + n 1 s εγ +x x s 1,x s [αβ r+n 1 x s,fx 0,..., x s,..,x n ] V, s=0 where f C n α,β A,V, γ is the degree of f, x 0,...,x n HA n+1 and x indicates that the element x is omitted. In the sequel we assume that the BiHom-Lie colour algebra A,[.,.],ε,α,β is multiplicative. 14

15 For n = 1, we have δ 1 r : C1 A,V C 2 A,V f δ 1 r f such that for two homogeneous elements x,y in A δ 1 rfx,y = εγ,x[αβx,fy] V εγ +x,y[αβy,fx] V f[α 1 βx,y] 9 and for n = 2, we have δ 2 r : C 2 A,V C 3 A,V f δ 2 rf such that, for three homogeneous elements x,y,z in A, we have δ 2 r fx,y,z = εγ,x[αβ2 x,fy,z] V εγ +x,y[αβ 2 y,fx,z] V + εγ +x+y,z[αβ 2 z,fx,y] V f[α 1 βx,y],βz + εy,zf[α 1 βx,z],βy +fβx,[α 1 βy,z]. 10 Lemma 4.3. With the above notations, for any f Cα,β n A,V, we have δ n rf α = α V δ n rf, δ n rf β = β V δ n rf, n 2 Thus, we obtain a well defined map δr n : Cn α,β A,V Cn+1 α,β A,V. Proof. Let f C n α,β A,V and x 0,...,x n HA n+1, we have δ n rf αx 0,...,x n = δr n fαx 0,...,αx n = 1 t εx x t 1,x t fαβx 0,...,αβx s 1,[αα 1 βx s,αx t ],αβx s+1,..., x t,...,αβx n + 0 s<t n n 1 s εγ +x x s 1,x s [α 2 β n 1+r x s,fαx 0,..., x s,..,αx n ] V s=0 = + 0 s<t n 1 t εx x t 1,x t α V fβx 0,...,βx s 1,[α 1 βx s,x t ],βx s+1,..., x t,...,βx n n 1 s εγ +x x s 1,x s α V [αβ n 1+r x s,fx 0,..., x s,..,x n ] V s=0 = α V δ n r fx 0,...,x n. Then δ n r f α = α V δ n r f. Similarly, we have which completes the proof. δ n r f βx 0,...,x n = β V δ n r fx 0,...,x n, Theorem 4.4. Let A,[.,.],ε,α,β be a multiplicative BiHom-Lie colour algebra and V,α V,β V be an A-module. Then the pair n 0C n α,β,δn r is a cohomology complex. That is the maps δn r satisfy δ n r δn 1 r = 0, n 2, r 1. 15

16 Proof. For any f C n 1 A,V, we have = δ n r δn 1 r fx 0,...,x n 1 t εx 0 + +x t 1,x t δr n 1 fβx 0,...,βx s 1,[α 1 βx s,x t ],βx s+1,..., x t,...,βx n s<t 11 + n 1 s εf +x x s 1,x s [αβ r+n 1 x s,δr n 1 fx 0,..., x s,..,x n ] V. 12 s=0 From 11 we have = δ n 1 r fβx 0,...,βx s 1,[α 1 βx s,x t ],βx s+1,..., x t,...,βx n 1 t εx s x t 1,x t β f 2 x 0,...,β 2 x s 1,[α 1 ββx s,βx t ],β 2 x s +1, s <t <s..., x t,...,β 2 x s 1,β[α 1 βx s,x t ],β 2 x s+1,..., x t,...,β 2 x n 13 + s <s 1 s εx s x s 1,x s f β 2 x 0,...,β 2 x s 1,[βx s 1,[α 2 β 2 x s,α 1 βx t ]],β 2 x s +1,..., x s,t,...,β 2 x n 14 + s <s<t <t 1 t εx s [x s,x t ]+...+x t 1,x t f β 2 x 0,...,β 2 x s 1,[α 1 ββx s,βx t ],β 2 x s +1,β[α 1 βx s,x t ],..., x t,...,β 2 x n + 1 t εxs x s 1 +[x s,x t ]+x s x t +...+x t 1,x t s <s<t<t f β 2 x 0,...,β 2 x s 1,[α 1 ββx s,βx t ],β 2 x s +1,β[α 1 βx s,x t ],..., x t,..., x t,...,β 2 x n s<t <t 1 t εx s x t 1,x t β f 2 x 0,...,[[α 2 β 2 x s,α 1 βx t ],βx t ],β 2 x s+1,..., x t,t,...,β 2 x n t 1 εx s x t +...+x t 1,x t s<t<t f β 2 x 0,...,β 2 x s 1,[[α 2 β 2 x s,α 1 βx t ],βx t ],β 2 x s+1,..., x t,t,...,β 2 x n 18 + s<s <t <t 1 t εx s x t 1,x t f β 2 x 0,...,β 2 x s 1,β[α 1 βx s,x t ], 16

17 [α 1 ββx s,βx t ],..., x t,..., x t,...,β 2 x n t εxs x t +...+x t 1,x t s<s <t<t f β 2 x 0,...,β 2 x s 1,β[α 1 βx s,x t ],β 2 x s+1,...,[α 1 ββx s,βx t ],..., x t,..., x t,...,β 2 x n t εxs x t,t +...+x t 1,x t t<s <t f β 2 x 0,...,β 2 x s 1,β[α 1 βx s,x t ],β 2 x s+1,..., x t,...,[α 1 ββx s,βx t ],..., x t,...,β 2 x n s εγ +x x s 1,x s [αr+n 1 x s,fβx 0,... x s,[x s,x t ],..., x t,...,βx n ] V 0<s <s s εγ +x x s 1,[x s,x t ] [αβ r+n 3 [α 1 βx s,x t ],fβx 0,..., [x s,x t ],βx s+1,..., x t,...,βx n ] V 23 + s<s <t 1 s εγ +x [x s,x t ]+...+x s 1,x s [αβ r+n 2 x s,fβx 0,...,[α 1 βx s,x t ],..., x s,t,...,βx n] V 24 + t<s 1 s εγ +x 0 +..[x s,x t ]+...+ x t +...+x s 1,x s The identity 12 implies that [αβ r+n 2 x s,fβx 0,...,[α 1 βx s,x t ],..., x t,s,...,βx n ] V. 25 [αβ r+n 1 x s,δ n 1 r fx 0,..., x s,..,x n ] V = [αβ r+n 1 x s, s <t <s 1 t εx s x t 1,x t f βx 0,...,βx s 1,[α 1 βx s,x t ],βx s +1,..., x s,t,t,βx s+1,...,βx n ] V + [αβ r+n 1 x s, 1 t 1 εx s x s +...+x t 1,x t s <s<t fβx 0,...,βx s 1,[α 1 βx s,x t ],βx s +1,..., x t,s,...,βx n] V 26 17

18 + [αβ r+n 1 x s, 1 t εxs x t 1,x t s<s <t fβx 0,..., x s,...,βx s 1,[α 1 βx s,x t ],βx s +1,..., x t,...,βx n] V 27 s 1 +[αβ r+n 1 x s, 1 s εγ +x x s 1,x s [αβr+n 2 x s,fx 0,..., x s,s,...,x n] V ] V 28 s =0 +[αβ r+n 1 x s, n s =s+1 1 s 1 εγ +x x s +...+x s 1,x s [αβn+r 2 x s,fx 0,..., x s,s,...,x n] V ] V. By the ε-bihom-jacobi condition, we obtain 1 t εx s x t 1,x t = 0. Also, we have s<t 23 = [αβ r+n 3 [α 1 βx s,x t ],fβx 0,..., [x s,x t ],βx s+1,..., x t,...,βx n ] V = [αβ n+r 1 x s,[αβ r+n 2 x t,fx 0,..., x s,t,...,x n ] V ] V [αβ r+n 1 x t,[αβ r+n 2 x s,fx 0,..., x s,t,...,x n ] V ] V. 29 Thus n 1 t εx s x t 1,x t s εγ +x x s 1,x s 28 s<t + s=0 n 1 s εγ +x x s 1,x s 29 = 0. s=0 By a simple calculation, we get n 1 t εx s x t 1,x t s εγ +x x s 1,x s 27 = 0, s<t 1 t εx s x t 1,x t 25+ s=0 s<t s=0 n 1 s εγ +x x s 1,x s 26 = 0, and 1 t εx s x t 1,x t s<t = s<t 1 t εx s x t 1,x t s <s<t <t 1 t εx s [x s,x t ]+...+x t 1,x t fα 2 x 0,...,α 2 x s 1,[αx s,αx t ],α2 x s +1,α[x s,x t ],..., x t,...,α 2 x n + s<t 1 t εx s x t 1,x t 1 t εxs x t +...+x t 1,x t s<s <t<t fα 2 x 0,...α 2 x s 1,α[x s,x t ],α 2 x s+1,..., x t,t,...,[αx s,αx t ],...,α 2 x n = 0. 18

19 Similarly, we have and Therefore δ n r δ n 1 r 1 t εx s x t 1,x t = 0 s<t 1 t εx s x t 1,x t = 0. s<t = 0, which completes the proof. LetZrA,Vresp. n BrA,Vdenotethekernelofδ n r n resp. theimageofδr n 1. The spaces ZrA,V n and BrA,V n are graded submodules of Cα,β n A,V and according to Proposition 4.4, we have BrA,V n ZrA,V. n 30 The elements of Z n ra,v are called n-cocycles, and the elements of B n ra,v are called the n-coboundaries. Thus, we define a so-called cohomology groups H n r A,V = Zn ra,v B n ra,v. We denote by H n r A,V = γ Γ Hn r A,V γ the space of all r-cohomology group of degree γ of the BiHom-Lie colour algebra A with values in V. Two elements of Z n r A,V are said to be cohomologous if their residue classes modulo Bn r A,V coincide, that is if their difference lies in B n r A,V. 4.2 Adjoint representations of BiHom-Lie colour algebras In this section, we generalize to BiHom-Lie colour algebras some results from [3] and [18]. Let A,[.,.],ε,α,β be a regular BiHom-Lie colour algebra. We consider that A represents on itself via the bracket with respect to the morphisms α,β. Now, we discuss adjoint representations of a BiHom-Lie colour algebra. The adjoint representations are generalized in the following way. Definition 4.5. An α s β l -adjoint representation, denoted by ad s,l, of a BiHom-Lie colour algebra A,[.,.],ε,α,β is defined as ad s,l ax = [α s β l a,x], a,x HA. Lemma 4.6. With the above notations, we have A,ad s,l..,α,β is a representation of the BiHom-Lie colour algebra A,[.,.], ε, α, β. It satisfies ad s,l αx α = α ad s,l x, ad s,l βx β = β ad s,l x, ad s,l [βx,y] β = ad s,l αβx ad s,l y εx,yad s,l βy ad s,l x. Proof. First, the result follows from ad s,l αxαy = [α s β l αx,αy] = α[α s β l x,y] = α ad s,l xy. 19

20 Similarly, we have ad s,l βxβy = β ad s,l xy. Note that the ε-bihom skew symmetry condition implies On one hand, we have ad s,l xy = εx,y[α 1 βy,α s+1 β l 1 x]. ad s,l [βx,y]βz = εx+y,z[α 1 β 2 z,α s+1 β l 1 [βx,y]] = εx+y,z[α 1 β 2 z,[α s+1 β l x,α s+1 β l 1 y]]. On the other hand, we have ad s,l αβx ad s,l y z εx,y ad s,l βy ad s,l αx z = ad s,l αβx [α 1 βz,α s+2 β l 1 y] εx,yad s,l βy [α 1 βz,α s+2 β l 1 x] = εx,y +zεy,z[α 1 β[α 1 βz,α s+1 β l 1 y],α s+1 β l 1 αβx] εx+y,z[α 1 β[α 1 βz,α s+2 β l 1 x],α s+1 β l 1 βy] = εx+y,zεx,y[β[α 2 βz,α s β l 1 y],α s+2 β l x] εx+y,z[β[α 2 βz,α s+1 β l 1 x],α s+1 β l y] = εy,z[βα s+1 β l x,α[α 2 βz,α s β l 1 y]]+εx,y +z[βα s β l y,α[α 2 βz,α s+1 β l 1 x]] = [α s+1 β l+1 x,[α 1 βz,α s+1 β l 1 y]]+εx,y +z[α s β l+1 y,[α 1 βz,α s+2 β l 1 x]] = [α s+1 β l+1 x,[α s β l y,z]]+εx,y +z[α s β l+1 y,[α 1 βz,α s+2 β l 1 x]] = [β 2 α s+1 β l 1 x,[βα s β l 1 y,αα 1 z]]+εx,y +z[β 2 α s β l 1 y,[βα 1 z,αα s+1 β l 1 x]] = εx+y,z[β 2 α 1 z,[βα s+1 β l 1 x,αα s β l 1 y]] = εx+y,z[α 1 β 2 z,[α s+1 β l x,α s+1 β l 1 y]]. Thus, the definition of α s β l -adjoint representation is well defined. The proof is completed. by The set of n-cochains on A with coefficients in A, which we denote by Cα,β n A,A, is given C n α,β A,A = {f Cn A,A : f α n = α f, f β n = β f}. In particular, the set of 0-cochains is given by Cα,β 0 A,A = {x HA : αx = x, βx = x}. Now, we aim to study cochain complexes associated to α s β l -adjoint representations of a BiHom-Lie colour algebra A,[.,.],ε,α,β. Proposition 4.7. Associated to the α s β l -adjoint representation ad s,l of the BiHom-Lie colour algebra A,[.,.],ε,α,β, D C 1 α,β A,A is 1-cocycle of degree γ if and only if D is an αs+2 β l 1 - derivation of degree γ i.e. D Der α s+2 β l 1A γ. Proof. The conclusion follows directly from the definition of the coboundary δ. D is closed if and only if So δdx,y = D[α 1 βx,y]+εγ,x[α s+1 β l x,dy] εγ +x,y[α s+1 β l y,dx] = 0. D[α 1 βx,y] = [Dx,α s+1 β l y]+εγ,x[α s+1 β l x,dy] which implies that D is an α s+2 β l 1 -derivation of A,[.,.],ε,α,β of degree γ. 20

21 Proposition 4.8. Associated to the α s β l -adjoint representation ad s,l, we have H 0 A,A = {x HA : αx = x, βx = x, [x,y] = 0}. H 1 A,A = Der α s+2 β l 1A Inn α s+2 β l 1A. Proof. For any 0-BiHom cochain x C 0 α,β A,A, we have d s,lxy = [α s+1 β l 1 y,x] = [α 1 βx,α s+2 β l 2 y]. Therefore, x is a closed 0-BiHom-cochain if and only if [α 1 βx,α s+2 β l 2 y] = 0, which is equivalent to α s 2 β l+2 [α 1 βx,α s+2 β l 2 y] = [x,y] = 0. Therefore, the set of 0-BiHom cocycle Z 0 A,A is given by As, B 0 A,A = {0}, we deduce that Z 0 A,A = {x Cα,β 0 A,A : [x,y] = 0, y HA}. H 0 A,A = {x HA : αx = x, βx = x, [x,y] = 0, y HA}. By Proposition 4.7, we have Z 1 A,A = Der α s+2 βl 1A. Furthermore, it is obvious that any exact 1-BiHom-cochain is of the form [α s+1 β l 1,x] for some x Cα,β 0 A,A. Therefore, we have B 1 A,A = Inn α s+1 βl 1A, which implies that H 1 A,A = Der α s+2 β l 1A Inn α s+2 β l 1A. 4.3 The coadjoint representation ãd In this subsection, we explore the dual representations and coadjoint representations of BiHom- Lie colour algebras. Let A,[.,.],ε,α,β be a BiHom-Lie colour algebra and V,ρ,α V,β V be a representation of A. Let V be the dual vector space of V. We define a linear map ρ : A EndV by ρx = t ρx. Let f V,x,y HA and v V. We compute the right hand side of the identity 7. ραβx ρy εx,y ρβy ραxfv = ραβx εy,ff ρyv εx,y ρβy = εx+y,ff εx,ff ραxv ραx ρβyv εx,yρy ραβxv On the other hand, we set that the twisted map for ρ is β = t β, the left hand side of 7 writes ρ[βx,y] β M fv = ρ[βx,y]f βv Therefore, we have the following Proposition: = εx+y,ff βρ[βx,y]v. 21.

22 Proposition 4.9. Let A,[.,.],ε,α be a BiHom-Lie colour algebra and M,ρ,β be a representation of A. Let M be the dual vector space of V. The triple V, ρ, β, where ρ : A EndV is given by ρx = t ρx, defines a representation of BiHom-Lie colour algebra A,[.,.],ε,α if and only if β ρ[βx,y] = ραx ρβy εx,yρy ραβx. 31 We obtain the following characterization in the case of adjoint representation. Corollary Let A,[.,.],ε,α be a BiHom-Lie colour algebra and A,ad,α be the adjoint representation of A, where ad : A EndA. We set ãd : A EndA and ãdxf = f adx. Then A,ãd, α is a representation of A if and only if α ad[x,y] = adx adαy εx,yady adαx, x,y HA. 5 Generalized α k β l -Derivations of BiHom-Lie colour algebras The purpose of this section is to study the homogeneous generalized α k β l -derivations and homogeneous α k β l -centroid of BiHom-Lie colour algebras, as well as α k β l -quasi-derivations and α k β l -quasi-centroid. The homogeneous generalized derivations were discussed first in [6]. LetA,[.,.],ε,α,β beabihom-liecolouralgebra. WesetPl γ A = {D EndA : DA γ A γ+τ for all τ Γ}. It turns out that PlA = γ Γ Pl γa,[.,.],α is a BiHom-Lie colour algebra with the Lie colour bracket [D γ,d τ ] = D γ D τ εγ,τd τ D γ for all D γ,d τ HPlA and with α : A A is an even homomorphism. A homogeneous α k β l -derivation of degree γ of A is an endomorphism D Pl γ A such that [D,α] = 0, [D,β] = 0, D[x,y] = [Dx,α k β l y]+εγ,x[α k β l x,dy], x,y HA. We denote the set of all homogeneous α k β l -derivations of degree γ of A by Der γ α k β l A. We set Der α k β la = γ Γ Der γ α k β l A, DerA = k,l 0Der α k β la. The set DerA provided with the colour-commutator is a Lie colour algebra. Indeed, the fact that Der α k βla is Γ-graded implies that DerA is Γ-graded DerA γ = k,l 0Der α k β la γ, γ Γ. Definition A linear mapping D EndA is said to be an α k β l -generalized derivation of degree γ of A if there exist linear mappings D,D EndA of degree γ such that [D,α] = 0, [D,α] = 0, [D,α] = 0,[D,β] = 0, [D,β] = 0, [D,β] = 0, D [x,y] = [Dx,α k β l y]+εγ,x[α k β l x,d y], x,y HA 22

23 2. A linear mapping D EndA is said to be an α k β l -quasi-derivation of degree γ of A if there exist linear mappings D EndA of degree γ such that [D,α] = 0, [D,α] = 0,[D,β] = 0, [D,β] = 0, D [x,y] = [Dx,α k β l y]+εγ,x[α k β l x,dy], x,y HA. The sets of generalized derivations and quasi-derivations will be denoted by GDerA and QDerA, respectively. Definition The set CA consisting of linear mappings D with the property [D,α] = 0, D[x,y] = [Dx,α k β l y] = εγ,x[α k β l x,dy], x,y HA. is called the α k β l -centroid of degree γ of A. 2. The set QCA consisting of linear mappings D with the property [D,α] = 0, [Dx,α k β l y] = εγ,x[α k β l x,dy], x,y HA. is called the α k β l -quasi-centroid of degree γ of A. Proposition 5.3. Let A,[.,.], ε, α, β be a multiplicative BiHom-Lie colour algebra. Then [DerA,CA] CA. Proof. Assume that D γ Der γ α k β l A, D η C η α s β t A. For arbitrary x,y HA, we have and [D γ D η x,α k+s β l+t y] = D γ [D η x,α s β t y] εγ,η +x[α k β l D η x,d γ α s β t y] = D γ [D η x,α s β t y] εγ,η +x[d η α k β l x,d γ α s β t y] = D γ D η [x,y] εγ,η +xεη,x[α k+s β l+t x,d η D γ y]. [D η D γ x,α k+s β l+t y] = D η [D γ x,α k β l y] Now, let γ C s+t α s β t A then we have: = D η D γ [x,y] εγ,x[d η α k β l x,d γ y] = D η D γ [x,y] εγ,xd η [α k β l x,d γ y]. γ D γ[x,y] = γ [D γ x,α k β l y]+εγ,x[α k β l x,d γy] = [ γ D γ x,α k+s β l+t y]+εγ +γ,x[α k+s β l+t x, γ D γy]. Then γ D γ GDer α k+s β l+ta and is of degree γ +γ. 23

24 Proposition 5.4. CA QDerA. Proof. Let D γ C α k βla and x,y HA, then we have [D γ x,α k β l y]+εγ,x[α k β l x,d γ y] = [D γ x,α k β l y]+[d γ x,α k β l y] Then D γ QDer γ α k β l A. Proposition 5.5. [QCA, QCA] QDerA. = 2D γ [x,y] = D γ [x,y]. Proof. Assume that D γ HQC α k β la and D τ HQC α s βta. Then for all x,y HA, we have [D γ x,α k β l y] = εγ,x[α k β l x,d γ y] and Hence, on the other hand, we have [D τ x,α s β t y] = ετ,x[α s β t x,d τ y]. [[D γ,d τ ]x,α k+s β l+t y] = [D γ D τ εγ,τd τ D γ x,α k+s β l+t y] = [D γ D τ x,α k+s β l+t y] εγ,τ[d τ D γ x,α k+s β l+t y] = εγ +τ,x[α k+s β l+t x,d γ D τ y] εγ,τεγ +τ,x[α k+s β l+t x,d τ D γ y] = εγ +τ,x[α k+s β l+t x,[d γ,d τ ]y]+[[d γ,d τ ]x,α k+s β l+t y], which implies that [[D γ,d τ ]x,α k+s β l+t y]+[[d γ,d τ ]x,α k+s β l+t y] = 0. Then [D γ,d τ ] GDer α k+s βl+ta and is of degree γ +τ. 5.1 BiHom-Jordan colour algebras and Derivations We show in the following that α 1 β 2 -derivations of BiHom-Lie colour algebras give rise to BiHom-Jordan colour algebras. First we introduce a definition of colour BiHom-Jordan algebra. Definition 5.6. A colour BiHom-algebra A,µ,ε,α,β is a BiHom-Jordan colour algebra if hold the identities α β = β α, 32 µβx,αy = εx,yµβy,αx, 33 x,y,w εw,x+zas α,β µβ 2 x,αβy,α 2 βz,α 3 w = for all x,y,z and w in HA and where as α,β is the BiHom-associator defined in 6. The identity 34 is called BiHom-Jordan colour identity. Observe that when β = α, the BiHom-Jordan colour identity reduces to the Hom-Jordan colour identity. 24

25 Proposition 5.7. Let A,[.,.], ε, α, β be a multiplicative BiHom-Lie colour algebra. Consider the operation D 1 D 2 = D 1 D 2 +εd 1,d 2 D 2 D 1 for all α 1 β 2 -derivations D 1,D 2 HPlA. Then the 5-tuple PlA,,ε,α,β is a BiHom-Jordan colour algebra. Proof. Assume that D 1,D 2,D 3,D 4 HPlA, we have βd 1 αd 2 = βd 1 αd 2 +εd 1,d 2 βd 2 αd 1 = εd 1,d 2 βd 2 αd 1 +εd 2,d 1 βd 1 αd 2 = εd 1,d 2 βd 2 αd 1. Since β 2 D 1 αβd2 α 2 βd 3 βα 3 D 4 = β 2 D 1 αβd 2 α 2 βd 3 βα 3 D 4 +εd 1 +d 2 +d 3,d 4 βα 3 D 4 β 2 D 1 αβd 2 α 2 βd 3 +εd 1 +d 2,d 3 α 2 βd 3 β 2 D 1 αβd 2 βα 3 D 4 +εd 1 +d 2,d 3 εd 1 +d 2 +d 3,d 4 βα 3 D 4 α 2 βd 3 β 2 D 1 αβd 2 +εd 1,d 2 αβd 2 β 2 D 1 α 2 βd 3 βα 3 D 4 +εd 1,d 2 εd 1 +d 2 +d 3,d 4 βα 3 D 4 αβd 2 β 2 D 1 α 2 βd 3 +εd 1,d 2 εd 1 +d 2,d 3 α 2 βd 3 αβd 3 β 2 D 1 βα 3 D 4 +εd 1,d 2 εd 1 +d 2,d 3 εd 1 +d 2 +d 3,d 4 βα 3 D 4 α 2 βd 3 αβd 2 β 2 D 1 and αβ 2 D 1 αβd 2 βα 2 D 3 α 3 D 4 = αβ 2 D 1 α 2 βd 2 α 2 βd 3 α 3 D 4 +εd 1 +d 2,d 3 +d 4 α 2 βd 3 α 3 D 4 αβ 2 D 1 α 2 βd 2 +εd 3,d 4 αβ 2 D 1 α 2 βd 2 α 3 D 4 α 2 βd 3 +εd 3,d 4 εd 1 +d 2,d 3 +d 4 α 3 D 4 α 2 βd 3 αβ 2 D 1 α 2 βd 2 +εd 1,d 2 α 2 βd 2 αβ 2 D 1 α 2 βd 3 αβ 2 D 4 +εd 1,d 2 εd 1 +d 2,d 3 +d 4 α 2 βd 3 α 3 D 4 α 2 βd 2 αβ 2 D 1 +εd 1,d 2 εd 3,d 4 α 2 βd 2 αβ 2 D 1 α 3 D 4 α 2 βd 3 +εd 1,d 2 εd 3,d 4 εd 1 +d 2,d 3 +d 4 α 3 D 4 α 2 βd 3 α 2 βd 2 αβ 2 D 1. Then we have εd 4,d 1 +d 3 as α,β β 2 D 1 αβd 2,αβD 3,α 3 D 4 = εd 2,d 3 εd 1 +d 2 +d 4,d 3 α 2 βd 3 α 3 D 4 αβ 2 D 1 α 2 βd 2 +εd 4,d 1 αβ 2 D 1 α 2 βd 2 α 3 D 4 α 2 βd 3 +εd 2,d 4 εd 1,d 2 εd 1 +d 2 +d 4,d 3 α 2 βd 3 α 3 D 4 α 2 βd 2 αβ 2 D 1 +εd 4,d 1 εd 1,d 2 α 2 βd 2 αβ 2 D 1 α 3 D 4 α 2 βd 3 εd 2,d 4 βα 3 D 4 β 2 D 1 αβd 2 α 2 βd 3 25

26 εd 4,d 1 +d 3 εd 1 +d 2,d 3 α 2 βd 3 β 2 D 1 αβd 2 βα 3 D 4 εd 1,d 2 εd 2,d 4 βα 3 D 4 αβd 2 β 2 D 1 α 2 βd 3 εd 4,d 1 +d 3 εd 1,d 2 εd 1 +d 2,d 3 α 2 βd 3 αβd 3 β 2 D 1 βα 3 D 4. Therefore, we get D1,D 3,D 4 εd 4,d 1 +d 3 as α,β β 2 D 1 αβd 2,αβD 3,α 3 D 4 = 0, and so the statement holds. Corollary 5.8. Let A,[.,.], ε, α, β be a multiplicative BiHom-Lie colour algebra. Consider the operation D 1 D 2 = D 1 D 2 εd 1,d 2 D 2 D 1 for all D 1,D 2 HQCA. Then the 5-tuple QCA,,ε,α,β is a BiHom-Jordan colour algebra. Proof. We need only to show that D 1 D 2 QCA, for all D 1,D 2 HQCA. Assume that x,y HA, we have [D 1 D 2 x,α k+s β l+t y] = [D 1 D 2 x,α k+s β l+t y]+εd 1,d 2 [D 2 D 1 x,α k+s β l+t y] = εd 1,d 2 +x[d 2 x,d 1 α k+s β l+t y]+εd 2,x[D 1 x,d 2 α k+s β l+t y] = εd 1,d 2 εd 1 +d 2,x[α k+s β l+t x,d 2 D 1 y]+εd 1 +d 2,x[α k+s β l+t x,d 1 D 1 y] = εd 1 +d 2,x[α k+s β l+t x,d 1 D 2 y]. Hence D 1 D 2 QCA. References [1] F. Ammar, Z. Ejbehi and A. Makhlouf, Cohomology and Deformations of Hom-algebras, Journal of Lie Theory 21 No. 4, [2] F. Ammar and A. Makhlouf, Hom-Lie superalgebras and Hom-Lie admissible superalgebras, Journal of Algebra , [3] F. Ammar, N. Saadaoui and A. Makhlouf, Cohomology of Hom-Lie superalgebras and q- deformed Witt superalgebra, 2011 Czechoslovak Mathematical Journal, Vol. 63, No [4] P. D. Beites, I. Kaygorodov and Y. Popov, Generalized derivations of multiplicative n-ary Hom-Ω color algebras, arxiv: , [5] S. Benayadi and A. Makhlouf, Hom-Lie algebras with symmetric invariant nondegenerate bilinear forms, Journal of Geometry and Physics

27 [6] L. Chen, Y. Ma and L. Ni, Generalized derivations of Lie colour algebras, Results in Mathematics Springer DOI , s [7] Y. Cheng, H. Qi, Representations of BiHom-Lie algebras, arxiv: v [8] J. Feldvoss, Representations of Lie color algebras, Adv. Math., , [9] M. Goze and E. Remm, Lie-admissible algebras and operads, Journal of Algebra , [10] G. Graziani, A. Makhlouf, C. Menini, F. Panaite, BiHom-associative algebras, BiHom-Lie algebras and BiHom-bialgebras, Symmetry, Integrability and geometry, SIGMA , 086, 34 pages. [11] J. Harwig, D. Larsson and S. Silvestrov, Deformations of Lie algebras using sigmaderivation, J. Algebra, 295, 2006, [12] I. Kaygorodov and Y. Popov, Generalized derivations of color n-ary algebras, Linear Multilinear Algebra 64, no. 6, 2016, [13] A. Makhlouf and S. Silvestrov, Hom-algebra structures, J. Gen. Lie Theory Appl. 22, 2008, [14] A. Makhlouf and S. Silvestrov, Hom-Lie admissible Hom-coalgebras and Hom-Hopf algebras, Gen. Lie Theory in Math., Phy. and Beyond, Springer-Verlag, BerlinChapter 17, 2008, [15] A. Makhlouf and S. Silvestrov, Notes on formal deformations of Hom-associative and Hom- Lie algebras, Forum Math, vol [16] M. Scheunert, The theory of Lie superalgebras: an introduction, Springer-Verlag, [17] M. Scheunert, Generalized Lie algebras, Group Theoretical Methods in Physics, 1979, [18] Y. Sheng, Representations of Hom-Lie algebras, Algebras and Representation Theory, Volume 15, Issue [19] L. Yuan, Hom-Lie colour algebra structures, Communications in Algebra, vol. 40, no. 2, 2012, [20] S. Wang, S. Guo, BiHom-Lie superalgebra structures, arxiv: v