可解 Lie 群 [可解群]

可解 Lie 群是指连通且具有可解 Lie 代数的 Lie 群.