标签：#李群胚

李群胚

在数学中，李群胚（）是满足如下条件的群胚：对象集合 Ob 与态射集合 Mor 都是流形，源与靶运算 :s,t : Mor \to Ob 是淹没，以及所有范畴运算（源与靶，复合，单位映射）都是光滑的。 就像群胚是有许多对象的群，一个李群胚可以想象为“有许多对象的李群推广”。恰如每个李群有一个李代数，每个李群胚有一个李代数胚。 例子 任何李群给出了具有一个对象的李群胚，反之亦然。所有李群胚理论包含李群理论。 给定任何流形 M，有一个李群胚称…