第1个回答 2016-05-11
G,H均为李群，二者之间的一个同态：f\,:G\rightarrow H为 群 并且是 解析映射 （事实上，可以证明这里解析的条件堪需满足连续即可）。显然，两个同态砄复合是同态。所有李群的 类 加上同态构成一个 范畴。两个李群之间存在一个 双射 ，这个双射及其逆射均为同态，就称为同构。
参见李代数。
相似回答
G,H均为李群，二者之间的一个同态：f\,:G\rightarrow H为 群 并且是 解析映射 （事实上，可以证明这里解析的条件堪需满足连续即可）。显然，两个同态砄复合是同态。所有李群的 类 加上同态构成一个 范畴。两个李群之间存在一个 双射 ，这个双射及其逆射均为同态，就称为同构。
参见李代数。