Podgrupa półnormalna

W matematyce , w dziedzinie teorii grup , podgrupa grupy $}$ określana jako $AB = G}$ , jeśli istnieje podgrupa taka, że $displaystyle$$sol$$\$ i dla każdej właściwej podgrupy b $\ displaystyle$$B}$ , $AC}$ jest odpowiednią podgrupą ${\ displaystyle G}$ .

Ta definicja podgrup półnormalnych pochodzi od Xiang Ying Su.

Każda normalna podgrupa jest półnormalna. W przypadku grup skończonych każda podgrupa quasinormalna jest półnormalna.