Israel Journal of Mathematics

, Volume 72, Issue 1, pp 167–195

Principal homogeneous spaces for arbitrary Hopf algebras

Authors

  • Hans-Jürgen Schneider
    • Mathematisches InstitutUniversität München
Article

DOI: 10.1007/BF02764619

Cite this article as:
Schneider, H. Israel J. Math. (1990) 72: 167. doi:10.1007/BF02764619

Abstract

LetH be a Hopf algebra over a field with bijective antipode,A a rightH-comodule algebra,B the subalgebra ofH-coinvariant elements and can:ABAAH the canonical map. ThenA is a faithfully flat (as left or rightB-module) Hopf Galois extension iffA is coflat asH-comodule and can is surjective (Theorem I). This generalizes results on affine quotients of affine schemes by Oberst and Cline, Parshall and Scott to the case of non-commutative algebras. The dual of Theorem I holds and generalizes results of Gabriel on quotients of formal schemes to the case of non-cocommutative coalgebras (Theorem II). Furthermore, in the dual situation, a normal basis theorem is proved (Theorem III) generalizing results of Oberst-Schneider, Radford and Takeuchi.

Copyright information

© The Weizmann Science Press of Israel 1990