Characterization of principal bundles: the commutative case

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.