PROPERTIES OF GENERALIZED BIPRODUCT HOPF ALGEBRAS

The biproduct bialgebra has been generalized to generalized biproduct bialgebra $B{\times}^L_H\;D$ in [5]. Let (D, B) be an admissible pair and let D be a bialgebra. We show that if generalized biproduct bialgebra $B{\times}^L_H\;D$ is a Hopf algebra with antipode s, then D is a Hopf algebra and the identity $id_B$ has an inverse in the convolution algebra $Hom_k$(B, B). We show that if D is a Hopf algebra with antipode $s_D$ and $s_B$ in $Hom_k$(B, B) is an inverse of $id_B$ then $B{\times}^L_H\;D$ is a Hopf algebra with antipode s described by $s(b{\times}^L_H\;d)={\Sigma}(1_B{\times}^L_H\;s_D(b_{-1}{\cdot}d))(s_B(b_0){\times}^L_H\;1_D)$. We show that the mapping system $B{\leftrightarrows}^{{\Pi}_B}_{j_B}\;B{\times}^L_H\;D{\rightleftarrows}^{{\pi}_D}_{i_D}\;D$ (where $j_B$ and $i_D$ are the canonical inclusions, ${\Pi}_B$ and ${\pi}_D$ are the canonical coalgebra projections) characterizes $B{\times}^L_H\;D$. These generalize the corresponding results in [6].