zbMATH — the first resource for mathematics

Unifying Hopf modules. (English) Zbl 0782.16025
Let \(A\) be a Hopf algebra over a field \(k\), \(B\) a right \(A\)-comodule algebra and \(D\) a right \(A\)-module coalgebra. In this setup we define the category of \((D,B)\)-Hopf modules as follows; objects are right \(D\)- comodules with right \(B\)-module structure such that \(\sum(mb)_ 0\otimes(mb)_ 1 = \sum m_ 0b_ 0\otimes m_ 1b_ 1\) for all \(m\) in \(M\) and \(b\) in \(B\). (This definition covers the usual Hopf modules.) For any group-like element \(x\) in \(D\), we put \(B_ x=\{b\in B; \sum b_ 0\otimes xb_ 1 = b\otimes x\}\) and \(M_ x = \{m\in M; \sum m_ 0\otimes m_ 1 = m\otimes x\}\). Then \(M_ x\) is a right \(B_ x\)-module. We prove that if \(B\) is a left faithfully flat \(A\)-Galois extension of the co-invariants \(B^{\text{co}A}\) and the coalgebra map \(A\to D\), \(a \mapsto xa\), is left faithfully coflat, then the functor \(M\mapsto M_ x\) is an equivalence from the category of \((D,B)\)-Hopf modules to the category of right \(B_ x\)-modules. This result covers several well known equivalences about Hopf modules.
Reviewer: Y.Doi (Fukui)

16W30 Hopf algebras (associative rings and algebras) (MSC2000)
16D90 Module categories in associative algebras
Full Text: DOI
[1] Doi, Y, On the structure of relative Hopf modules, Comm. algebra, 11, 243-255, (1983) · Zbl 0502.16009
[2] Doi, Y, Algebras with total integrals, Comm. algebra, 13, 2137-2159, (1985) · Zbl 0576.16004
[3] Doi, Y; Takeuchi, M, Hopf-Galois extensions of algebras, the miyashita-ulbrich action, and Azumaya algebras, J. algebra, 121, 488-516, (1989) · Zbl 0675.16004
[4] Masuoka, A, On Hopf algebras with cocommutative coradicals, J. algebra, 144, 451-466, (1991) · Zbl 0737.16024
[5] Nastasescu, C; Raianu, S; Van Oystaeyen, F, Modules graded by G-sets, Math. Z., 203, 605-627, (1990) · Zbl 0721.16025
[6] Schneider, H.J, Principal homogeneous spaces for arbitrary Hopf algebras, Israel J. math., 72, 167-195, (1990) · Zbl 0731.16027
[7] Schneider, H.J, Representation theory of Hopf Galois extensions, Israel J. math., 72, 167-195, (1990)
[8] Takeuchi, M, Relative Hopf modules—equivalences and freeness criteria, J. algebra, 60, 452-471, (1979) · Zbl 0492.16013
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.