Теорема Вальтера - Walter theorem

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

Заявление

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

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

Рекомендации