查看“︁双陪集”︁的源代码

[[分类:群论]]
{{InfoBox
|name=双陪集
|eng_name=double coset
}}
'''双陪集'''('''double coset''')指一个[[群]]的两个[[子群]]通过与群中每个元素运算得到的子集。

就像[[陪集]][[划分]]这个群一样，具有同一个子集的双陪集也划分这个子集相同代表元的陪集。

== 定义 ==

对群 <math>G</math> 及其子群 <math>H,K \leq G</math> ，记 <math>HgK = \{hgk \mid g\in G \land h\in H \land k\in K\}</math> ，称为群 <math>G</math> 中子群 <math>H,K</math> 的一个'''双陪集'''('''double coset''' of <math>H</math> in <math>G</math> )，其中元素 <math>g</math> 称为陪集 <math>gH</math> 和陪集 <math>Hg</math> 的'''陪集代表元'''('''coset representative''')。


{{群论}}