Consulte el pasaje siguiente y luego responda a la pregunta posteriormente en el mismo idioma que el pasaje:  Pasaje: Los matemáticos a menudo se esfuerzan por una clasificación completa (o lista) de una noción matemática. En el contexto de grupos finitos, este objetivo conduce a matemáticas difíciles. Según el teorema de Lagrange, los grupos finitos de orden p, un número primo, son necesariamente grupos cíclicos (abelianos) Zp. Los grupos de orden p2 también se pueden demostrar que son abelianos, una declaración que no se generaliza al orden p3, como muestra el grupo no abeliano D4 del orden 8 = 23 anterior. Los sistemas de álgebra por computadora se pueden usar para enumerar grupos pequeños, pero no hay una clasificación de todos los grupos finitos. Un paso intermedio es la clasificación de grupos simples finitos. Un grupo no trivial se llama simple si sus únicos subgrupos normales son el grupo trivial y el propio grupo. El teorema Jordan-Hölder exhibe grupos simples finitos como los bloques de construcción para todos los grupos finitos. Listar todos los grupos simples finitos fue un logro importante en la teoría de grupos contemporánea. El ganador de la Medalla Fields de 1998 Richard Borcherds logró probar las monstruosas conjeturas de la luz de la luna, una relación sorprendente y profunda entre el grupo esporádico simple finito más grande - el "grupo monstruo" - y ciertas funciones modulares, una pieza del análisis complejo clásico y la teoría de cuerdas, una teoría que se supone que unifica la descripción de muchos fenómenos físicos.  Pregunta: ¿Qué fue considerado un logro importante en el teorema de Jordan-Holder?
Lista de todos los grupos simples finitos