Horizontal distribution of a principal connection
= Horizontal distribution of a principal connection
{title2=$H=\ker\mathcal A$}
The horizontal distribution of a <principal connection> is the smooth complement $H$ to the tangent spaces of the group orbits. A tangent vector is horizontal exactly when the connection form $\mathcal A$ annihilates it.