连通李群 $G$ 的万有覆盖 $\tilde{G}$ 上具有典型的李群结构, 使得复叠映射 $p:\tilde{G}\rightarrow G$ 是李群同态, $\ker p=\pi_1(G)$. 并且此时 $\ker p$ 是 $\tilde{G}$ 的一个离散中心子群.
连通李群 $G$ 的万有覆盖 $\tilde{G}$ 上具有典型的李群结构, 使得复叠映射 $p:\tilde{G}\rightarrow G$ 是李群同态, $\ker p=\pi_1(G)$. 并且此时 $\ker p$ 是 $\tilde{G}$ 的一个离散中心子群.