Teorema de clasificación de grupos simples

Teorema de clasificación de grupos simples

En teoría de grupos, el teorema de clasificación de grupos simples, se diseñó para clasificar todos los grupos simples finitos. Estos grupos pueden ser vistos como los bloques que construyen todos los grupos finitos, al mismo modo que los números primos construyen los números naturales. El teorema de Jordan-Hölder es la manera más precisa de establecer este hecho acerca de los grupos finitos.

El "teorema" es principalmente una manera conveniente de describir gran cantidad de escritos matemáticos, hechos en decenas de miles de páginas de más de 500 artículos escritos por más de cien autores en revistas matemáticas, la mayoría de los cuales fueron publicadas entre 1955 y 1983, dando cabida a dudar de la demostración y la completitud de la misma, por su longitud y complejidad.

Contenido

El teorema de clasificación

El teorema es enunciado de la siguiente manera:

Todo grupo finito simple es uno de los 26 Grupo grupos simples esporádicos o (salvo isomorfismo) al menos pertenece a una de las siguientes familias de grupos

Algunos consideran los grupos Tit como unos de los 27 grupos esporádicos debido a que no son estrictamente un grupo de Lie, pero esta diferencia no tiene impacto en el teorema de clasificación.

Los primeros grupos esporádicos a ser descubiertos fueron los cinco primeros grupos de Mathieu, descubiertos en 1860 por Émile Mathieu. Los otros 21 grupos esporádicos fueron encontrados entre los años 1965 y 1975. 20 de los 26 forman tres familias (uno de los cuales es la familia de los grupos de Mathieu), y son subgrupos o grupos cociente de los grupos de Monster, el cual es el grupo esporádico con el orden más alto. Los seis grupos esporádicos restantes definen una clasificación llamada los grupos paria.

El teorema de clasificación tiene dispersas aplicaciones en muchas ramas de las matemáticas, tales preguntas acerca de la estructura de los grupos finitos (y su acción sobre otros objetos matemáticos) pueden ser reducidas preguntas sobre grupos finitos simples. Es debido al teorema de clasificación , que tales preguntas puedes aclararse examinando solo finitas configuraciones, en particular, cada una de las infinitas familias a menudo pueden ser eliminadas por un único argumento.

Dudas acerca de la prueba

Existen algunas dudas en cuanto a si la prueba, la cual se extiende por más de 500 artículos, es completa y correcta, y esas dudas se justifican en gran medida cuando se encuentran obstáculos y "huecos" en algunos argumentos. A pesar de todas los obstáculos que se han encontrado partes de la supuesta prueba permanecen inamovibles. Jean-Pierre Serre es un notable escéptico acerca de la supuesta prueba de este enorme teorema.[1]

Durante más de una década, los expertos sabían de un "hueco" (de acuerdo con Michael Aschbacher) en el teorema de clasificación no publicado por Geoff Mason de los grupos 'quasithin'. El anuncio de Daniel Gorenstein en 1983 de que los grupos finitos simples habían sido clasificados, en parte se basa en su convicción de que el caso de los grupos 'quasithin' había sido terminado. Aschbacher este retraso en los primeros años 90, en el trabajo que sigue siendo inédito. Aschbacher y Steve Smith publicaron una prueba diferente para dicho caso, una de las cuales tiene una longitud aproximada de 1300 páginas dividiéndose en dos volúmenes.

Clasificación de segunda generación

La prueba del teorema, en su forma actual, puede ser llamada de primera generación. Debido a la extrema longitud de la prueba de la primera generación de la prueba, se ha dedicado mucho esfuerzo a la búsqueda de una prueba sencilla, llamada prueba de segunda generación. Este esfuerzo, llamado "revisionismo", fue dirigido por Daniel Gorenstein.

A partir de 2005, se han publicado seis volúmenes de la segunda generación de la prueba. Se estima que la nueva prueba es de aproximadamente 5.000 páginas. Aschbacher y Smith escribieron sus dos volúmenes dedicados a el caso quasithin, de tal manera que los volúmenes pueden ser parte de la segunda generación de la prueba.

Gorenstein y sus colaboradores han dado varias razones por las que una simple prueba de ello es posible.

  • Lo más importante es que la declaración final del teorema que ahora se conoce. La simplificación de técnicas que pueden aplicarse a los grupos que sabemos conocemos como finitos y simples son adecuadas en esta generación. En cambio, los que trabajaron en la primera generación de la prueba no conocían la cantidad de grupos esporádicos, y de hecho algunos de los grupos esporádicos (por ejemplo, el grupo de Janko) fueron descubiertos probando otros casos del teorema de clasificación. Como resultado, muchas de las piezas del teorema se demuestra mediante las técnicas que eran demasiado generales.
  • Debido a que la conclusión era desconocida, la primera generación de la prueba se compone de muchos teoremas autónomos, que tratan de importantes casos especiales. Gran parte de la labor de probar estos teoremas se dedicó al análisis de numerosos casos especiales. El precio pagado en virtud de la presente estrategia, es que estos teoremas de primera generación ya no tienen pruebas cortas, sino que dependen de la clasificación completa.
  • Muchos teorema de primera generación se superponen, y así la los casos posibles en vías ineficientes. Como resultado, las familias y subfamilias de los grupos finitos simples se identificaron varias veces. La revisión de la prueba elimina las redundancias existentes en la subdivisión de los casos.
  • Actualmente los teóricos de grupos finitos tienen más experiencia en este tipo de ejercicio, y tienen nuevas técnicas a su disposición.

Clasificación de tercera generación

Algunos designan los trabajos sobre el problema de clasificación hechos por Ulrich Meierfrankenfeld, Bernd Stellmacher, Gernot Stroth, y algunos otros, como prueba de tercera generación.

Notas

  1. Entrevista con Jean-Pierre Serre

Referencias

Enlaces externos


Wikimedia foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Mira otros diccionarios:

  • Teoría de grupos — Diagrama de Cayley del grupo libre de orden dos. En álgebra abstracta, la teoría de grupos estudia las estructuras algebraicas conocidas como grupos. Sus objetivos son, entre otros, la clasificación de los grupos, sus propiedades y sus… …   Wikipedia Español

  • Grupo esporádico — En el campo matemático de la teoría de grupos, un grupo esporádico es uno de los 26 grupos excepcionales en la clasificación de los grupos finitos simples. En efecto, según el Teorema de clasificación de grupos simples, todo grupo finito simple… …   Wikipedia Español

  • Simplicidad — o sencillez puede referirse a: Lo contrario de complejidad Lo propio de lo sencillo, lo contrario de lo complicado o lo contrario de doble (desambiguación) La palabra inglesa single, que se usa para distintos contextos: Soltería Sencillo (disco)… …   Wikipedia Español

  • Grupo simple — Un grupo simple es un grupo que no tiene subgrupos normales. El teorema de clasificación de grupos finitos simples establece que todo grupo finito simple pertenece a una de varias familias de tales grupos, con la excepción de 26 grupos, llamados… …   Enciclopedia Universal

  • Historia de la matemática — Página del Compendio de cálculo por el método de completado y balanceado de Muhammad ibn Mūsā al Khwārizmī (820 d.C.) La historia de las matemáticas es el área de estudio que abarca las investigaciones sobre los orígenes de los descubrimi …   Wikipedia Español

  • Teoría de las catástrofes — La teoría de las catástrofes es un sistema dinámico que puede representar fenómenos naturales que, por sus características, no pueden ser descritos por el cálculo diferencial de manera satisfactoria. En ese sentido, es un modelo matemático de la… …   Wikipedia Español

  • Grupo finito — En matemáticas y álgebra abstracta, un grupo finito es un grupo cuyo conjunto fundamental G tiene un número de elementos finito. Durante el siglo XX, los matemáticos han investigado ciertos aspectos de la teoría de grupos finitos en gran… …   Wikipedia Español

  • Otto Hölder — Otto Ludwig Hölder (22 de diciembre de 1859 29 de agosto de 1937) fue un matemático nacido en Stuttgart, Alemania. Es famoso por muchas contribuciones incluyendo: la desigualdad de Hölder, el teorema de Jordan Hölder, el teorema que dice que todo …   Wikipedia Español

  • Prueba por exhaución — Saltar a navegación, búsqueda Prueba por exhaución, también conocida como el método de fuerza bruta, es un método de demostración matemática en el cual la proposición a ser probada se divide en un número finito de casos, y cada caso es demostrado …   Wikipedia Español

  • Ciencia — La ciencia (del latín scientia conocimiento ) es el conjunto de conocimientos sistemáticamente estructurados, y susceptibles de ser articulados unos con otros. El árbol de la ciencia. Interpretación bíblica Contenido …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”