Se spune că un grup este aproape simplu dacă conține un grup simplu non-Abelian și este conținut în grupul de automorfism al acelui grup simplu. În notație simbolică, un grup A este aproape simplu dacă există un grup simplu S astfel încât [1] .
Grupul de automorfism al unui grup simplu non-Abelian este un grup complet (maptarea coset este un izomorfism la grupul de automorfism), dar un subgrup propriu al grupului de automorfism complet nu este neapărat complet.
Conform conjecturii lui Schreier , acum universal acceptată ca o consecință a clasificării grupurilor finite simple , grupul de automorfisme exterioare a unui grup finit simplu este un grup rezolvabil [2] . Astfel, un grup simplu finit este un grup solubil extensibil peste un grup simplu.