Integrals of Braided Hopf Algebras

Abstract:

      The faithful quasi-dual $H^d$ and strict quasi-dual $H^{d'}$ of an infinite braided Hopf algebra $H$ are introduced and it is proved that every strict quasi-dual $H^{d'}$ is an $H$-Hopf module. A connection between the integrals and the maximal rational $H^{d}$-submodule $H^{d {\rm rat} }$ of $H^{d}$ is found. That is, $H^{d{\rm rat} }\cong \int ^l_{H^d} \otimes H$ is proved. The existence and uniqueness of integrals for braided Hopf algebras in the Yetter-Drinfeld category $(^B_B{\cal YD},C )$ are given.