Теорема Горенштейна – Харады
В математической теории конечных групп теорема Горенштейна -Харады , доказанная Дэниелом Горенштейном и Коитиро Харадой , классифицирует простые конечные группы секционного 2-ранга не более 4. [ 1 ] [ 2 ] Это часть классификации конечных простых групп . [ 3 ]
Конечные простые группы раздела 2 ранга не менее 5 имеют силовские 2-подгруппы с самоцентрализующейся нормальной подгруппой ранга не менее 3, из чего следует, что они должны быть либо компонентного типа , либо типа характеристики 2 . Следовательно, теорема Горенштейна – Харады разбивает проблему классификации конечных простых групп на эти два подслучая.
Ссылки
[ редактировать ]- ^ Горенштейн, Д. ; Харада, Коитиро (1973). «Конечные группы секционных 2-ранга не выше 4». В Гагене, Терренс; Хейл, Марк П. младший; Шульт, Эрнест Э. (ред.). Конечные группы '72. Материалы Гейнсвиллской конференции по конечным группам, 23-24 марта 1972 г. Северо-Голландская математика. Исследования. Том. 7. Амстердам: Северная Голландия. стр. 57–67. ISBN 978-0-444-10451-9 . МР 0352243 .
- ^ Горенштейн, Д.; Харада, Коитиро (1974). Конечные группы, 2-подгруппы которых порождены не более чем четырьмя элементами . Мемуары Американского математического общества. Том. 147. Провиденс, Род-Айленд: Американское математическое общество . ISBN 978-0-8218-1847-3 . МР 0367048 .
- ^ Боб Оливер (25 января 2016 г.). Сокращенные системы слияния с 2-мя группами секционного ранга не более 4 . Американское математическое общество . стр. 1, 3. ISBN 978-1-4704-1548-8 .