Lie group
事實上，對複李群及任何完備域上的解析李群都能定義指數映射。