Twierdzenie Waltera

W matematyce twierdzenie Waltera , udowodnione przez Johna H. Waltera ( 1967 , 1969 ), opisuje grupy skończone , których podgrupa Sylowa 2 jest abelowa . Bender (1970) użył metody Bendera , aby dać prostszy dowód.

Oświadczenie

Twierdzenie Waltera stwierdza, że ​​jeśli G jest grupą skończoną, której podgrupy 2-sylowe są abelowe, to G / O ( G ) ma podgrupę normalną o indeksie nieparzystym, która jest iloczynem grup, z których każda jest grupą 2- lub jedną z grupy proste PSL 2 ( q ) dla q = 2 n lub q = 3 lub 5 mod 8, albo grupa Janko J1 , albo grupy Ree 2 G 2 (3 2 n +1 ). (Tutaj O (G) oznacza unikalną największą normalną podgrupę G nieparzystego rzędu).

Oryginalne stwierdzenie twierdzenia Waltera nie do końca identyfikowało grupy Ree, a jedynie stwierdzało, że odpowiadające im grupy mają podobną strukturę podgrup jak grupy Ree. Thompson ( 1967 , 1972 , 1977 ) oraz Bombieri, Odlyzko i Hunt (1980) wykazali później, że wszystkie one są grupami Ree, a Enguehard (1986) przedstawił ujednolicony opis tego wyniku.