双陪集:在群论中,给定群 \(G\) 及其两个子群 \(H, K \le G\),对元素 \(g \in G\),集合
\[
HgK=\{\,h g k \mid h\in H,\ k\in K\,\}
\]
称为 \(g\) 关于 \(H\) 与 \(K\) 的双陪集。它把 \(G\) 划分为若干个互不相交的部分(双陪集分解)。
(注:与“左陪集/右陪集”相对;当 \(H=K\) 时常写作 \(HgH\)。)
/ˈdʌbəl ˈkoʊzɛt/
In group theory, we studied double cosets of a subgroup.
在群论课里,我们学习了某个子群的双陪集。
The Bruhat decomposition writes the group as a union of double cosets of a Borel subgroup.
Bruhat 分解把该群表示为一个 Borel 子群的双陪集之并。
double 意为“双重的”,coset(陪集)来自 *co-*(共同)+ set(集合)的构词方式,用来表达“与某个子群共同决定的一类元素集合”。“double coset”因此字面上就是“由两个子群从左、从右共同作用形成的陪集”。