Monoidal functors and exact sequences of groups for Hopf quasigroups
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
In this paper we introduce the notion of strong Galois $H$-progenerator object for a finite cocommutative Hopf quasigroup $H$ in a symmetric monoidal category ${\sf C}$. We prove that the set of isomorphism classes of strong Galois $H$-progenerator objects is a subgroup of the group of strong Galois $H$-objects introduced in \cite{JKMS}. Moreover, we show that strong Galois $H$-progenerator objects are preserved by strong symmetric monoidal functors and, as a consequence, we obtain an exact sequence involving the associated Galois groups. Finally, to the previous functors, if $H$ is finite, we find exact sequences of Picard groups related with invertible left $H$-(quasi)modules and an isomorphism $Pic(_{{\sf H}}{\sf Mod})\cong Pic({\sf C})\oplus G(H^{\ast})$ where $Pic(_{{\sf H}}{\sf Mod})$ is the Picard group of the category of left $H$-modules, $Pic({\sf C})$ the Picard group of ${\sf C}$, and $G(H^{\ast})$ the group of group-like morphisms of the dual of $H$.
Abstract
In this paper we introduce the notion of strong Galois $H$-progenerator object for a finite cocommutative Hopf quasigroup $H$ in a symmetric monoidal category ${\sf C}$. We prove that the set of isomorphism classes of strong Galois $H$-progenerator objects is a subgroup of the group of strong Galois $H$-objects introduced in \cite{JKMS}. Moreover, we show that strong Galois $H$-progenerator objects are preserved by strong symmetric monoidal functors and, as a consequence, we obtain an exact sequence involving the associated Galois groups. Finally, to the previous functors, if $H$ is finite, we find exact sequences of Picard groups related with invertible left $H$-(quasi)modules and an isomorphism $Pic(_{{\sf H}}{\sf Mod})\cong Pic({\sf C})\oplus G(H^{\ast})$ where $Pic(_{{\sf H}}{\sf Mod})$ is the Picard group of the category of left $H$-modules, $Pic({\sf C})$ the Picard group of ${\sf C}$, and $G(H^{\ast})$ the group of group-like morphisms of the dual of $H$.
참고문헌 (18)
- J.N. Alonso Álvarez, "Projections and Yetter–Drinfel'd modules over Hopf (co)quasigroups", Journal of Algebra, 443, pp.153~199 (2015), Elsevier BV[DOI]
- J. N. Alonso Alv´arez, "A Picard-Brauer five term exact sequence for braided categories, in Rings, Hopf algebras, and Brauer groups", pp.11~41 (1996), Dekker
- Jose N. Alonso ´Alvarez, "THE GROUP OF STRONG GALOIS OBJECTS ASSOCIATED TO A COCOMMUTATIVE HOPF QUASIGROUP", 대한수학회지, 54(2), pp.517~543 (2017), 대한수학회
- Morita theorems for triples in closed categories, "J. M. Barja P´erez", Departamento de Algebra y Fundamentos, Universidad de Santiago de Compostela, ~ (1977)
- H. Bass, "Algebraic K-Theory" (1968), W. A. Benjamin, Inc
- R. H. Bruck, "Contributions to the Theory of Loops", Transactions of the American Mathematical Society, 60(2), pp.245~ (1946), JSTOR[DOI]
- T. Brzezi´nski, "Hopf modules and the fundamental theorem for Hopf (co)quasigroups", Int. Electron. J. Algebra, 8, pp.114~128 (2010)
- Tomasz Brzeziński, "Actions of Hopf Quasigroups", Communications in Algebra, 40(2), pp.681~696 (2012), Informa UK Limited[DOI]
- S. Caenepeel, "Computing the brauer-long group of a hopf algebra I: The cohomological theory", Israel Journal of Mathematics, 72(1-2), pp.38~83 (1990), Springer Science and Business Media LLC[DOI]
- S. Caenepeel, "Brauer groups, Hopf algebras and Galois theory" (1998), Kluwer Academic Publishers
- F. DeMeyer, "Separable algebras over commutative rings" (1971), Springer-Verlag
- J.M. Fernández Vilaboa, "Exact sequences for the galois group", Communications in Algebra, 24(11), pp.3413~3435 (1996), Informa UK Limited[DOI]
- C. Kassel, "Quantum Groups" (1995), Springer-Verlag
- J. Klim, "Integral theory for Hopf quasigroups", arXiv 1004.3929v2, ~ (2010)
- J. Klim, "Hopf quasigroups and the algebraic 7-sphere", Journal of Algebra, 323(11), pp.3067~3110 (2010), Elsevier BV[DOI]
- M. Purificación López López, "The Antipode and the (co)invariants of a Finite Hopf (co)quasigroup", Applied Categorical Structures, 21(3), pp.237~247 (2013), Springer Science and Business Media LLC[DOI]
- José M. Pérez-Izquierdo, "Algebras, hyperalgebras, nonassociative bialgebras and loops", Advances in Mathematics, 208(2), pp.834~876 (2007), Elsevier BV[DOI]
- José M. Pérez-Izquierdo, "An envelope for Malcev algebras", Journal of Algebra, 272(1), pp.379~393 (2004), Elsevier BV[DOI]