On generalized Hopf Galois extensions. (Q2570176)

Galois type extensions are considered in the general framework of entwining structures. The Galois condition is defined by the bijectivity of a certain canonical map. The main theme of the paper is to develop criteria under which the surjectivity of this canonical map is sufficient for its bijectivity, and to study consequences on the extension from a module or comodule theoretical point of view. A characterization of (relative) projective Galois type extensions as those for which a canonical map is a split surjective comodule map is given. It is also proved a result describing situations when the surjectivity of the Galois map implies its bijectivity, and also the projectivity of the Galois extension. In the particular case where the entwining comes from an \(H\)-comodule algebra, where \(H\) is a Hopf algebra, this result generalizes results of \textit{H. F. Kreimer} and \textit{M. Takeuchi} [Indiana Univ. Math. J. 30, 675-692 (1981; Zbl 0451.16005)] for finitely generated projective \(H\), and of \textit{M. Beattie, S. Dăscălescu} and \textit{S. Raianu} [J. Algebra 198, No. 1, 164-183 (1997; Zbl 0901.16017)] for a co-Frobenius Hopf algebra \(H\) over a field. The result is also applied to \(H\)-comodule algebras that are viewed as \(Q\)-extensions for a quotient coalgebra and right \(H\)-module \(Q\) of \(H\). Faithfully flat Galois extensions are discussed, and new proofs of results of \textit{H.-J. Schneider} [Isr. J. Math. 72, No. 1/2, 167-195 (1990; Zbl 0731.16027)] about \(H\)-Galois extensions \(A/A^{co\,H}\) such that \(A\) is a (relative) injective \(H\)-comodule are given. Equivariant injectivity and equivariant projectivity are considered, and equivariant projectivity of Galois extensions is proved under certain conditions.