设 $G$ 是一个李群, 则 $\mathfrak{g}=T_1 G$ 具有一个典范的李代数结构, 交换子如问题878中所定义. 我们将记这个群为 $\mathrm{Lie}(G)$.

每个李群同态 $\varphi:\ G_1\rightarrow G_2$ 定义了一个相应的李代数同态 $\varphi_*:\ \mathfrak{g}_1\rightarrow\mathfrak{g}_2$. 因此我们得到一个映射

\[
\mathrm{Hom}(G_1,G_2)\rightarrow\mathrm{Hom}(\mathfrak{g}_1,\mathfrak{g}_2),
\]

如果 $G_1$ 是连通的, 则这个映射是单射, 即可认为 $\mathrm{Hom}(G_1,G_2)\subset\mathrm{Hom}(\mathfrak{g}_1,\mathfrak{g}_2)$.

Remark:

1. 李群的同态 $f: G_1\rightarrow G_2$ 指 $f$ 是一个群同态, 并且是一个光滑映射. 如果 $G_1$ 和 $G_2$ 是复李群, 则要求 $f$ 是全纯的(holomorphic). 当然这个条件有点苛刻, 实的李群之间的每个连续同态都是(实)解析的(real analytic).

2.  对于李群同态 $f: G_1\rightarrow G_2$, $g: G_2\rightarrow G_3$, 则复合映射 $g\circ f: G_1\rightarrow G_3$ 显然仍是一个李群同态. 如果考虑所有的李群, 以及所有的李群同态, 则构成一个范畴(category).

3. 关于李群的同构的定义, 参见问题1956

4. 如果使用范畴的语言, 我们得到一个从李群范畴到李代数范畴的协变算子(covariant functor), 它将李群映为李代数, 且将李群同态($\varphi$)映为其在单位元处的切映射($\varphi_*$).

5. $\mathrm{Hom}(G_1,G_2)$ 和 $\mathrm{Hom}(\mathfrak{g}_1,\mathfrak{g}_2)$ 是否可成为两个群.

References:

https://en.wikipedia.org/wiki/Lie_group