Compact Lie groups of differentiable transformations Topological transformation groups mathematics