Crossed The Left H-¦Ð-mode, The Right H-¦Ð-comodule With Braids Tensor Category

Recently, Turaev in [19, Section11.2] introduced the notions ofÏ€-coalgebras and HopfÏ€-coalgebras. Let k be a fixed field andÏ€be a discrete group. AÏ€-coalgebra over k is a family C = {Cα}α∈πof k -spaces endowed with a comultiplicationΔand a counitε, whereΔ= {Δα,β:Cαβâ†'Cα-Cβ}α,β∈π,ε: C1â†'k. AndΔis coassociative,εis counitary. A HopfÏ€-coalgebra H = ({ Hα}α∈π,Δ,ε)is aÏ€-coalgebra H = { Hα}α∈πendowed with an antipode 1S = {Sα: Hαâ†'Hα- }α∈πwhich satisfies some compatibility conditions . In [19] Turaev also gave the definitions of crossed HopfÏ€-coalgebras and quasitriangular HopfÏ€-coalgebras. In [1], Alexis Virelizier studied algebraic properities of Hopf group-coalgebras and gave the definition ofÏ€- comodules. Meanwhile, He also generalized the main properties of quasitriangular HopfÏ€-coalgebras. Upon the background above, in this paper, we first give the definitions of left H -Ï€-modules and crossed left H -Ï€-modules. Then we show that the category of left H -Ï€- modules is a tensor category and the category of crossed left H-Ï€-modules is a tensor category too. And then we discuss the relationships between the quasitriangular HopfÏ€- coalgebras and the category of crossed left H-Ï€-modules being a braided tensor category. Then, we define right H -Ï€-comodules and coquasitriangular HopfÏ€-coalgebras ,and similarly we show that the category of right H-Ï€-comodules is a tensor category. We also investigate the relationships between the coquasitriangular HopfÏ€-coalgebr -as and the category of right H-Ï€-comodules being a braided tensor category.The paper is organized as follows. In Section 1, we introduce some basic notions aboutÏ€- coalgebras, HopfÏ€- coalgebras, crossed HopfÏ€- coalgebras, quasitriangular HopfÏ€- coalgebras and so on. And we also recall the definition of braided tensor categories. In Section 2, First of all, we define left H-Ï€-modules, and we prove that the category of left H -Ï€- modules is a tensor category. Secondly, we give the definition of crossed left H-Ï€-modules. Moreover, we show that the category of crossed left H-Ï€-modules is a tensor category. Finally, we obtain one of the main results in this paper, as follows: Theorem 2.9. Let H = ({ Hα}α∈π,Δ,ε, S , -, R) be a quasitriangular HopfÏ€-coalgebras. Then the category of crossed left H-Ï€-modules H M crossed is a braided tensor category.In Section 3, we first give the definitions of right H-Ï€-comodules and coquasitriangular HopfÏ€-coalgebras. Then we show that the tensor products of two right H-Ï€-comodules is also a right H -Ï€-comodule, and that the category of right H-Ï€-comodules is a tensor category. Finally, we get another main result in this paper, as follows:Theorem 3.9. Let H = ({ Hα}α∈π,Δ,ε, S,σ) be a coquasitriangular HopfÏ€-coalgebras, whereσis the coquasitriangular structure of H. Then the category of right H-Ï€-comodules M H is a braided tensor category.