We study some embeddings of suitably topologized spaces of vector-valued smooth functions on topological groups, where smoothness is defined via differentiability along continuous one-parameter subgroups. As an application, we investigate the canonical correspondences between the universal enveloping algebra, the invariant local operators, and the convolution algebra of distributions supported at the unit element of any finite-dimensional Lie group, when one passes from finite-dimensional Lie groups...