Morita theorems for Hopf comodule coalgebras (Q1814712)

Suppose \(H\) is a finite dimensional Hopf algebra, \(C\) is a left \(H\)-comodule algebra, \(H^*\) is unimodular and \(0\neq\lambda\) is an integral in \(H^*\), fixed under \(S^*\). Consider the usual right action of \(H^*\) on \(C\) inherited from the left coaction of \(H\), and set \(\overline C=C/C(H^*)^+\). Let \(C\times H\) be the smash coproduct of \(C\) and \(H\). Then the main results of this paper state that: \(C\) is both a \((C\times H,\overline{C})\) and a \((\overline C,C\times H)\) bicomodule. Let \(\alpha_M:M\to\overline M_{\overline C}C\) be the map \(\alpha_M(m)=\sum\overline m_0\otimes m_1\). Then \(C\) is \(H\)-coGalois if and only if \(\alpha_M\) is an isomorphism for all \(M\in{\mathcal M}^C_H\). \(C\) is \(H\)-coGalois implies that \(C\) is coflat as a left \(\overline C\)-comodule. The author also obtains various conditions equivalent to \(C\) being \(H\)-coGalois.