在数学领域, 群G中的 (H,K) 双陪集在G上的等价关系下是一个等价类, 其中 H K 是 G 的子群, G上的等价关系定义如下
- x ~ y, 如果存在 h 属于 H , k 属于 K 满足 hxk = y.
每个双陪集具有形式 HxK, 并且 G 分割为自身的 (H, K) 双陪集; 双陪集中的每个元素, 都是 H 在 G 中的右陪集 Hy
和 K 在 G 中的左陪集 zK 的组合.
一类重要的情形是 H = K, 这时有一类内积
- HyH·HyH
是双陪集的一个并集. 在某些材料中, 例如有限群, 这可以作为相关的环的基.
