A duality theorem of crossed coproduct for Hopf algebras (Q1805388)

The author shows a duality theorem for Hopf crossed coproducts which bears some analogy to the duality theorem for Hopf crossed products by \textit{M. Koppinen} [J. Algebra 146, 153-174 (1992; Zbl 0749.16021)] and contains an analogous meaning. The main result is: Let \(H\) be a finite dimensional Hopf algebra and \(C\) is a left \(H\)-weak comodule coalgebra, and \(\alpha\) be a convolution-invertible linear map from \(C\) to \(H \otimes H\). If the crossed coproduct \(C \times_ \alpha H\) is a quasi- finite right \(C\)-comodule such that these linear maps (defined in this paper) \(\overline {\alpha}_ 1\) and \(\overline {\beta}_ 1\) are coalgebra monomorphisms, \(\pi\), \(\overline {\beta}_ 2\) and \(\overline {\alpha}_ 2\) are coalgebra morphisms and \(\text{Im} (\overline {\beta}_ 2) \subseteq \text{Im} (\overline {\alpha}_ 1)\), \(\text{Im} (\overline {\alpha}_ 2) \subseteq \text{Im}(\overline {\beta}_ 1)\), then one has \((C \times_ \alpha H) \times H^* \cong C \otimes (H \times H^*)\).