Simple groups: alternating groups and groups of Lie type Abstract finite groups mathematics