The category of partial Doi-Hopf modules and functors. (Q361750): Difference between revisions
From MaRDI portal
Created a new Item |
Set profile property. |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / author | |||
Property / author: M. Dambrine / rank | |||
Normal rank | |||
Property / review text | |||
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. | |||
Property / review text: 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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Earl J. Taft / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16T05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16T15 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6199266 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Hopf algebras | |||
Property / zbMATH Keywords: Hopf algebras / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
coalgebras | |||
Property / zbMATH Keywords: coalgebras / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
right comodule algebras | |||
Property / zbMATH Keywords: right comodule algebras / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
partial coactions | |||
Property / zbMATH Keywords: partial coactions / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
partial Doi-Hopf modules | |||
Property / zbMATH Keywords: partial Doi-Hopf modules / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Maschke-type theorems | |||
Property / zbMATH Keywords: Maschke-type theorems / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Revision as of 01:04, 5 March 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