Malnormal子群

请在中文版中条目中修改 “Malnormal子群” 为“异正规子群” 如何才能做？

群論中，群$G$的子群$H$稱為异正规子群，如果對所有$x\in G\setminus H$，$H$和$H^{x}=xHx^{-1}$交於單位元。

性質

• 异正规子群族的交是异正规子群（ｍａｌｎｏｒｍａｌ　ｓｕｂｇｒｏｕｐ）。
• 异正规子群性質是傳遞的，群$G$的m异正规子群的异正规子群也是$G$的异正规子群。
• 平凡子群和整個群$G$都是异正规子群。一個正規子群如果也是异正规，必定是此兩者之一。

如果$G$除了自身和平凡子群之外，還有其他异正规子群，則$G$稱為Frobenius群。Frobenius的一條定理指，Frobenius群$G$若是有限群，$H$是除了$G$和平凡子群之外的异正规子群。設

$N=\left(G\setminus \bigcup _{g\in G}H^{g}\right)\cup \{e\}$

則$N$是$G$的正規子群，且$G$是$N$和$H$的半直積。這結果對無限群不一定成立。

參考

• Pierre de la Harpe, Claude Weber. Malnormal subgroups and Frobenius groups: basics and examples （页面存档备份，存于互联网档案馆）. Appendix by Denis Osin.