Silnie osadzona podgrupa

W teorii grup skończonych , obszarze algebry abstrakcyjnej , silnie osadzona podgrupa skończonej grupy G jest odpowiednią podgrupą H parzystego rzędu, taką że H H g ma nieparzysty porządek, ilekroć g nie jest w H . Twierdzenie Bendera-Suzukiego , udowodnione przez Bendera (1971) rozszerzające prace Suzukiego ( 1962 , 1964 ), klasyfikuje grupy G z silnie osadzoną podgrupą H . Stwierdza, że ​​albo

  1. G ma cykliczne lub uogólnione kwaterniony Sylow 2 podgrupy, a H zawiera centralizator inwolucji
  2. lub G / O ( G ) ma podgrupę normalną o nieparzystym indeksie izomorficzną z jedną z prostych grup PSL 2 ( q ), Sz( q ) lub PSU 3 ( q ) gdzie q ≥4 jest potęgą liczby 2, a H oznacza O ( G ) N G ( S ) dla pewnej 2-podgrupy Sylowa S .

Peterfalvi (2000 , część II) zrewidował część dowodu Suzuki.

Aschbacher (1974) rozszerzył klasyfikację Bendera na grupy z właściwym 2-generowanym rdzeniem.