双陪集:在群论中,给定群 (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”因此字面上就是“由两个子群从左、从右共同作用形成的陪集”。