A semi-abelian extension of a theorem by Takeuchi

DOI10.1016/J.JPAA.2019.01.004zbMATH Open1440.18013arXiv1808.04998OpenAlexW2951181495MaRDI QIDQ2001386FDOQ2001386

Florence Sterck, Marino Gran, Joost Vercruysse

Publication date: 3 July 2019

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Abstract: We prove that the category of cocommutative Hopf algebras over a field is a semi-abelian category. This result extends a previous special case of it, based on the Milnor-Moore theorem, where the field was assumed to have zero characteristic. Takeuchi's theorem asserting that the category of commutative and cocommutative Hopf algebras over a field is abelian immediately follows from this new observation. We also prove that the category of cocommutative Hopf algebras over a field is action representable. We make some new observations concerning the categorical commutator of normal Hopf subalgebras, and this leads to the proof that two definitions of crossed modules of cocommutative Hopf algebras are equivalent in this context.

Full work available at URL: https://arxiv.org/abs/1808.04998

zbMATH Keywords

crossed modulessemi-abelian categoriescocommutative Hopf algebrasinternal groupoidscategorical commutator

Mathematics Subject Classification ID

Hopf algebras and their applications (16T05) Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40) Abelian categories, Grothendieck categories (18E10) Nonabelian homological algebra (category-theoretic aspects) (18G50) Category-theoretic methods and results in associative algebras (except as in 16D90) (16B50)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Principal homogeneous spaces for arbitrary Hopf algebras
• A correspondence between bi-ideals and sub-Hopf algebras in cocommutative Hopf algebras
• Normal subobjects and abelian objects in protomodular categories
• Central extensions in semi-abelian categories
• A correspondence between Hopf ideals and sub-Hopf algebras
• A torsion theory in the category of cocommutative Hopf algebras
• Semi-abelian categories
• Semi-direct products of Hopf algebras
• Families parametrized by coalgebras
• On the structure of Hopf algebras
• Exact categories and categories of sheaves
• On some properties of the category of cocommutative Hopf algebras
• On epimorphisms and monomorphisms of Hopf algebras.
• Algebraic exponentiation in general categories
• Centrality and normality in protomodular categories
• COMMUTATOR, NILPOTENCY, AND SOLVABILITY IN CATEGORIES
• Higher Hopf formulae for homology via Galois theory
• Central extensions and internal groupoids in Maltsev categories
• Notes on Extensions of Hopf Algebras
• Algebraically coherent categories
• Probabilistically nilpotent Hopf algebras
• Solvability for semisimple Hopf algebras via integrals
• Split extension classifiers in the category of cocommutative Hopf algebras
• Cat¹-Hopf Algebras and Crossed Modules
• Crossed modules of Hopf algebras and of associative algebras and two-dimensional holonomy
• On group theoretic properties of cocommutative Hopf algebras
• On isomorphism theorems of formal groups
• A note on split extensions of bialgebras

Cited In (18)

• S-protomodularity of the category of cocommutative bialgebras
• Hall's criterion for nilpotence in semi-abelian categories
• Torsion theories and coverings of preordered groups
• The Zassenhaus lemma in star-regular categories
• Facets of congruence distributivity in Goursat categories
• Crossed modules of monoids. I: Relative categories
• Split extensions and actions of bialgebras and Hopf algebras
• Crossed modules of monoids III. Simplicial monoids of Moore length 1
• Crossed modules of monoids. II: Relative crossed modules
• Action representability of the category of internal groupoids
• An Introduction to Regular Categories
• Crossed squares of cocommutative Hopf algebras
• Torsion theories and coverings of \(V\)-groups
• The Moore Complex of a Simplicial Cocommutative Hopf Algebra
• CONDITIONAL FLATNESS, FIBERWISE LOCALIZATIONS, AND ADMISSIBLE REFLECTIONS
• A remark on the Galois-type correspondence between ideal coideals and comodule subrings of a Hopf algebroid
• Variations of the shifting lemma and Goursat categories
• Algebraic logoi

This page was built for publication: A semi-abelian extension of a theorem by Takeuchi

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2001386)