En teoría matemática de grupos finitos , el teorema de Gorenstein-Harada , probado por Gorenstein y Harada ( 1973 , 1974 ) en un artículo de 464 páginas, [1] clasifica los grupos finitos simples de rango 2 seccional como máximo 4. Es parte de la clasificación de grupos simples finitos . [2]
Los grupos finitos simples de la sección 2 que tienen una clasificación de al menos 5, tienen subgrupos de Sylow 2 con un subgrupo normal autocentralizante de clasificación de al menos 3, lo que implica que tienen que ser del tipo de componente o del tipo de característica 2 . Por lo tanto, el teorema de Gorenstein-Harada divide el problema de clasificar grupos simples finitos en estos dos sub-casos.
Referencias
- ^ "Conjetura de ABC - La enormidad de las matemáticas" . Medium , Cami Rosso, 23 de febrero de 2017
- ^ Bob Oliver (25 de enero de 2016). Sistemas de fusión reducidos en 2 grupos de rango seccional como máximo 4 . American Mathematical Soc. págs. 1, 3. ISBN 978-1-4704-1548-8.
- Gorenstein, D .; Harada, Koichiro (1973), "Grupos finitos de sección 2-rango como máximo 4", en Gagen, Terrence; Hale, Mark P. Jr .; Shult, Ernest E. (eds.), Grupos finitos '72. Actas de la Conferencia de Gainesville sobre Grupos Finitos, 23-24 de marzo de 1972 , North-Holland Math. Studies, 7 , Amsterdam: North-Holland, págs. 57–67, ISBN 978-0-444-10451-9, MR 0352243
- Gorenstein, D .; Harada, Koichiro (1974), Grupos finitos cuyos 2 subgrupos son generados por un máximo de 4 elementos , Memoirs of the American Mathematical Society, 147 , Providence, RI: American Mathematical Society , ISBN 978-0-8218-1847-3, MR 0367048