何紧李群 "G" 我们可以选取它的单位元单元 "G"，它是连通的。商群 "G"/"G" 是单元的群 π("G")，它必定有限的因为 "G" 是紧致的。因此我们有了有限扩张现在所有紧致的连通李群 "G" 都有有限覆盖这里的 formula_3 是有限阿贝尔群而 formula_4 是环面和紧致的、连通的、单连通李群 "K" 的乘积:最后，所有紧致的、连通的、单连通李群 "K" 是紧致的、连通的、单连通单李群 "K" 的乘积，它们每个都同构于下列中唯一一个
进一步例子.在不承载流