在数学领域, 群G中的 (H,K) 双陪集在G上的等价关系下是一个等价类, 其中 H K 是 G 的子群, G上的等价关系定义如下

每个双陪集具有形式 HxK, 并且 G 分割为自身的 (H, K) 双陪集; 双陪集中的每个元素, 都是 H 在 G 中的右陪集 Hy 和 K 在 G 中的左陪集 zK 的组合.

一类重要的情形是 H = K, 这时有一类内积

是双陪集的一个并集. 在某些材料中, 例如有限群, 这可以作为相关的环的基.

In mathematics, given a group G and two subgroups H and K, not necessarily distinct, a double coset (or more precisely an (H,K) double coset) is a set HgK for some fixed element g in G. Equivalently, an (H,K) double coset in G is an equivalence class for the equivalence relation defined on G by