查看“︁可置换补群”︁的源代码

[[分类:群论]]
{{InfoBox
|name=可置换补群
|eng_name=permutable complement
}}
{{非标准翻译}}
'''可置换补群'''('''permutable complement''')指[[群]]中两个子群只有平凡交集且互相运算结果覆盖整个群。
可置换补群类似于[[子群乘积]]的某种逆运算，但是对应的补群不唯一。

== 定义 ==

对群 <math>G</math> 及子群 <math>H, K</math> ，若 <math>H\cap K = \{e\}</math> 且 <math>HK=G</math> 则子群 <math>H, K</math> 称为群 <math>G</math> 的'''可置换补群'''('''permutable complement''')。