群论中，群formula_1的子群formula_2称为malnormal(建议翻译成“异正规子群”），如果对所有formula_3，formula_2和formula_5交于单位元。
性质.如果formula_1除了自身和平凡子群之外，还有其他malnormal子群，则formula_1称为Frobenius群。Frobenius的一条定理指，Frobenius群formula_1若是有限群，formula_2是除了formula_1和平凡子群之外的malnormal子群。设