 Infinitesimal proper Euclidean motion

The derivative at the identity of a smooth curve in $\mathrm{SE}(3)$ is a vector fieldAfter shifting the origin perpendicular to $a\ne 0$, it becomes rotation about the axis parallel to $a$ plus translation along that axis.