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 simples finitos . [3]
Los grupos finitos simples de sección 2 con rango al menos 5 tienen 2-subgrupos de Sylow 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 lo 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 2 rangos seccionales 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. Estudios matemáticos de Holanda Septentrional. Vol. 7. Ámsterdam: Holanda Septentrional. págs. 57–67. ISBN 978-0-444-10451-9.Sr. 0352243 .
- ^ Gorenstein, D.; Harada, Koichiro (1974). Grupos finitos cuyos 2-subgrupos son generados por un máximo de 4 elementos. Memorias de la American Mathematical Society. Vol. 147. Providence, RI: American Mathematical Society . ISBN 978-0-8218-1847-3.Sr. 0367048 .
- ^ Bob Oliver (25 de enero de 2016). Sistemas de fusión reducidos sobre dos grupos de rango seccional como máximo 4. American Mathematical Society . págs. 1, 3. ISBN 978-1-4704-1548-8.
