Clasificación de los grupos simples finitos
Classification of finite simple groups
- Fecha
- 1983 (completada en 2004) · fiabilidad media
- Lugar
- Columbus, Ohio (Ohio State) y decenas de centros
- Autoría
- Más de cien autores; coordinación de Daniel Gorenstein; Aschbacher y Smith cerraron el caso cuasifino (2004); teorema de Feit-Thompson (1963) como hito
- Personas
- 👤 Michael Aschbacher1944–
- Ámbito
- Saber y símbolos
⚠️ Dato en discusión: las fuentes no coinciden.
Qué se descubrió
Todo grupo simple finito pertenece a 18 familias infinitas o es uno de 26 grupos esporádicos, el mayor de ellos el Monstruo. La prueba suma más de diez mil páginas repartidas en cientos de artículos.
El anuncio de 1983 resultó prematuro por una laguna en el caso cuasifino, cerrada en 2004; el proyecto de prueba de segunda generación sigue en marcha.
A qué dio paso
- teoría de grupos finitos moderna
- conjetura monstrous moonshine (Borcherds, 1992)
- aplicaciones en combinatoria y códigos
Se apoya en
- Teoría de Galois y teoría de grupos1832
- Teoría de los grupos de Lie1873-1874
- teorema de Feit-Thompson