How to show that a group is simple

scholarworks.sjsu.edu/cgi/viewcontent.cgi?referer=https://www.google.com/&httpsredir=1&article=5051&context=etd_theses proves that the Mathieu group $M_{24}$ is simple in just 200 pages. Nice.

Examples: