En 1982 se consiguió terminar una clasificación de los grupos finitos simples estableciéndose que todo grupo finito simple pertenece a una de 18 familias infinitas de tales grupos, con la excepción de 26 grupos, llamados "grupos esporádicos".