Faithfully Flat Hopf Bi-Galois Extensions

Caihong Wang,Shenglin Zhu

DOI: https://doi.org/10.1080/00927872.2010.489531

2011-01-01

Communications in Algebra

Abstract:This article is devoted to faithfully flat Hopf bi-Galois extensions defined by Fischman, Montgomery, and Schneider. Let H be a Hopf algebra with bijective antipode. Given a faithfully flat right H-Galois extension A/R and a right H-comodule subalgebra C. A such that A is faithfully flat over C, we provide necessary and sufficient conditions for the existence of a Hopf algebra W so that A/C is a left W-Galois extension and A a (W, H)-bicomodule algebra. As a consequence, we prove that if R = k, there is a Hopf algebra W such that A/C is a left W-Galois extension and A a (W, H)-bicomodule algebra if and only if C is an H-submodule of A with respect to the Miyashita-Ulbrich action.