  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.
