Group theory, representation, characteristic zero, semi-presentation, GAP, computational group theory, finite simple group, finite quasisimple group, sporadic group, Atlas, standard generators, rational reconstruction