ホロノミー群

$u\in P$、$x=\pi(u)$ とする。$x$ を基点とする区分的に滑らかなループ $\gamma$ に対し、$P_\gamma(u)=u\,\mathrm{hol}_u(\gamma)$ で $\mathrm{hol}_u(\gamma)\in G$ を定める。その全体 $\operatorname{Hol}_u(\omega)$ を $u$ におけるホロノミー群という。