« 单纯百科 Simplopedia
furina
百科.
可解 Lie 群
[可解群]
SimplicialCat
可解 Lie 群是指连通且具有
可解 Lie 代数
的 Lie 群.