A decomposition Theorem for pointed braided Hopf algebras

Abstract

A known fundamental Theorem for braided pointed Hopf algebras states that for each coideal subalgebra, that fulfills a few properties, there is an associated quotient coalgebra right module such that the braided Hopf algebra can be decomposed into a tensor product of these two. Often one considers braided Hopf algebras in a Yetter-Drinfeld category of an ordinary Hopf algebra. In this case the braided Hopf algebra and many interesting coideal subalgebras are in particular comodules. We extend the mentioned Theorem by proving that the decomposition is compatible with this comodule structure if the underlying ordinary Hopf algebra is cosemisimple.

KEYWORDS:

• Coalgebra right module
• cosemisimple Hopf algebra
• left coideal subalgebra
• half-braiding
• Yetter-Drinfeld module

2020 MATHEMATICS SUBJECT CLASSIFICATION:

• 16T05

Additional information

Funding

This work was supported by the Deutsche Forschungsgemeinschaft under grant number HE 5375/9-1.