习题 31, § 9

令$G$和$G'$为型(N)(习题29)中的两个李群，并令$\Gamma$为$G$的离散子群，使得$G/\Gamma$是紧致的。证明每个同态$f \colon \Gamma \to G'$都可以唯一地扩展到$G$的李群态射到$G'$（首先将$f$扩展到$\Gamma$的饱和度$\bar{\Gamma}$并导出谎言的同态） $\mathbf{Q}$-代数$\log(\bar{\Gamma})$转化为$G'$的李代数，cf.习题29）。