Finite simple groups and their classification Abstract finite groups mathematics