Klasifikace jednoduchých konečných grup
From Wikipedia, the free encyclopedia
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“.