Теорема Вальтера

В математике теорема Уолтера , доказанная Джоном Х. Уолтером  (1967, 1969), описывает конечные группы , силовская 2-подгруппа которых является абелевой . Бендер (1970) использовал метод Бендера , чтобы дать более простое доказательство.

Заявление

Теорема Уолтера утверждает, что если G — конечная группа, 2-силовские подгруппы которой абелевы, то G / O ( G ) имеет нормальную подгруппу нечетного индекса, которая является произведением групп, каждая из которых является 2-группой или одной из простых групп PSL 2 ( q ) для q = 2 n или q = 3 или 5 mod 8, или группой Янко J1 , или группами Ри 2 G 2 (3 2 n +1 ). (Здесь O(G) обозначает единственную наибольшую нормальную подгруппу группы G нечетного порядка.)

Первоначальное утверждение теоремы Уолтера не полностью идентифицировало группы Ри, а лишь утверждало, что соответствующие группы имеют схожую структуру подгрупп, как группы Ри. Томпсон (1967, 1972, 1977) и Бомбьери, Одлыжко и Хант (1980) позже показали, что все они являются группами Ри, а Энгехард (1986) дал единое изложение этого результата.

Ссылки

Взято с "https://en.wikipedia.org/w/index.php?title=Walter_theorem&oldid=1188119598"