En la teoría matemática de grupos finitos , el teorema de Gorenstein-Harada , demostrado por Daniel Gorenstein y Koichiro Harada , clasifica los grupos finitos simples de rango 2 seccional como máximo 4. [1] [2] Es parte de la clasificación de grupos finitos simples . [3]
Los grupos finitos simples de la sección 2 con rango al menos 5 tienen subgrupos Sylow 2 con un subgrupo normal autocentralizado de rango al menos 3, lo que implica que tienen que ser de tipo componente o de tipo característico 2 . Por tanto, el teorema de Gorenstein-Harada divide el problema de clasificar grupos finitos simples en estos dos subcasos.
Referencias
- ^ Gorenstein, D .; Harada, Koichiro (1973). "Grupos finitos de seccionales de 2 rangos 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 y 24 de marzo de 1972 . Matemáticas de Holanda Septentrional. Estudios. vol. 7. Ámsterdam: Holanda Septentrional. págs. 57–67. ISBN 978-0-444-10451-9. SEÑOR 0352243.
- ^ Gorenstein, D.; Harada, Koichiro (1974). Grupos finitos cuyos 2 subgrupos son generados por como máximo 4 elementos. Memorias de la Sociedad Matemática Estadounidense. vol. 147. Providence, RI: Sociedad Matemática Estadounidense . ISBN 978-0-8218-1847-3. SEÑOR 0367048.
- ^ Bob Oliver (25 de enero de 2016). Sistemas de fusión reducidos en 2 grupos de rango seccional como máximo 4. Sociedad Matemática Estadounidense . págs.1, 3. ISBN 978-1-4704-1548-8.
