Mathematics, group theory, classification of finite simple groups