Klasifikace jednoduchých konečných grup

Klasifikace jednoduchých konečných grup je matematické tvrzení. Říká, že každá jednoduchá grupa, která má konečný počet prvků, je izomorfní buď jedné z 18 sérií grup, anebo jedné z 26 sporadických grup. Všechny tyto grupy jsou explicitně popsány a věta o klasifikaci tvrdí, že žádná jiná konečná jednoduchá grupa neexistuje. Kvůli ohromné náročnosti jejího důkazu bývá v angličtině také nazývána „Enormous theorem“.

Historie důkazu

Odvození a důkaz klasifikace byl jedním z nejrozsáhlejších projektů dějin matematiky. Původně se skládal z více než 500 odborných článků a asi 15 tisíc stran tištěného textu. Účastnilo se jej mezi léty 1920 a 1980 aktivně více než 100 matematiků. Protože části důkazů byly prověřovány pomocí počítačů, existují o korektnosti důkazů u některých matematiků pořád pochybnosti. Po dokončení důkazu kolem 1980 započali vedoucí matematici oboru jako Michael Aschbacher a Daniel Gorenstein program na zjednodušení důkazu, podrobnou dokumentaci a doplnění sporných nebo chybějících částí. U toho objevili mezery, které se většinou daly bez větších komplikací doplnit. Jedna mezera však byla obtížnější a zaplněna byla až roku 2002 (Aschbacher, Smith: The classification of quasithin groups, AMS).

Seznam konečných jednoduchých grup

Nekonečné série

Cyklické grupy prvočíselného řádu

Cyklické grupy pro p prvočíslo jsou jediné příklady jednoduchých konečných Abelových grup.

Alternující grupy

Alternující grupa je grupa všech sudých permutací -prvkové množiny. Jsou jednoduché pro . Grupa má 60 prvků a je nejmenší nekomutativní jednoduchou grupou.

Grupy Lieova typu

Další jednoduché konečné grupy jsou tvořeny grupami Lieova typu, anebo též Chevalleyho grupami, což jsou lineární algebraické grupy nad nějakým konečným tělesem. Zbylých 16 sérií jednoduchých konečných grup je tvořeno grupami Lieova typu.

Pro konečné těleso řádu je speciální projektivní grupa (resp. projektivní speciální lineární grupa) definována jako grupa matic dimenze s determinantem rovným jedné nad tímto tělesem, z které se odfaktoruje její centrum (tvořeno násobky jednotkové matice). Tato série grup má tedy parametry (mocnina prvočísla) a (přirozené číslo). Všechny tyto grupy jsou jednoduché kromě a . Alternativní značení je .

Další série resp. jsou tvořeny ortogonálními maticemi dimenze resp. které mají determinant a spinorovou normu rovnu jedné. Kromě grupy jsou všechny jednoduché. Série pozůstává se symplektických grup, z kterých se odfaktoruje centrum. Všechny grupy jsou jednoduché.

Dalších 5 sérií jsou analogie výjimečných Lieových grup. Jsou však definovány nad každým konečným tělesem, proto se jedná o série, indexované číslem . Značí se a kromě jsou všechny jednoduché.

Další 4 série tvoří tzv. Steinbergovy grupy. První z nich je analogie unitárních grup. Existence a konstrukce Steinbergových grup souvisí se symetriemi Dynkinových diagramů grup a , které definují vnější automorfismy těchto grup. Steinbergovy grupy se dají definovat jako pevné body složení akce těchto vnějších automorfizmů a jistého automorfizmu příslušného tělesa. Série se značí .

Další série jsou tzv. Suzukiho grupy , jejichž existence a konstrukce souvisí s existencí speciálního automorfismu těles charakteristiky 2, jehož druhá mocnina je Frobeniův automorfizmus. Podobně se nad speciálními tělesy charakteristiky 2 a 3 definují i Reeovy grupy a .

Sporadické grupy

Pět sporadických grup bylo objeveno Mathiem kolem roku 1860 a zbylých 21 mezi léty 1965 a 1975. Většina z nich se jmenuje po matematicích, kteří jako první předpověděli jejich existenci. Seznam jmen těchto grup je:

  • Mathiovy grupy M11, M12, M22, M23, M24
  • Jankovy grupy J1, J2 resp. HJ, J3 resp. HJM, J4
  • Conwayovy grupy Co1 resp. F2−, Co2, Co3
  • Fischerovy grupy Fi22, Fi23, Fi24′ resp. F3+
  • Higman–Simsova[zdroj?] grupa HS
  • McLaughlinova grupa McL
  • Heldova grupa He resp. F7+ resp. F7
  • Rudvalisova grupa Ru
  • Suzukiho sporadická grupa Suz, resp. F3−
  • O'Nanova grupa O'N
  • Harada–Nortonova grupa HN resp. F5+ resp. F5
  • Lyonsova grupa Ly
  • Thompsonova grupa Th resp. F3|3 resp. F3
  • Malá monstergrupa (Baby Monster group) B resp. F2+ resp. F2
  • Fischer–Griessova monstergrupa M, resp. F1

Odkazy

Reference

V tomto článku byly použity překlady textů z článků Sporadic group na anglické Wikipedii, Classification of finite simple groups na anglické Wikipedii a Endliche einfache Gruppen und ihre Klassifikation na německé Wikipedii.

Externí odkazy

Zdroj