Henvis til passagen nedenfor og svar derefter på spørgsmålet på samme sprog som passagen:  Passage: Matematikere stræber ofte efter en komplet klassificering (eller liste) af et matematisk begreb. I forbindelse med endelige grupper fører dette mål til vanskelig matematik. Ifølge Lagranges sætning er endelige grupper af orden p, et primtal, nødvendigvis cykliske (abelianske) grupper Zp. Grupper af orden p2 kan også påvises at være abelianske, en påstand som ikke generaliserer til orden p3, som den ikke-abelianske gruppe D4 af orden 8 = 23 ovenfor viser. Computer algebra systemer kan bruges til at liste små grupper, men der er ingen klassificering af alle endelige grupper. Et mellemliggende trin er klassificeringen af simple grupper. En ikke-triviel gruppe kaldes simpel, hvis dens eneste normale undergrupper er den trivielle gruppe og gruppen selv. Jordan-Hölder-teoremet udviser endelige simple grupper som byggesten for alle endelige grupper. Det var en stor bedrift i den moderne gruppe teori at liste alle simple grupper. 1998 Fields Medal vinder Richard Borcherds lykkedes med at bevise de monstrøse måneskin formodninger, en overraskende og dyb relation mellem den største finite simple sporadiske gruppe - "monstergruppen" - og visse modulære funktioner, et stykke klassisk kompleks analyse, og strengteori, en teori, der formodes at forene beskrivelsen af mange fysiske fænomener.  Spørgsmål: Hvad blev betragtet som en stor bedrift i Jordan-Holders sætning?
Liste over alle simple grupper