En gruppe siges at være næsten simpel , hvis den indeholder en ikke-abelsk simpel gruppe og er indeholdt i automorfigruppen i den simple gruppe. I symbolsk notation er en gruppe A næsten simpel, hvis der er en simpel gruppe S sådan, at [1] .
Automorfigruppen i en ikke-abelsk simpel gruppe er en komplet gruppe (coset-kortlægningen er en isomorfi til automorfigruppen), men en ordentlig undergruppe af den fulde automorfigruppe er ikke nødvendigvis komplet.
Ifølge Schreiers formodning , nu universelt accepteret som en konsekvens af klassificeringen af simple finite grupper , er gruppen af ydre automorfier af en finite simple gruppe en løsbar gruppe [2] . Således er en finit simpel gruppe en udvidelsesbar opløselig gruppe over en simpel gruppe.