群 G 的解环群胚是指群胚 BG, 它只有一个对象 ∗, 其自同构群为 BG(∗,∗)≃G.
解环群胚可以看成 G 的某种解环, 因为在范畴的范畴 Cat 或群胚范畴 Grpd 中, 有 2-拉回G∗∗BG,┌这里 G 代表其对应的离散范畴, 从而 G 可以视为 BG 的环路空间 ΩBG.
另外, G 的解环群胚 BG 也是 G 的分类空间的基本群胚.
•
解环、解环叠
术语翻译
解环群胚 • 英文 delooping groupoid