  A review of the characterization of principal bundles, through the different
properties of the action of a group and its related canonical and translation
maps, is presented. The work is divided in three stages: a topological group
acting on a topological space, a discrete group acting on a smooth manifold,
and a Lie group acting on a smooth manifold.
