A semi-abelian extension of a theorem by Takeuchi
From MaRDI portal
Publication:2001386
categorical commutatorcocommutative Hopf algebrascrossed modulesinternal groupoidssemi-abelian categories
Category-theoretic methods and results in associative algebras (except as in 16D90) (16B50) 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)
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.
Recommendations
- A torsion theory in the category of cocommutative Hopf algebras
- A characterization of rings over which Abelian Hopf algebras form an Abelian category
- On some properties of the category of cocommutative Hopf algebras
- Split extension classifiers in the category of cocommutative Hopf algebras
- The category of commutative Hopf \(C^*\)-algebras
Cites work
- A correspondence between bi-ideals and sub-Hopf algebras in cocommutative Hopf algebras
- A correspondence between Hopf ideals and sub-Hopf algebras
- A note on split extensions of bialgebras
- A torsion theory in the category of cocommutative Hopf algebras
- Algebraic exponentiation in general categories
- Algebraically coherent categories
- Cat1-Hopf Algebras and Crossed Modules
- Central extensions and internal groupoids in Maltsev categories
- Central extensions in semi-abelian categories
- Centrality and normality in protomodular categories
- Centralizers in action accessible categories
- COMMUTATOR, NILPOTENCY, AND SOLVABILITY IN CATEGORIES
- Crossed modules of Hopf algebras and of associative algebras and two-dimensional holonomy
- Exact categories and categories of sheaves
- Families parametrized by coalgebras
- Higher Hopf formulae for homology via Galois theory
- scientific article; zbMATH DE number 426299 (Why is no real title available?)
- scientific article; zbMATH DE number 5119885 (Why is no real title available?)
- scientific article; zbMATH DE number 19481 (Why is no real title available?)
- scientific article; zbMATH DE number 2096926 (Why is no real title available?)
- scientific article; zbMATH DE number 2118486 (Why is no real title available?)
- scientific article; zbMATH DE number 3309240 (Why is no real title available?)
- Normal subobjects and abelian objects in protomodular categories
- Notes on Extensions of Hopf Algebras
- On corings and comodules.
- On epimorphisms and monomorphisms of Hopf algebras.
- On group theoretic properties of cocommutative Hopf algebras
- On isomorphism theorems of formal groups
- On some properties of the category of cocommutative Hopf algebras
- On the structure of Hopf algebras
- Principal homogeneous spaces for arbitrary Hopf algebras
- Probabilistically nilpotent Hopf algebras
- Semi-abelian categories
- Semi-direct products of Hopf algebras
- Solvability for semisimple Hopf algebras via integrals
- Split extension classifiers in the category of cocommutative Hopf algebras
Cited in
(31)- A characterization of rings over which Abelian Hopf algebras form an Abelian category
- Split extension classifiers in the category of cocommutative Hopf algebras
- Variations of the shifting lemma and Goursat categories
- Torsion theories and coverings of preordered groups
- Crossed modules of monoids. I: Relative categories
- Crossed squares of cocommutative Hopf algebras
- Crossed modules of monoids III. Simplicial monoids of Moore length 1
- Split extensions and actions of bialgebras and Hopf algebras
- Torsion theories and coverings of \(V\)-groups
- Facets of congruence distributivity in Goursat categories
- Crossed modules of monoids. II: Relative crossed modules
- Hall's criterion for nilpotence in semi-abelian categories
- Algebraic logoi
- A torsion theory in the category of cocommutative Hopf algebras
- On some properties of the category of cocommutative Hopf algebras
- Action representability of the category of internal groupoids
- The Zassenhaus lemma in star-regular categories
- The Moore Complex of a Simplicial Cocommutative Hopf Algebra
- An introduction to regular categories
- S-protomodularity of the category of cocommutative bialgebras
- CONDITIONAL FLATNESS, FIBERWISE LOCALIZATIONS, AND ADMISSIBLE REFLECTIONS
- A remark on the Galois-type correspondence between ideal coideals and comodule subrings of a Hopf algebroid
- Semi-abelian condition for color Hopf algebras
- Hopf braces and semi-abelian categories
- The cohomology objects of a semi-abelian variety are small
- Non-existence of fiberwise localization for crossed modules
- Homological lemmas for (non-abelian) group-like structures by diagram chasing in a self-dual context
- From abelianization to tangent categories
- Commutators and crossed modules of color Hopf algebras
- Hopf formulae for cocommutative Hopf algebras
- Coalgebraic models of -groups
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)
