Lie group noun1 •Any group that is a smooth manifold and whose group operations are differentiable.Every connected Lie group is homotopically equivalent to its maximal compact subgroup. This reduces the study of the homotopy and homology of Lie groups to the compact case. — 1994 formsLie groups
