习题 3, § 4

标签 0ADQ，永久不变。引用为 [Bourbaki, Tag 0ADQ]。

李群与李代数, III, 376

Google 翻译生成的粗略草稿，质量较低。术语依照术语表，但句子可能有误；之后会由仔细的译文取代。

令 G 为李群，U 为 L(G) 中 0 的开邻域， $\phi$ 为 U 到 G 的解析映射，使得 $\phi(0) = e$ 和 $T_0 \phi = \mathrm{Id}_{L(G)}$ 。以下条件是等效的： (a) $\phi$ 是指数映射； (b) 存在与 0, 1, -1 不同的 $m \in \mathbf{Z}$ ，使得 0 的邻域中有 $\phi(mx) = \phi(x)^m$ 。（如果条件(b)成立，证明 $\phi^*$ 满足定理4中的条件(iii)。）

解答

尚未写出解答。

被以下引用

无。

引用了

Theorem 4