The category of partial Doi-Hopf modules and functors. (Q361750): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Partial (Co)Actions of Hopf Algebras and Partial Hopf-Galois Theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Separable functors for the category of Doi-Hopf modules, applications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4865861 / rank | |||
Normal rank |
Latest revision as of 19:11, 6 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The category of partial Doi-Hopf modules and functors. |
scientific article |
Statements
The category of partial Doi-Hopf modules and functors. (English)
0 references
19 August 2013
0 references
Let \(H\) be a Hopf algebra, \(A\) an algebra and \(C\) a coalgebra, all over a field. The usual notions of \(A\) being a right \(H\)-comodule algebra and \(C\) being a right \(H\)-module coalgebra are weakened by replacing properties of unit elements of \(A\) and \(H\) in the first case, and of \(H\) in the second case, by more general technical properties. This gives the notions of partial coactions and partial actions. They generalize notions of partial group actions. Their definitions were introduced by \textit{S. Caenepeel} and \textit{K. Janssen} using notions of partial entwining structures [Commun. Algebra 36, No. 8, 2923-2946 (2008; Zbl 1168.16021)]. A partial Doi-Hopf datum is a triple \((H,A,C)\), \(A\) a partial right \(H\)-comodule algebra, \(C\) a partial right \(A\)-module coalgebra. A partial Doi-Hopf module \(M\) is a right \(A\)-module with a map of \(M\) to \(M\otimes C\) satisfying certain conditions. This generalizes the usual notion of Doi-Hopf module given by \textit{Y. Doi} [J. Algebra 153, No. 2, 373-385 (1992; Zbl 0782.16025)]. The paper under review generalizes a result of \textit{S. Caenepeel} and \textit{S. Raianu} for induced functors on Doi-Hopf modules to the case of partial Doi-Hopf modules [Abelian groups and modules. Proceedings of the Padova conference 1994. Math. Appl., Dordr. 343, 73-94 (1995; Zbl 0843.16035)]. Let \((\mathcal M(H)^C)_A\) be the category of partial Doi-Hopf modules for the partial Doi-Hopf datum \((H,A,C)\). Let \((H',A',C')\) be another partial Doi-Hopf datum. Given morphisms from \(H\) to \(H'\), \(A\) to \(A'\) and \(C\) to \(C'\), the authors define an induction functor from \((\mathcal M(H)^C)_A\) to \((\mathcal M(H')^{C'})_A'\), and prove that it has a right adjoint. They define a normalized \(A\)-integral as a map from \(C\otimes C\) to \(A\) satisfying certain conditions, and show that there is one if and only if the forgetful functor from \((\mathcal M(H)^C)_A\) to \(\mathcal M(H)_A\) is separable. Finally, a Maschke-type theorem for partial Doi-Hopf modules is proved.
0 references
Hopf algebras
0 references
coalgebras
0 references
right comodule algebras
0 references
partial coactions
0 references
partial Doi-Hopf modules
0 references
Maschke-type theorems
0 references