Muchos de clasificación de teoremas (por ejemplo, de los subgrupos finitos de $SO(3)$, o de lo finito-dimensional complejo simple álgebras de Lie, o la finitos simples grupos) tienen algunas listas infinitas, además de algunos "esporádicos" o "excepcional" de los ejemplos.
Se opinó en Qué/cuando la clasificación de los objetos simples es "sencillo" ? E. g. (desconocido) de clasificación simple de álgebras de Lie en char =2,3... que cualquier teorema sólo refleja nuestro conocimiento actual de la materia. Uno podría esperar que una mejor comprensión conduciría a una forma alternativa de dividir el conjunto de ejemplos, con menos casos esporádicos.
Están allí, en realidad, ejemplos de que esto ocurra? Quiero un caso en el que la clasificación inicial es realmente completa y correcta; es sólo nuestra humanos descripción que ha mejorado.
Dos ejemplos: (1) Como yo lo entiendo, Suzuki encontrado una familia infinita de finitos simples grupos, que consideramos ahora como twisted Chevalley grupos para $G_2$ y su exterior automorphism en carácter 3. Pero eso fue antes de la clasificación se completa. (2) la Matanza había dos sistemas de raíces que llegar a tanto ser $F_4$. Así que él no estaba del todo correcto.
