Characterization of principal bundles: the noncommutative algebraic case

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.