Lie group in Polish
Lie group in Polish
grupa Liego
(topology) Any group that is a smooth manifold and whose group operations are differentiable.