A theory has been developed for finite groups, which culminated with the classification of finite simple groups announced in 1983.