Relative projectivity and relative injectivity in the category of Doi-Hopf modules. II (Q286655)

Let \(k\) be a field, \(H\) be a Hopf \(k\)-algebra with comultiplication \(\Delta_H\), counit \(\varepsilon_H\) and antipode \(S_H\), \(A\) be a right \(H\)-comodule \(k\)-algebra, and \(C\) be a right \(H\)-module \(k\)-coalgebra with a fixed group-like element \(x\). In the paper under review, the author extends results of [\textit{Y. Doi}, Commun. Algebra 11, 243--255 (1983; Zbl 0502.16009)], where the case \(C=H\) and \(x=1_H\) was considered. More precisely, Theorem 2.2 states that under the assumption on the existence of an \(H\)-colinear map \(\Phi: H\rightarrow A\) with \(\Phi(1_H)=1_A\) and \(k\)-coalgebra morphism \(\Psi: C\rightarrow H\) with \(c_1\cdot S_H(\Psi(c_2))=\varepsilon_C(c)x\) holding for every \(c\in C\), every right \((H,A,C)\)-Doi-Hopf module is injective as a right \(C\)-comodule. Theorem 2.8 (fundamental theorem for right \((H,A,C)\)-Doi-Hopf modules) states that under the assumption on the existence of an \(H\)-colinear morphism of algebras \(\Phi: H\rightarrow A\) and an \(H\)-linear morphism of \(k\)-coalgebras \(\Psi: C\rightarrow H\), every right \((H,A,C)\)-Doi-Hopf module \(M\) is isomorphic to \(M^{\mathrm{co}H}\otimes_{A^{\mathrm{co}H}}A\). For Part I, see [the author, J. Algebra Appl. 10, No. 5, 931--946 (2011; Zbl 1256.16019)].