The structure of cocleft \(H\)-module coalgebras (Q1312932)

The author introduces crossed coproducts \(C^{\beta [\psi]} \rtimes H\) as a dual notation. \(C\) is a left \(H\)-module coalgebra when \(\psi(c) = \varepsilon(c) (1 \otimes 1)\) for all \(c \in C\), which is called cocleft if there is a convolution invertible \(q : C \to H\) as a right \(H\)-module map and \(\varepsilon q = \varepsilon\). He proves the structure theorem: \(C \cong \overline {C}^{\beta[\psi]} \rtimes H\) as a coalgebra where \(\overline{C} = C/C \cdot H^ +\), \(H^ + = \text{Ker } \varepsilon\), \(\beta (\overline {c}) = \sum q(c_ 1) q^{-1} (c_ 3) \otimes \overline {c}_ 2\), \(\psi( \overline{c}) = \sum(q(c_ 1) \otimes q(c_ 2)) \Delta q^{-1}(c_ 3)\) for \(\overline {c} \in \overline{C}\). It is the dual of a result of \textit{Y. Doi} and \textit{M. Takeuchi} [Commun. Algebra 14, 801-817 (1986; Zbl 0589.16011)] on the structure of cleft \(H\)-comodule algebras.