stringtranslate.com

Grupo simple

En matemáticas , un grupo simple es un grupo no trivial cuyos únicos subgrupos normales son el grupo trivial y el grupo mismo. Un grupo que no es simple se puede dividir en dos grupos más pequeños, es decir, un subgrupo normal no trivial y el grupo cociente correspondiente . Este proceso se puede repetir y, para grupos finitos, se llega finalmente a grupos simples determinados de forma única, mediante el teorema de Jordan-Hölder .

La clasificación completa de grupos finitos simples , completada en 2004, es un hito importante en la historia de las matemáticas.

Ejemplos

Grupos simples finitos

El grupo cíclico de clases de congruencia módulo 3 (ver aritmética modular ) es simple. Si es un subgrupo de este grupo, su orden (el número de elementos) debe ser un divisor de orden 3. Como 3 es primo, sus únicos divisores son 1 y 3, por lo que o bien es , o bien es el grupo trivial. Por otro lado, el grupo no es simple. El conjunto de clases de congruencia de 0, 4 y 8 módulo 12 es un subgrupo de orden 3, y es un subgrupo normal ya que cualquier subgrupo de un grupo abeliano es normal. De manera similar, el grupo aditivo de los números enteros no es simple; el conjunto de los números enteros pares es un subgrupo normal propio no trivial. [1]

Se puede utilizar el mismo tipo de razonamiento para cualquier grupo abeliano, para deducir que los únicos grupos abelianos simples son los grupos cíclicos de orden primo . La clasificación de los grupos simples no abelianos es mucho menos trivial. El grupo simple no abeliano más pequeño es el grupo alternado de orden 60, y todo grupo simple de orden 60 es isomorfo a . [2] El segundo grupo simple no abeliano más pequeño es el grupo lineal especial proyectivo PSL(2,7) de orden 168, y todo grupo simple de orden 168 es isomorfo a PSL(2,7). [3] [4]

Grupos simples infinitos

El grupo alterno infinito , es decir, el grupo de permutaciones de los números enteros con soporte finito par, es simple. Este grupo se puede escribir como la unión creciente de los grupos simples finitos con respecto a las incrustaciones estándar . Otra familia de ejemplos de grupos simples infinitos viene dada por , donde es un cuerpo infinito y .

Es mucho más difícil construir grupos simples infinitos finitamente generados . El primer resultado de existencia no es explícito; se debe a Graham Higman y consiste en cocientes simples del grupo de Higman . [5] Los ejemplos explícitos, que resultan ser finitamente presentados, incluyen los grupos de Thompson infinitos y . Burger y Mozes construyeron grupos simples infinitos libres de torsión finitamente presentados. [6]

Clasificación

Hasta el momento no se conoce ninguna clasificación para los grupos simples generales (infinitos), y no se espera que exista tal clasificación. Una razón para ello es la existencia de grupos monstruosos de Tarski de un número continuo para cada característica prima suficientemente grande, cada uno simple y teniendo solo el grupo cíclico de esa característica como sus subgrupos. [7]

Grupos simples finitos

Los grupos finitos simples son importantes porque en cierto sentido son los "bloques básicos" de todos los grupos finitos, de forma similar a como los números primos son los bloques básicos de los números enteros . Esto se expresa mediante el teorema de Jordan-Hölder , que establece que dos series de composición cualesquiera de un grupo dado tienen la misma longitud y los mismos factores, salvo permutación e isomorfismo . En un enorme esfuerzo colaborativo, la clasificación de los grupos finitos simples fue declarada completada en 1983 por Daniel Gorenstein , aunque surgieron algunos problemas (específicamente en la clasificación de los grupos cuasitinos , que se solucionaron en 2004).

En pocas palabras, los grupos simples finitos se clasifican como pertenecientes a una de 18 familias o como una de 26 excepciones:

Estructura de grupos finitos simples

El famoso teorema de Feit y Thompson establece que todo grupo de orden impar es resoluble . Por lo tanto, todo grupo finito simple tiene orden par a menos que sea cíclico de orden primo.

La conjetura de Schreier afirma que el grupo de automorfismos externos de cada grupo finito simple es resoluble. Esto se puede demostrar mediante el teorema de clasificación .

Historia de grupos finitos simples

Hay dos hilos en la historia de los grupos simples finitos: el descubrimiento y la construcción de grupos y familias simples específicos, que tuvo lugar desde el trabajo de Galois en la década de 1820 hasta la construcción del Monstruo en 1981; y la prueba de que esta lista estaba completa, que comenzó en el siglo XIX, tuvo lugar de manera más significativa entre 1955 y 1983 (cuando se declaró inicialmente la victoria), pero solo se acordó en general que estuviera terminada en 2004. Para 2018, su publicación se imaginó como una serie de 12 monografías , [8] la décima de las cuales se publicó en 2023. [9] Véase (Silvestri 1979) para la historia de los grupos simples del siglo XIX.

Construcción

Los grupos simples han sido estudiados al menos desde la teoría de Galois temprana , donde Évariste Galois se dio cuenta de que el hecho de que los grupos alternados en cinco o más puntos son simples (y por lo tanto no resolubles), lo que demostró en 1831, era la razón por la que no se podía resolver la ecuación de quinto grado en radicales. Galois también construyó el grupo lineal especial proyectivo de un plano sobre un cuerpo finito primo, PSL(2, p ) , y remarcó que eran simples para p no 2 o 3. Esto está contenido en su última carta a Chevalier, [10] y son el siguiente ejemplo de grupos simples finitos. [11]

Los siguientes descubrimientos fueron realizados por Camille Jordan en 1870. [12] Jordan había encontrado 4 familias de grupos matriciales simples sobre campos finitos de orden primo, que ahora se conocen como grupos clásicos .

Casi al mismo tiempo, se demostró que una familia de cinco grupos, llamados grupos de Mathieu y descritos por primera vez por Émile Léonard Mathieu en 1861 y 1873, también eran simples. Como estos cinco grupos se construyeron mediante métodos que no ofrecían infinitas posibilidades, William Burnside los denominó " esporádicos " en su libro de texto de 1897.

Más tarde, los resultados de Jordan sobre los grupos clásicos fueron generalizados a cuerpos finitos arbitrarios por Leonard Dickson , siguiendo la clasificación de álgebras de Lie simples complejas de Wilhelm Killing . Dickson también construyó grupos de excepción de tipo G 2 y E 6 , pero no de tipos F 4 , E 7 o E 8 (Wilson 2009, p. 2). En la década de 1950, el trabajo sobre grupos de tipo Lie continuó, con Claude Chevalley dando una construcción uniforme de los grupos clásicos y los grupos de tipo excepcional en un artículo de 1955. Esto omitió ciertos grupos conocidos (los grupos unitarios proyectivos), que se obtuvieron "torciendo" la construcción de Chevalley. Los grupos restantes de tipo Lie fueron producidos por Steinberg, Tits y Herzig (quienes produjeron 3 D 4 ( q ) y 2 E 6 ( q )) y por Suzuki y Ree (los grupos de Suzuki-Ree ).

Se creía que estos grupos (los grupos de tipo Lie, junto con los grupos cíclicos, los grupos alternantes y los cinco grupos excepcionales de Mathieu) constituían una lista completa, pero tras una pausa de casi un siglo desde el trabajo de Mathieu, en 1964 se descubrió el primer grupo de Janko , y los 20 grupos esporádicos restantes se descubrieron o se conjeturaron entre 1965 y 1975, culminando en 1981, cuando Robert Griess anunció que había construido el " grupo Monstruo " de Bernd Fischer . El Monstruo es el grupo simple esporádico más grande, con un orden de 808.017.424.794.512.875.886.459.904.961.710.757.005.754.368.000.000.000. El Monstruo tiene una representación fiel de 196.883 dimensiones en el álgebra de Griess de 196.884 dimensiones , lo que significa que cada elemento del Monstruo puede expresarse como una matriz de 196.883 por 196.883.

Clasificación

Se acepta generalmente que la clasificación completa comienza con el teorema de Feit-Thompson de 1962-1963 y se completa en 2004.

Poco después de la construcción del Monstruo en 1981, en 1983 Daniel Gorenstein proporcionó una prueba de más de 10.000 páginas que afirmaba haber enumerado con éxito todos los grupos finitos simples . Esto fue prematuro, ya que más tarde se descubrieron lagunas en la clasificación de los grupos cuasíticos . Las lagunas se llenaron en 2004 con una clasificación de 1300 páginas de los grupos cuasíticos y ahora la prueba se acepta generalmente como completa.

Pruebas de no simplicidad

Prueba de Sylow : Sea n un entero positivo que no sea primo y sea p un divisor primo de n . Si 1 es el único divisor de n congruente con 1 módulo p , entonces no existe un grupo simple de orden n .

Demostración: Si n es una potencia prima, entonces un grupo de orden n tiene un centro no trivial [13] y, por lo tanto, no es simple. Si n no es una potencia prima, entonces cada subgrupo de Sylow es propio y, por el Tercer Teorema de Sylow , sabemos que el número de p -subgrupos de Sylow de un grupo de orden n es igual a 1 módulo p y divide a n . Como 1 es el único número de este tipo, el p -subgrupo de Sylow es único y, por lo tanto, es normal. Como es un subgrupo propio, no identidad, el grupo no es simple.

Burnside : Un grupo finito simple no abeliano tiene un orden divisible por al menos tres primos distintos. Esto se desprende del teorema de Burnside .

Véase también

Referencias

Notas

  1. ^ Knapp (2006), pág. 170
  2. ^ Rotman (1995), pág. 226
  3. ^ Rotman (1995), pág. 281
  4. ^ Smith y Tabachnikova (2000), pág. 144
  5. ^ Higman, Graham (1951), "Un grupo simple infinito finitamente generado", Journal of the London Mathematical Society , Segunda serie, 26 (1): 61–64, doi :10.1112/jlms/s1-26.1.59, ISSN  0024-6107, MR  0038348
  6. ^ Burger, M.; Mozes, S. (2000). "Redes en productos de árboles". Publ. Math. IHÉS . 92 : 151–194. doi :10.1007/bf02698916. S2CID  55003601.
  7. ^ Otal, Javier (2004), "La clasificación de los grupos finitos simples: una visión general" (PDF) , en Boya, LJ (ed.), Problemas del Milenio , Monografías de la Real Academia de Ciencias Exactas, Físicas, Químicas y Naturales de Zaragoza, vol. 26, Real Academia de Ciencias Exactas, Físicas, Químicas y Naturales de Zaragoza
  8. ^ Solomon, Ronald (2018), "La clasificación de grupos finitos simples: un informe de progreso" (PDF) , Avisos de la American Mathematical Society , 65 (6): 646–651, MR  3792856
  9. ^ Capdeboscq, Inna; Gorenstein, Daniel; Lyons, Richard; Solomon, Ronald (2023), La clasificación de los grupos finitos simples, Número 10. Parte V. Capítulos 9-17. Teorema y teorema , Caso A , Encuestas y monografías matemáticas, vol. 40, American Mathematical Society, Providence, RI, ISBN 978-1-4704-7553-6, Sr.  4656413
  10. ^ Galois, Évariste (1846), "Lettre de Galois à M. Auguste Chevalier", Journal de Mathématiques Pures et Appliquées , XI : 408–415 , consultado el 4 de febrero de 2009 , PSL(2, p ) y la simplicidad analizada en la p . 411; acción excepcional sobre 5, 7 u 11 puntos discutidos en las páginas 411 y 412; GL( ν , p ) discutido en la p. 410{{citation}}: CS1 maint: postscript (link)
  11. ^ Wilson, Robert (31 de octubre de 2006), "Capítulo 1: Introducción", Los grupos simples finitos
  12. ^ Jordan, Camille (1870), Traité des substitutions et des équations algébriques
  13. ^ Véase la prueba en p -group , por ejemplo.

Libros de texto

Papeles