Grupo simple esporádico
En el área del álgebra moderna conocida como teoría de grupos , el grupo de Mathieu M 23 es un grupo simple esporádico de orden
- 2 7 · 3 2 · 5 · 7 · 11 · 23 = 10200960
- ≈ 1 × 10 7 .
Historia y propiedades
M 23 es uno de los 26 grupos esporádicos y fue introducido por Mathieu (1861, 1873). Es un grupo de permutación transitiva cuádruple sobre 23 objetos. El multiplicador de Schur y el grupo de automorfismos externos son triviales .
Milgram (2000) calculó la cohomología integral y demostró en particular que M 23 tiene la propiedad inusual de que los primeros 4 grupos de homología integral se desvanecen.
El problema inverso de Galois parece no estar resuelto para M 23 . En otras palabras, no parece que se conozca ningún polinomio en Z[ x ] que tenga M 23 como su grupo de Galois . El problema inverso de Galois está resuelto para todos los demás grupos simples esporádicos.
Construcción utilizando campos finitos
Sea F 2 11 el cuerpo finito de 2 11 elementos. Su grupo de unidades tiene orden 2 11 − 1 = 2047 = 23 · 89, por lo que tiene un subgrupo cíclico C de orden 23.
El grupo de Mathieu M 23 puede identificarse con el grupo de automorfismos lineales F 2 de F 2 11 que estabilizan C . Más precisamente, la acción de este grupo de automorfismos sobre C puede identificarse con la acción transitiva cuádruple de M 23 sobre 23 objetos.
Representaciones
M 23 es el estabilizador puntual de la acción del grupo de Mathieu M24 en 24 puntos, lo que le da una representación de permutación 4-transitiva en 23 puntos con estabilizador puntual el grupo de Mathieu M22 .
M 23 tiene 2 acciones diferentes de rango 3 sobre 253 puntos. Una es la acción sobre pares desordenados con tamaños de órbita 1+42+210 y estabilizador de punto M 21 .2, y la otra es la acción sobre heptadas con tamaños de órbita 1+112+140 y estabilizador de punto 2 4 .A 7 .
La representación integral correspondiente a la acción de permutación sobre 23 puntos se descompone en la representación trivial y en una representación de 22 dimensiones. La representación de 22 dimensiones es irreducible sobre cualquier cuerpo de característica distinta de 2 o 23.
Sobre el campo de orden 2, tiene dos representaciones de 11 dimensiones, las restricciones de las representaciones correspondientes del grupo de Mathieu M24 .
Subgrupos máximos
Hay 7 clases de conjugación de subgrupos máximos de M 23 como sigue:
- M 22 , orden 443520
- PSL(3,4):2, orden 40320, órbitas de 21 y 2
- 2 4 :A 7 , orden 40320, órbitas de 7 y 16
- Estabilizador del bloque W 23
- A 8 , orden 20160, órbitas de 8 y 15
- M 11 , orden 7920, órbitas de 11 y 12
- (2 4 :A 5 ):S 3 o M 20 :S 3 , orden 5760, órbitas de 3 y 20 (5 bloques de 4)
- Estabilizador de un punto del grupo sexteto
- 23:11, orden 253, simplemente transitivo
Clases de conjugación
Referencias
- Cameron, Peter J. (1999), Grupos de permutación , Textos para estudiantes de la London Mathematical Society, vol. 45, Cambridge University Press , ISBN 978-0-521-65378-7
- Carmichael, Robert D. (1956) [1937], Introducción a la teoría de grupos de orden finito, Nueva York: Dover Publications , ISBN 978-0-486-60300-1, Sr. 0075938
- Conway, John Horton (1971), "Tres conferencias sobre grupos excepcionales", en Powell, MB; Higman, Graham (eds.), Grupos simples finitos , Actas de una conferencia instructiva organizada por la London Mathematical Society (un instituto de estudios avanzados de la OTAN), Oxford, septiembre de 1969., Boston, MA: Academic Press , pp. 215–247, ISBN 978-0-12-563850-0, Sr. 0338152Reimpreso en Conway & Sloane (1999, 267–298)
- Conway, John Horton ; Parker, Richard A.; Norton, Simon P.; Curtis, RT; Wilson, Robert A. (1985), Atlas de grupos finitos, Oxford University Press , ISBN 978-0-19-853199-9, Sr. 0827219
- Conway, John Horton ; Sloane, Neil JA (1999), Empaquetamientos, celosías y grupos de esferas, Grundlehren der Mathematischen Wissenschaften, vol. 290 (3.ª ed.), Berlín, Nueva York: Springer-Verlag , doi :10.1007/978-1-4757-2016-7, ISBN 978-0-387-98585-5, Sr. 0920369
- Cuypers, Hans, Los grupos de Mathieu y sus geometrías (PDF)
- Dixon, John D.; Mortimer, Brian (1996), Grupos de permutación , Textos de posgrado en matemáticas, vol. 163, Berlín, Nueva York: Springer-Verlag , doi :10.1007/978-1-4612-0731-3, ISBN 978-0-387-94599-6, Sr. 1409812
- Griess, Robert L. Jr. (1998), Doce grupos esporádicos , Springer Monographs in Mathematics, Berlín, Nueva York: Springer-Verlag , doi :10.1007/978-3-662-03516-0, ISBN 978-3-540-62778-4, Sr. 1707296
- Mathieu, Émile (1861), "Mémoire sur l'étude des fonctions de plusieurs quantités, sur la manière de les ex et sur les substitutions qui les laissent invariables", Journal de Mathématiques Pures et Appliquées , 6 : 241–323
- Mathieu, Émile (1873), "Sur la fonction cinq fois transitive de 24 quantités", Journal de Mathématiques Pures et Appliquées (en francés), 18 : 25–46, JFM 05.0088.01
- Milgram, R. James (2000), "La cohomología del grupo de Mathieu M₂₃", Journal of Group Theory , 3 (1): 7–26, doi :10.1515/jgth.2000.008, ISSN 1433-5883, MR 1736514
- Thompson, Thomas M. (1983), Desde códigos de corrección de errores hasta empaquetamientos de esferas y grupos simples, Carus Mathematical Monographs, vol. 21, Mathematical Association of America , ISBN 978-0-88385-023-7, Sr. 0749038
- Witt, Ernst (1938a), "über Steinersche Systeme", Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg , 12 : 265–275, doi :10.1007/BF02948948, ISSN 0025-5858, S2CID 123106337
- Witt, Ernst (1938b), "Die 5-fach transitiven Gruppen von Mathieu", Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg , 12 : 256–264, doi :10.1007/BF02948947, S2CID 123658601
Enlaces externos
- MathWorld: Grupos de Mathieu
- Atlas de representaciones de grupos finitos: M23