Abstract
We show that a Galois cowreath (A, X) in a monoidal category \({\mathcal {C}}\) is Frobenius if and only if the subalgebra of coinvariants \(A^{\mathrm{co}(X)}\hookrightarrow A\) is a Frobenius algebra extension in \({\mathcal {C}}\). Then we give necessary and sufficient conditions for \(A^{\mathrm{co}(X)}\hookrightarrow A\) to be separable, and prove that a Frobenius Galois cowreath is separable if and only if it admits a total integral.
Similar content being viewed by others
References
Bulacu, D., Caenepeel, S., Torrecillas, B.: Frobenius and separable functors for the category of entwined modules over cowreaths, I: General theory. Algebra Represent. Theory (To appear)
Bulacu, D., Torrecillas, B.: Frobenius cowreaths and Morita contexts, preprint (2019) (Submitted)
Bulacu, D., Torrecillas, B.: Galois and cleft monoidal cowreaths. Appl. Mem. AMS (To appear)
Bulacu, D., Caenepeel, S.: Monoidal ring and coring structures obtained from wreaths and cowreaths. Algebra Represent. Theory 17, 1035–1082 (2014)
Bulacu, D., Torrecillas, B.: On Frobenius and separable algebra extensions in monoidal categories. Applications to wreaths. J. Noncommut. Geom. 9, 707–774 (2015)
Bulacu, D., Caenepeel, S., Torrecillas, B.: Frobenius and separable functors for the category of entwined modules over cowreaths, II: applications. J. Algebra 515, 236–277 (2018)
Bulacu, D., Caenepeel, S., Panaite, F., Van Oystaeyen, F.: Quasi-Hopf Algebras: A Monoidal Approach. Encyclopedia Mathematica Application, vol. 171. Cambridge University Press, Cambridge (2019)
Chase, S., Sweedler, M.: Hopf Algebras and Galois Theory. Springer Lecture Notes in Math., vol. 97 (1969)
Cohen, M., Fischman, D.: Semisimple extensions and elements of trace 1. J. Algebra 149, 419–437 (1992)
Cuadra, J.: A Hopf algebra having a separable Galois extension is finite dimensional. Proc. AMS 136, 3405–3408 (2008)
Dăscălescu, S., Năstăsescu, C., Raianu, Ş.: Hopf Algebras: An Introduction. Monographs Textbooks in Pure Appl. Math., vol. 235. Dekker, New York (2001)
Doi, Y.: Algebras with total integrals. Commun. Algebra 13, 2137–2159 (1985)
Greither, C., Pareigis, B.: Hopf Galois theory for separable field extensions. J. Algebra 106, 239–258 (1987)
Jacobson, N.: Basic Algebra I. W.H. Freeman and Comp. XVI, San Francisco (1974)
Kasch, F.: Projective Frobenius-Erweiterungen, Sitzungsber. Heidelberger Akad. Wiss. (Math.-Naturw. Kl.) 1961/61, 89–109 (1960)
Kassel, C.: Quantum Groups. Graduate Texts in Mathematics, vol. 155. Springer, Berlin (1995)
Kreimer, H.F., Takeuchi, M.: Hopf algebras and Galois extensions of an algebra. Indiana Univ. Math. J. 30, 675–692 (1981)
Lack, S., Street, R.: The formal theory of monads II. J. Pure Appl. Algebra 175, 243–265 (2002)
Lam, T.Y.: Lectures on modules and rings. Graduate Texts in Mathematics, vol. 189. Springer, New York (1999)
Larson, R.G., Radford, D.E.: Finite-dimensional cosemisimple Hopf algebras in characteristic 0 are semisimple. J. Algebra 117, 267–289 (1988)
Mac Lane, S.: Categories for the Working Mathematician. Graduate Texts in Mathematics, vol 5, 2nd edn. Springer, New York (1997)
Majid, S.: Foundations of Quantum Group Theory. Cambridge University Press, Cambridge (1995)
Montgomery, S.: Hopf algebras and their actions on rings. CBMS Reg. Conf. Series, vol. 82. Providence, RI (1993)
Montgomery, S.: Hopf Galois theory: A survey. Geom. Topol. Monogr. 16, 367–400 (2009)
Panaite, F., Van Oystaeyen, F.: Clifford-type algebras as cleft extensions for some pointed Hopf algebras. Commun. Algebra 28, 585–600 (2000)
Pareigis, B.: Non-additive ring and module theory V. Projective and coflat objects. Algebra Ber. 40 (1980)
Pareigis, B.: Forms of Hopf algebras and Galois theory. Top. Algebra 26, 75–93 (1990). (Banach Center Publications, Warsaw)
Schauenburg, P.: Actions on monoidal categories and generalized Hopf smash products. J. Algebra 270, 521–563 (2003)
Skowroński, A., Yamagata, K.: Frobenius Algebras I: Basic representation theory. EMS Textbooks in Mathematics 12. Zurich (2011)
Street, R.: Wreaths, mixed wreaths and twisted conditions. Tbil. Math. J. 10, 1–22 (2017)
Van Oystaeyen, F., Xu, Y., Zhang, Y.: Induction and coinductions for Hopf algebras. Sci. China 39, 246–263 (1996). (Series A)
Acknowledgements
The authors are very grateful to the referee for the careful reading of the paper and valuable suggestions and comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Work supported by the project MTM2017-86987-P “Anillos, modulos y algebra de Hopf”. The first author thanks the University of Almeria (Spain) for its warm hospitality. The authors also thank Bodo Pareigis for sharing his “diagrams” program.
Rights and permissions
About this article
Cite this article
Bulacu, D., Torrecillas, B. On Frobenius and separable Galois cowreaths. Math. Z. 297, 25–57 (2021). https://doi.org/10.1007/s00209-020-02495-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-020-02495-8