Correspondence theorems for infinite Hopf–Galois extensions

Abstract

This paper extends Hopf–Galois theory to infinite field extensions and provides a natural definition of subextensions. For separable (possibly infinite) Hopf–Galois extensions, it provides a Galois correspondence. This correspondence also is a refinement of what was known in the case of finite separable Hopf–Galois extensions.