Malnormal子群

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

群論中，群的子群稱為异正规子群，如果對所有，和交於單位元。

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

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

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

參考
 Pierre de la Harpe, Claude Weber. Malnormal subgroups and Frobenius groups: basics and examples . Appendix by Denis Osin.

子群性質