In some sense, it is best to always think of a principal bundle as a structure that “shows” how a topological space is quotiented using a group action. The base of the principal bundle will be an orbit space, and the total space the topological space, which has a canonical projection to the orbit space.
Definition
For a group
the following diagram commutes.
Furthermore,
These maps
Quick and dirty definition
Looking at the above, we could just define a principal
since the equivariance condition above defines a right action of
Notes
Since the local trivializations are equivariant with respect to the action of
is a homeomorphism.
That is, topologically, the bundle gives that
Examples
- Consider the double cover of
by
This is a principal
- For a Lie group
, and a normal subgroup , then the canonical projection map
is a principal