• Journal of the Chungcheong Mathematical Society
• /
• v.23 no.2
• /
• pp.323-333
• /
• 2010

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].

• Journal of the Chungcheong Mathematical Society
• /
• v.26 no.1
• /
• pp.91-103
• /
• 2013

Let (D,B) be an admissible pair. Then recall that $B\;{\times}^L_HD^{{\rightarrow}{\pi}_D}_{{\leftarrow}i_D}\;D$ are bialgebra maps satisfying ${\pi}_D{\circ}i_D=I$. We have solved a converse in case D is a Hopf algebra. Let D be a Hopf algebra with antipode $S_D$ and be a left H-comodule algebra and a left H-module coalgebra over a field $k$. Let A be a bialgebra over $k$. Suppose $A^{{\rightarrow}{\pi}}_{{\leftarrow}i}D$ are bialgebra maps satisfying ${\pi}{\circ}i=I_D$. Set ${\Pi}=I_D*(i{\circ}s_D{\circ}{\pi}),B=\Pi(A)$ and $j:B{\rightarrow}A$ be the inclusion. Suppose that ${\Pi}$ is an algebra map. We show that (D,B) is an admissible pair and $B^{\leftarrow{\Pi}}_{\rightarrow{j}}A^{\rightarrow{\pi}}_{\leftarrow{i}}D$ is an admissible mapping system and that the generalized biproduct bialgebra $B{\times}^L_HD$ is isomorphic to A as bialgebras.

• Journal of the Chungcheong Mathematical Society
• /
• v.21 no.3
• /
• pp.301-320
• /
• 2008

The smash product algebra has been generalized to general smash product algebra in [3] and we can generalize the smash coproduct coalgebra to obtain the general smash coproduct coalgebra. It is natural to replace the smash product and smash coproduct by the generalized smash product and generalized smash coproduct and consider the condition under which the generalized smash product algebra structure and the generalized smash coproduct coalgebra structure will inherit a bialgebra structure or a Hopf algebra structure. We derive necessary sufficient conditions for the problem. This generalizes the corresponding results in [7] and [4].