Grupo esporádico

Tipo de grupo simple finito no clasificado como Lie, cíclico o alterno

En la clasificación matemática de los grupos finitos simples , hay una serie de grupos que no encajan en ninguna familia infinita. Estos se denominan grupos esporádicos simples , grupos finitos esporádicos o simplemente grupos esporádicos .

Un grupo simple es un grupo G que no tiene ningún subgrupo normal excepto el grupo trivial y el propio G. El teorema de clasificación mencionado establece que la lista de grupos simples finitos consta de 18 familias infinitas numerables [a] más 26 excepciones que no siguen tal patrón sistemático. Estas 26 excepciones son los grupos esporádicos. El grupo de Tits a veces se considera un grupo esporádico porque no es estrictamente un grupo de tipo Lie , [1] en cuyo caso habría 27 grupos esporádicos.

El grupo de los monstruos , o gigante amistoso , es el más grande de los grupos esporádicos, y todos los otros grupos esporádicos, excepto seis, son subcocientes de él. [2]

Nombres

Cinco de los grupos esporádicos fueron descubiertos por Émile Mathieu en la década de 1860 y los otros veintiuno se encontraron entre 1965 y 1975. Se predijo la existencia de varios de estos grupos antes de que se los construyera. La mayoría de los grupos reciben el nombre de los matemáticos que predijeron su existencia por primera vez. La lista completa es: [1] [3] [4]

El diagrama muestra las relaciones de subcociente entre los 26 grupos esporádicos . Una línea de conexión significa que el grupo inferior es subcociente del superior y no hay subcociente esporádico entre ellos.
Las generaciones de Robert Griess:1º,2do,3º,Paria

Varias construcciones para estos grupos fueron compiladas por primera vez en Conway et al. (1985), incluyendo tablas de caracteres , clases de conjugación individuales y listas de subgrupos máximos , así como multiplicadores de Schur y órdenes de sus automorfismos externos . Estos también están listados en línea en Wilson et al. (1999), actualizados con sus presentaciones grupales y semipresentaciones. También se han calculado los grados de representación fiel mínima o caracteres de Brauer sobre campos de característica p ≥ 0 para todos los grupos esporádicos, y para algunos de sus grupos de cobertura. Estos se detallan en Jansen (2005).

Una excepción adicional en la clasificación de los grupos finitos simples es el grupo de Tits T , que a veces se considera de tipo Lie [5] o esporádico —es casi pero no estrictamente un grupo de tipo Lie [6] — razón por la cual en algunas fuentes el número de grupos esporádicos se da como 27, en lugar de 26. [7] [8] En algunas otras fuentes, el grupo de Tits no se considera ni esporádico ni de tipo Lie, o ambos. [9] [ cita requerida ] El grupo de Tits es el ( n = 0)-miembro 2 F 4 (2)′ de la familia infinita de grupos conmutadores 2 F 4 (2 2 n +1 )′ ; por lo tanto, en sentido estricto, no es esporádico ni de tipo Lie. Para n > 0, estos grupos finitos simples coinciden con los grupos de tipo Lie 2 F 4 (2 2 n +1 ), también conocidos como grupos Ree de tipo 2 F 4 .

El término grupo esporádico se utilizó por primera vez en Burnside (1911, p. 504), donde comenta lo siguiente sobre los grupos de Mathieu: "Estos grupos simples aparentemente esporádicos probablemente merecerían un examen más minucioso del que han recibido hasta ahora" (en ese momento, los otros grupos esporádicos aún no habían sido descubiertos).

El diagrama de la derecha se basa en Ronan (2006, p. 247). No muestra los numerosos subcocientes simples no esporádicos de los grupos esporádicos.

Organización

Familia feliz

De los 26 grupos esporádicos, 20 pueden verse dentro del grupo monstruo como subgrupos o cocientes de subgrupos ( secciones ). Estos veinte han sido llamados la familia feliz por Robert Griess , y pueden organizarse en tres generaciones. [10] [b]

Primera generación (5 grupos): los grupos de Mathieu

M n para n = 11, 12, 22, 23 y 24 son grupos de permutación transitivos múltiples en n puntos. Todos son subgrupos de M 24 , que es un grupo de permutación en 24 puntos. [11]

Segunda generación (7 grupos): la red Leech

Todos los subcocientes del grupo de automorfismos de una red en 24 dimensiones llamada red Leech : [12]

  • Co 1 es el cociente del grupo de automorfismos por su centro {±1}
  • El Co 2 es el estabilizador de un vector de tipo 2 (es decir, de longitud 2).
  • Co 3 es el estabilizador de un vector de tipo 3 (es decir, longitud 6 )
  • Suz es el grupo de automorfismos que conservan una estructura compleja (módulo su centro)
  • McL es el estabilizador de un triángulo tipo 2-2-3
  • HS es el estabilizador de un triángulo tipo 2-3-3
  • J 2 es el grupo de automorfismos que conservan una estructura cuaterniónica (módulo su centro).

Tercera generación (8 grupos): otros subgrupos del Monstruo

Consiste en subgrupos que están estrechamente relacionados con el grupo Monstruo M : [13]

  • B o F 2 tiene una doble cubierta que es el centralizador de un elemento de orden 2 en M
  • Fi 24 ′ tiene una triple cubierta que es el centralizador de un elemento de orden 3 en M (en clase de conjugación "3A")
  • Fi 23 es un subgrupo de Fi 24
  • Fi 22 tiene una doble cubierta que es un subgrupo de Fi 23
  • El producto de Th = F 3 y un grupo de orden 3 es el centralizador de un elemento de orden 3 en M (en clase de conjugación "3C")
  • El producto de HN = F 5 y un grupo de orden 5 es el centralizador de un elemento de orden 5 en M
  • El producto de He = F 7 y un grupo de orden 7 es el centralizador de un elemento de orden 7 en M .
  • Finalmente, el propio grupo Monster se considera parte de esta generación.

(Esta serie continúa más allá: el producto de M 12 y un grupo de orden 11 es el centralizador de un elemento de orden 11 en M .)

El grupo Tits , si se considera como un grupo esporádico, pertenecería a esta generación: hay un subgrupo S 4 × 2 F 4 (2)′ que normaliza un subgrupo 2C 2 de B , dando lugar a un subgrupo 2·S 4 × 2 F 4 (2)′ que normaliza un cierto subgrupo Q 8 del Monstruo. 2 F 4 (2)′ es también un subcociente del grupo de Fischer Fi 22 , y por tanto también de Fi 23 y Fi 24 ′, y del Bebé Monstruo B . 2 F 4 (2)′ es también un subcociente del grupo (paria) de Rudvalis Ru , y no tiene implicancias en grupos simples esporádicos excepto los ya mencionados.

Parias

Las seis excepciones son J 1 , J 3 , J 4 , O'N , Ru y Ly , a veces conocidos como los parias . [14] [15]

Tabla de órdenes de grupos esporádicos (con grupo de los Tits)

GrupoDescubridor[16]
Año
Generación[1] [4] [17]
Orden
[18]
Grado de fidelidad mínima del carácter Brauer
[19] [20]
( a , b , a b ) {\displaystyle (a,b,ab)}
Generadores
[20] [c] Semipresentación
a , b o ( z ) {\displaystyle \langle \langle a,b\mid o(z)\rangle \rangle }
M o F 1Pescador , Griess1973808.017.424.794.512.875.886.459.904.961.710, 757.005.754.368.000.000.000
= 2 46 ·3 20 ·5 9 ·7 6 ·11 2 · 13 3 ·17·19·23·29 ·31 ·59·71 ≈ 8 × 1053
1968832A, 3B, 29 o ( ( a b ) 4 ( a b 2 ) 2 ) = 50 {\displaystyle o{\bigl (}(ab)^{4}(ab^{2})^{2}{\bigr )}=50}
B o F 2pescador19734.154.781.481.226.426.191.177.580.544.000.000
= 2 41 ·3 13 ·5 6 ·7 2 ·11·13·17·19·23·31·47 ≈ 4 × 1033
43712C, 3A, 55 o ( ( a b ) 2 ( a b a b 2 ) 2 a b 2 ) = 23 {\displaystyle o{\bigl (}(ab)^{2}(abab^{2})^{2}ab^{2}{\bigr )}=23}
Fi 24 o F 3+pescador19711.255.205.709.190.661.721.292.800
= 2 21 ·3 16 ·5 2 ·7 3 ·11·13·17·23·29 ≈ 1 × 1024
86712A, 3E, 29 o ( ( a b ) 3 b ) = 33 {\displaystyle o{\bigl (}(ab)^{3}b{\bigr )}=33}
Fi 23pescador19714.089.470.473.293.004.800
= 2 18 ·3 13 ·5 2 ·7·11·13·17·23 ≈ 4 × 1018
7822B, 3D, 28 o ( a b b ( a b ) 14 ) = 5 {\displaystyle o{\bigl (}a^{bb}(ab)^{14}{\bigr )}=5}
Fi 22pescador197164.561.751.654.400
= 2 17 ·3 9 ·5 2 ·7·11·13 ≈ 6 × 1013
782A, 13, 11 o ( ( a b ) 2 ( a b a b 2 ) 2 a b 2 ) = 12 {\displaystyle o{\bigl (}(ab)^{2}(abab^{2})^{2}ab^{2}{\bigr )}=12}
Th o F 3Thompson197690.745.943.887.872.000
= 2 15 ·3 10 ·5 3 ·7 2 ·13·19·31 ≈ 9 × 1016
2482, 3A, 19 o ( ( a b ) 3 b ) = 21 {\displaystyle o{\bigl (}(ab)^{3}b{\bigr )}=21}
La mentiraLyon1972Paria51.765.179.004.000.000
= 2 8 ·3 7 ·5 6 ·7·11·31·37·67 ≈ 5 × 1016
24802, 5A, 14 o ( a b a b a b 2 ) = 67 {\displaystyle o{\bigl (}ababab^{2}{\bigr )}=67}
HN o F 5Harada , Norton1976273.030.912.000.000
= 2 14 ·3 6 ·5 6 ·7·11·19 ≈ 3 × 1014
1332A, 3B, 22 o ( [ a , b ] ) = 5 {\displaystyle o{\bigl (}[a,b]{\bigr )}=5}
Compañía 1Conway19692do4.157.776.806.543.360.000
= 2 21 ·3 9 ·5 4 ·7 2 ·11·13·23 ≈ 4 × 1018
2762B, 3C, 40 o ( a b ( a b a b 2 ) 2 ) = 42 {\displaystyle o{\bigl (}ab(abab^{2})^{2}{\bigr )}=42}
Co2Conway19692do42.305.421.312.000
= 2 18 ·3 6 ·5 3 ·7·11·23 ≈ 4 × 1013
232A, 5A, 28 o ( [ a , b ] ) = 4 {\displaystyle o{\bigl (}[a,b]{\bigr )}=4}
Co 3Conway19692do495.766.656.000
= 2 10 ·3 7 ·5 3 ·7·11·23 ≈ 5 × 1011
232A, 7C, 17 o ( ( u v v ) 3 ( u v ) 6 ) = 5 {\displaystyle o{\bigl (}(uvv)^{3}(uv)^{6}{\bigr )}=5} [d]
ON o O'N ( encendido o apagado)O'Nan1976Paria460.815.505.920
= 2 9 ·3 4 ·5·7 3 ·11·19·31 ≈ 5 × 1011
109442A, 4A, 11 o ( a b a b ( b 2 ( b 2 ) a b a b ) 5 ) = 5 {\displaystyle o{\bigl (}abab(b^{2}(b^{2})^{abab})^{5}{\bigr )}=5}
SuzSuzuki19692do448.345.497.600
= 2 13 ·3 7 ·5 2 ·7·11·13 ≈ 4 × 1011
1432B, 3B, 13 o ( [ a , b ] ) = 15 {\displaystyle o{\bigl (}[a,b]{\bigr )}=15}
RuRudvalis1972Paria145.926.144.000
= 2 14 ·3 3 ·5 3 ·7·13·29 ≈ 1 × 1011
3782B, 4A, 13 o ( a b a b 2 ) = 29 {\displaystyle o(abab^{2})=29}
Él o F 7Sostuvo19694.030.387.200
= 2 10 ·3 3 ·5 2 ·7 3 ·17 ≈ 4 × 109
512A, 7C, 17 o ( a b 2 a b a b 2 a b 2 ) = 10 {\displaystyle o{\bigl (}ab^{2}abab^{2}ab^{2}{\bigr )}=10}
McLMcLaughlin19692do898.128.000
= 2 7 ·3 6 ·5 3 ·7·11 ≈ 9 × 108
222A, 5A, 11 o ( ( a b ) 2 ( a b a b 2 ) 2 a b 2 ) = 7 {\displaystyle o{\bigl (}(ab)^{2}(abab^{2})^{2}ab^{2}{\bigr )}=7}
Escuela SecundariaHigman , Sims19672do44.352.000
= 2 9 ·3 2 ·5 3 ·7·11 ≈ 4 × 107
222A, 5A, 11 o ( a b a b 2 ) = 15 {\displaystyle o(abab^{2})=15}
Yo 4Janko1976Paria86,775,571,046,077,562,880
= 2 21 ·3 3 ·5·7·11 3 ·23·29·31·37·43 ≈ 9 × 1019
13332A, 4A, 37 o ( a b a b 2 ) = 10 {\displaystyle o{\bigl (}abab^{2}{\bigr )}=10}
J 3 o HJMJanko1968Paria50.232.960
= 2 7 ·3 5 ·5·17·19 ≈ 5 × 107
852A, 3A, 19 o ( [ a , b ] ) = 9 {\displaystyle o{\bigl (}[a,b]{\bigr )}=9}
J 2 o HJJanko19682do604,800
= 2 7 ·3 3 ·5 2 ·7 ≈ 6 × 105
142B, 3B, 7 o ( [ a , b ] ) = 12 {\displaystyle o{\bigl (}[a,b]{\bigr )}=12}
Yo 1Janko1965Paria175,560
= 2 3 ·3·5·7·11·19 ≈ 2 × 105
562, 3, 7 o ( a b a b 2 ) = 19 {\displaystyle o{\bigl (}abab^{2}{\bigr )}=19}
M24Matías1861244.823.040
= 2 10 ·3 3 ·5·7·11·23 ≈ 2 × 108
232B, 3A, 23 o ( a b ( a b a b 2 ) 2 a b 2 ) = 4 {\displaystyle o{\bigl (}ab(abab^{2})^{2}ab^{2}{\bigr )}=4}
M 23Matías186110.200.960
= 2 7 ·3 2 ·5·7·11·23 ≈ 1 × 107
222, 4, 23 o ( ( a b ) 2 ( a b a b 2 ) 2 a b 2 ) = 8 {\displaystyle o{\bigl (}(ab)^{2}(abab^{2})^{2}ab^{2}{\bigr )}=8}
M 22Matías1861443,520
= 2 7 ·3 2 ·5·7·11 ≈ 4 × 105
212A, 4A, 11 o ( a b a b 2 ) = 11 {\displaystyle o{\bigl (}abab^{2}{\bigr )}=11}
M 12Matías186195,040
= 2 6 ·3 3 ·5·11 ≈ 1 × 105
112B, 3B, 11 o ( [ a , b ] ) = o ( a b a b a b 2 ) = 6 {\displaystyle o{\bigl (}[a,b]{\bigr )}=o{\bigl (}ababab^{2}{\bigr )}=6}
M 11Matías18617,920
= 2 4 ·3 2 ·5·11 ≈ 8 × 103
102, 4, 11 o ( ( a b ) 2 ( a b a b 2 ) 2 a b 2 ) = 4 {\displaystyle o{\bigl (}(ab)^{2}(abab^{2})^{2}ab^{2}{\bigr )}=4}
T o 2 F 4 (2)′Tetas196417.971.200
= 2 11 ·3 3 ·5 2 ·13 ≈ 2 × 107
104 [21]2A, 3, 13 o ( [ a , b ] ) = 5 {\displaystyle o{\bigl (}[a,b]{\bigr )}=5}

Notas

  1. ^ Los grupos de orden primo, los grupos alternados de grado al menos 5, la familia infinita de grupos conmutadores 2 F 4 (2 2 n +1 )′ de grupos de tipo Lie (que contiene al grupo de Tits), y 15 familias de grupos de tipo Lie.
  2. ^ Conway et al. (1985, p. viii) organiza los 26 grupos esporádicos de la siguiente manera:
    "Los grupos simples esporádicos pueden clasificarse aproximadamente como los grupos de Mathieu, los grupos reticulares de Leech, los grupos de 3-transposición de Fischer, los otros centralizadores de Monster y la media docena de grupos extraños".
  3. ^ A continuación se enumeran las semipresentaciones de los generadores estándar de cada grupo esporádico. La mayoría de los grupos esporádicos tienen múltiples presentaciones y semipresentaciones; se enumeran los ejemplos más destacados.
  4. ^ Donde y con . u = ( b 2 ( b 2 ) a b b ) 3 {\displaystyle u=(b^{2}(b^{2})abb)^{3}} v = t ( b 2 ( b 2 ) t ) 2 {\displaystyle v=t(b^{2}(b^{2})t)^{2}} t = a b a b 3 a 2 {\displaystyle t=abab^{3}a^{2}}

Referencias

  1. ^ abc Conway y otros (1985, pág. viii)
  2. ^ Griess, Jr. (1998, pág. 146)
  3. ^ Gorenstein, Lyons y Solomon (1998, págs. 262-302)
  4. ^ por Ronan (2006, págs. 244-246)
  5. ^ Howlett, Rylands y Taylor (2001, pág. 429)
    "Esto completa la determinación de generadores de matrices para todos los grupos de tipo Lie, incluidos los grupos trenzados de Steinberg, Suzuki y Ree (y el grupo Tits)".
  6. ^ Gorenstein (1979, pág. 111)
  7. ^ Conway y col. (1985, pág. viii)
  8. ^ Hartley y Hulpke (2010, pág. 106)
    "Los grupos finitos simples son los componentes básicos de la teoría de grupos finitos. La mayoría se dividen en unas pocas familias infinitas de grupos, pero hay 26 (o 27 si se cuenta también el grupo Tits 2 F 4 (2)′ ) que estas familias infinitas no incluyen".
  9. ^ Wilson et al. (1999, Grupos esporádicos y grupos excepcionales de tipo Lie)
  10. ^ Griess, Jr. (1982, pág. 91)
  11. ^ Griess, Jr. (1998, págs. 54–79)
  12. ^ Griess, Jr. (1998, págs. 104-145)
  13. ^ Griess, Jr. (1998, págs. 146-150)
  14. ^ Griess, Jr. (1982, págs. 91-96)
  15. ^ Griess, Jr. (1998, págs.146, 150-152)
  16. ^ Susbido (2003, pág. 172)
    Tabelle 2. Die Entdeckung der sporadischen Gruppen (Tabla 2. El descubrimiento de los grupos esporádicos)
  17. ^ Sloane (1996)
  18. ^ Jansen (2005, págs. 122-123)
  19. ^ Nickerson y Wilson (2011, pág. 365)
  20. ^ de Wilson y otros (1999)
  21. ^ Lübeck (2001, pág. 2151)

Obras citadas

  • Conway, JH (1968). "Un grupo perfecto de orden 8.315.553.613.086.720.000 y los grupos simples esporádicos". Proc. Natl. Acad. Sci. USA . 61 (2): 398–400. Bibcode :1968PNAS...61..398C. doi : 10.1073/pnas.61.2.398 . MR  0237634. ​​PMC  225171 . PMID  16591697. S2CID  29358882. Zbl  0186.32401.
  • Hartley, Michael I.; Hulpke, Alexander (2010), "Polítopos derivados de grupos simples esporádicos", Contribuciones a las matemáticas discretas , 5 (2), Alberta, CA: Departamento de Matemáticas y Estadística de la Universidad de Calgary : 106−118, doi : 10.11575/cdm.v5i2.61945 , ISSN  1715-0868, MR  2791293, S2CID  40845205, Zbl  1320.51021
  • Silbido, Gerhard (2003). "Die Sporadischen Gruppen (Los grupos esporádicos)" (PDF) . Jahresber. Alemán. Matemáticas.-Verein. (Informe anual de la Asociación Alemana de Matemáticos) . 105 (4): 169-193. ISSN  0012-0456. Señor  2033760. Zbl  1042.20007.(Alemán)
  • Howlett, RB; Rylands, LJ; Taylor, DE (2001). "Generadores de matrices para grupos excepcionales de tipo Lie". Journal of Symbolic Computation . 31 (4): 429–445. doi : 10.1006/jsco.2000.0431 . MR  1823074. S2CID  14682147. Zbl  0987.20003.
  • Nickerson, SJ; Wilson, RA (2011). "Semipresentaciones para los grupos simples esporádicos". Matemáticas experimentales . 14 (3). Oxfordshire: Taylor & Francis : 359−371. doi :10.1080/10586458.2005.10128927. MR  2172713. S2CID  13100616. Zbl  1087.20025.
  • Wilson, RA (1998). "Capítulo: Atlas de representaciones de grupos esporádicos" (PDF) . El Atlas de grupos finitos: diez años después (LMS Lecture Note Series 249) . Cambridge, Reino Unido: Cambridge University Press. págs. 261–273. doi :10.1017/CBO9780511565830.024. ISBN . 9780511565830. SEÑOR  1647427. OCLC  726827806. S2CID  59394831. Zbl  0914.20016.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Sporadic_group&oldid=1253282748"