群论中,群 G {\displaystyle G} 的子群 H {\displaystyle H} 称为malnormal(建议翻译成“异正规子群”),如果对所有 x ∈ G ∖ H {\displaystyle x\in G\setminus H} , H {\displaystyle H} 和 H x = x H x − 1 {\displaystyle H^{x}=xHx^{-1}} 交于单位元。
如果 G {\displaystyle G} 除了自身和平凡子群之外,还有其他malnormal子群,则 G {\displaystyle G} 称为Frobenius群。Frobenius的一条定理指,Frobenius群 G {\displaystyle G} 若是有限群, H {\displaystyle H} 是除了 G {\displaystyle G} 和平凡子群之外的malnormal子群。设
则 N {\displaystyle N} 是 G {\displaystyle G} 的正规子群,且 G {\displaystyle G} 是 N {\displaystyle N} 和 H {\displaystyle H} 的半直积。这结果对无限群不一定成立。