Wiki. 陪集空间 [陪集空间]

对于群 $G$ 的子群 $H$, 陪集空间 $G / H$ 是 $G$ 关于 $H$ 的右乘作用的商空间.

陪集空间 $G / H$ 也可以表示为 $$ {*} \times_{\mathbf{B}G} \mathbf{B}H, $$ 也即 $G$ 关于子群 $*$ 和 $H$ 的双陪集空间.