Crossed Product of Hopf Algebras

ISSN： 0092-7872

Source： Communications in Algebra, Vol.41, Iss.7, 2013-05, pp. : 2519-2542

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

The main properties of the crossed product in the category of Hopf algebras are investigated. Let A and H be two Hopf algebras connected by two morphism of coalgebras ▹: H ⊗ A → A, f: H ⊗ H → A. The crossed product is a new Hopf algebra containing A as a normal Hopf subalgebra. Furthermore, a Hopf algebra E is isomorphic as a Hopf algebra to a crossed product of Hopf algebras if and only if E factorizes through a normal Hopf subalgebra A and a subcoalgebra H such that 1_E ∈ H. The universality of the construction, the existence of integrals, commutativity or involutivity of the crossed product are studied. Looking at the quantum side of the construction we shall give necessary and sufficient conditions for a crossed product to be a coquasitriangular Hopf algebra. In particular, all braided structures on the monoidal category of -comodules are explicitly described in terms of their components. As an example, the braidings on a crossed product between H ₄ and k[C ₃] are described in detail.