Una teoría especialmente rica fue desarrollada para grupos finitos y culminó con la clasificación de los grupos simples finitos completada en 1983.