Characterization of principal bundles: the noncommutative algebraic case

Abstract

We review Hopf–Galois extensions, in particular faithfully flat ones, accepted to be the noncommutative algebraic dual of a principal bundle. We also make a short digression into how quantum groups relate to Hopf—Galois extensions. Several examples are given, in order to provide a satisfactory understanding of each topic.