En matemáticas , el teorema de Gorenstein-Walter , demostrado por Gorenstein y Walter (1965a, 1965b, 1965c), establece que si un grupo finito G tiene un 2-subgrupo de Sylow diedro , y O ( G ) es el subgrupo normal maximal de orden impar , entonces G / O ( G ) es isomorfo a un 2-grupo , o al grupo alternado A 7 , o a un subgrupo de PΓL 2 ( q ) que contiene PSL 2 ( q ) para q una potencia prima impar. Nótese que A 5 ≈ PSL 2 (4) ≈ PSL 2 (5) y A 6 ≈ PSL 2 (9).
Referencias
- Gorenstein, D. ; Walter, John H. (1965a), "La caracterización de grupos finitos con 2-subgrupos de Sylow diedros. I", Journal of Algebra , 2 (1): 85–151, doi : 10.1016/0021-8693(65)90027-X , ISSN 0021-8693, MR 0177032
- Gorenstein, D. ; Walter, John H. (1965b), "La caracterización de grupos finitos con 2-subgrupos de Sylow diedros. II", Journal of Algebra , 2 (2): 218–270, doi : 10.1016/0021-8693(65)90019-0 , ISSN 0021-8693, MR 0177032
- Gorenstein, D. ; Walter, John H. (1965c), "La caracterización de grupos finitos con 2-subgrupos de Sylow diedros. III", Journal of Algebra , 2 (3): 354–393, doi : 10.1016/0021-8693(65)90015-3 , ISSN 0021-8693, MR 0190220
