Egy csoportot majdnem egyszerűnek mondunk , ha tartalmaz egy nem Abeli-féle egyszerű csoportot , és benne van ennek az egyszerű csoportnak az automorfizmus csoportjában. Szimbolikus jelölésben egy A csoport majdnem egyszerű, ha van olyan egyszerű S csoport , hogy [1] .
Egy nem Abel-féle egyszerű csoport automorfizmuscsoportja egy teljes csoport (a koszetleképezés az automorfizmuscsoport izomorfizmusa), de a teljes automorfizmuscsoport megfelelő alcsoportja nem feltétlenül teljes.
Schreier sejtése szerint , amely az egyszerű véges csoportok osztályozásának következményeként ma már általánosan elfogadott, egy véges egyszerű csoport külső automorfizmusainak csoportja egy megoldható csoport [2] . Így egy véges egyszerű csoport egy egyszerű csoport felett bővíthető, megoldható csoport.