On Galois Extension of Hopf Algebras

Guohua Liu,Shenglin Zhu
DOI: https://doi.org/10.1007/s11401-007-0020-7
2007-01-01
Chinese Annals of Mathematics Series B
Abstract:Let H be a cosemisimple Hopf algebra over a field k , and π : A → H be a surjective cocentral bialgebra homomorphism of bialgebras. The authors prove that if A is Galois over its coinvariants B = LH Ker π and B is a sub-Hopf algebra of A , then A is itself a Hopf algebra. This generalizes a result of Cegarra [3] on group-graded algebras.
What problem does this paper attempt to address?