A principal $G$-bundle, where $G$ denotes any topological group, is a fiber bundle $π:P → X $together$\pi :P → X$ together with a continuous right action $P × G → P$ such that $G$ preserves the fibers of $P$ and acts freely and transitively on them.
Dag Oskar Madsen
- 3.7k
- 3
- 28
- 51