Subgrupo seminormal

En matemáticas , en el campo de la teoría de grupos , un subgrupo de un grupo se denomina seminormal si existe un subgrupo tal que , y para cualquier subgrupo propio de , es un subgrupo propio de . ${\estilo de visualización A}$${\estilo de visualización G}$${\estilo de visualización B}$$Estilo de visualización AB=G$${\estilo de visualización C}$${\estilo de visualización B}$${\displaystyle AC}$${\estilo de visualización G}$

Esta definición de subgrupos seminormales se debe a Xiang Ying Su. ^{[1] [2]}

Todo subgrupo normal es seminormal. En el caso de grupos finitos, todo subgrupo cuasimenormal es seminormal.