Principal bundle (source code)

= Principal bundle
{wiki}

A principal $G$-bundle is a <fiber bundle> $\pi:P\to B$ with a free right action of a <Lie group> $G$ that is locally equivariantly isomorphic to $U\times G\to U$. Each fiber is a single $G$-orbit.