On epimorphisms and monomorphisms of Hopf algebras

Abstract

We provide examples of non-surjective epimorphisms $H\to K$ in the category of Hopf algebras over a field, even with the additional requirement that $K$ have bijective antipode, by showing that the universal map from a Hopf algebra to its enveloping Hopf algebra with bijective antipode is an epimorphism in $\halg$, although it is known that it need not be surjective. Dual results are obtained for the problem of whether monomorphisms in the category of Hopf algebras are necessarily injective. We also notice that these are automatically examples of non-faithfully flat and respectively non-faithfully coflat maps of Hopf algebras.

17 pages; changed the abstract, revised introduction, shortened some proofs; to appear in J. Algebra

References in corpus (1)

• Monomorphisms of Coalgebras

Cited by in corpus (11)

• A semi-abelian extension of a theorem by Takeuchi
• Cosemisimple Hopf algebras are faithfully flat over Hopf subalgebras
• A torsion theory in the category of cocommutative Hopf algebras
• $V$-universal Hopf algebras (co)acting on $\Omega$-algebras
• Equivalences of (co)module algebra structures over Hopf algebras
• On tensor factorizations of Hopf algebras
• Monomorphisms of Coalgebras
• Categorical Constructions for Hopf Algebras
• Free Poisson Hopf algebras generated by coalgebras
• Lifting of locally initial objects and universal (co)acting Hopf algebras
• (Co)module algebras and their generalizations