Äärellisten yksinkertaisten ryhmien luokittelu

Matematiikassa äärellisten yksinkertaisten ryhmien luokittelu on lause, jonka mukaan jokainen äärellinen yksinkertainen ryhmä kuuluu johonkin alla olevista neljästä pääkategoriasta. Nämä ryhmät voidaan nähdä samanlaisina perusrakennuspaloina kuin alkuluvut toimivat ykköstä suuremmille kokonaisluvuille. Jordanin–Hölderin lause on tarkempi tapa ilmaista tämä äärellisten ryhmien ominaisuus. Kuitenkin luokittelulauseella ja alkutekijöihinjaolla on merkittävä eroavaisuus, sillä tällaiset "rakennuspalikat" eivät välttämättä määritä ryhmää yksikäsitteisesti, sillä on olemassa epäisomorfisia ryhmiä, joilla on sama kompositiojono. Toisin sanoen ryhmien laajentaminen ei ole yksikäsitteistä.
Luokittelulauseen todistus on kymmeniä tuhansia sivuja pitkä ja se on julkaistu useissa sadoissa osissa eri julkaisuissa. Yli sata henkilöä on osallistunut julkaisujen kirjoittamiseen. Suurin osa julkaisuista on kirjoitettu vuosien 1955 ja 2004 välillä. Daniel Gorenstein, Richard Lyons ja Ronald Solomon ovat vähitellen julkaisemassa yksinkertaistettua todistusta.

Luokittelulauseen yleiskuva

Gorenstein kirjoitti kaksi nidettä, joissa on hahmoteltu niiden ryhmien luokittelu, joiden karakteristika on pariton tai rankki on pieni. Michael Aschbacher, Richard Lyons ja Stephen D. Smith et al. kirjoittivat kolmannen niteen, jossa on käsitelty jäljelle jäävä karakteristikan kaksi tapaus. Todistus voidaan jakaa useaan pääosaan seuraavasti:

Komponenttityyppiset ryhmät

Ryhmän sanotaan olevan komponenttityyppinen, jos jollakin involuution keskittäjällä C, ryhmällä C/O(C) on komponentti (missä O(C) on C:n ydin, paritonta kertalukua oleva maksimaalinen normaali aliryhmä). Komponenttityyppisiin äärellisiin yksinkertaisiin ryhmiin sisältyy useimmat Lien tyyppiset paritonta karakteristikaa olevat Chevalleyn ryhmät, useimmat alternoivat ryhmät ja monet sporadiset yksinkertaiset ryhmät. Tämän tapauksen suurin askel on eliminoida involuution ytimen tukos. Tämä voidaan tehdä niin sanotun B-teoreeman avulla, jonka mukaan jokainen C/O(C):n komponentti on C:n komponentin kuva.
Ideana on, että näillä ryhmillä on involuution keskittäjänä komponentti, joka on pienempi kvasiyksinkertainen ryhmä, joka voidaan olettaa tunnetuksi induktion avulla. Siten luokitellakseen nämä ryhmät otetaan kaikki keskustamaiset laajennukset jokaisesta tunnetusta äärellisestä yksinkertaisesta ryhmästä ja etsitään kaikki yksinkertaiset ryhmät, joiden involuution keskittäjä on komponenttina. Tämä antaa suuren määrän eri tapauksia tarkastettavaksi. Ei ole pelkästään 26 sporadista ryhmää ja 16 perhettä Lien tyyppisiä ja alternoivia ryhmiä, vaan myös suuri joukko ryhmiä, joiden rankki on pieni tai jotka käyttäytyvät eri tavalla tarkasteltuna pienten kuntien suhteen. Nämä on käsiteltävä erikseen. Lisäksi Lien tyyppisten ryhmien tarkastelu parittoman ja parillisen karakteristikan tapauksessa on aika erilaista.
Komponenttityyppisen ryhmän luokittelua kutsutaan myös parittomaksi tapaukseksi. Tämä perustui Aschbacherin mielikuvaan standardimuotoa olevasta kvasiyksinkertaisesta komponentista L, missä ryhmän G keskittäjällä on kertalukua kaksi oleva alkio t. Aschbacher ja muut tutkijat käsittelivät erilaisia mahdollisia komponentteja L. Parillinen eli karakteristikan 2-tyyppinen tapauksessa käsiteltiin analogisia menetelmiä, missä t korvattiin paritonta alkulukukertalukua p olevalla alkiolla. Tässä alkuperäinen "pieni" tapaus vastasi kvasiohuita ryhmiä G, nimittäin tarvittavien p-aliryhmien rankki on korkeintaan kaksi. Tämä tapaus on hyvin monimutkainen ja sen käsitteli pitkässä artikkelissaan Aschbacher ja Smith.

Ryhmät, joiden karakteristika on tyyppiä 2

Ryhmä on karakteristikan kaksi tyyppinen, jos yleistetty Fittingin aliryhmä F*(Y) jokaiselle 2-lokaalille aliryhmälle Y on 2-ryhmä. Kuten nimestä voi päätellä, nämä ovat suurin piirtein Lien tyyppiset ryhmät yli karakteristikaa kaksi olevien kuntien sekä hankalasti käsiteltäviä toisia ryhmiä, jota ovat alternoivia tai sporadisia tai paritonta karakteristikaa. Näiden luokittelu on jaettu pienten ja suurten rankkien tapauksiin, missä rankilla tarkoitetaan suurinta rankkia parittomalle Abelin aliryhmälle, joka normalisoi epätriviaalin 2-aliryhmä, joka on usein (mutta ei aina) sama kun Cartanin alialgebran rankki kun ryhmä on Lien tyyppinen ryhmä, jonka karakteristika on kaksi.
Rankkia yksi olevat ryhmät ovat ohuita ryhmiä, jotka on luokitellut Aschbacher, ja rankkia kaksi olevat ryhmät ovat pahamaineiset kvasiohuet ryhmät, jotka luokitteli Aschbacher ja Smith. Nämä vastaavat karkeasti Lien tyyppisiä ryhmiä karakteristikaa kaksi olevassa kunnassa, joiden rankki on yksi tai kaksi.
Ne ryhmät, joiden rankki on vähintään kolme jaetaan edelleen kolmeen luokkaan trikotomialauseen avulla, jonka todisti Aschbacher rankin kolme tapauksessa ja Gorenstein sekä Lyons kun rankki on vähintään neljä. Kolme luokkaa ovat ryhmän GF(2) tyyppisiä, nämä luokitteli suurimmaksi osaksi Timmesfeld, "standardityyppiset ryhmät" jollakin parittomalla alkuluvulla, nämä luokiteltiin Gilmanin–Griessin lauseen avulla ja useiden muiden työn perusteella, ja uniikin tyyppiset ryhmät, missä Aschbacherin tuloksesta seuraa, että ei ole olemassa tämän tyyppisiä yksinkertaisia ryhmiä. Yleinen korkeamman rankin tapaus käsittää enimmäkseen Lien tyyppisiä ryhmiä karakteristikaa kaksi olevien kuntien suhteen, joten rankki on vähintään kolme tai neljä.

Ryhmät, joiden p-aliryhmän rankki on vähintään kolme

Jäljelle jäävissä tapauksissa, missä käsiteltävä p-aliryhmän rankki on vähintään kolme, dikotomialause korvattiin trikotomialauseella. Tämän lauseen todistivat pääosin Gorenstein ja Lyons, mutta siihen osallistui myös Aschbacher. Todistus jakautui kolmeen päähaaraan: standardityyppiseksi kutsuttiin p-komponenttihaaraa, GF(2)-tyyppiseksi kutsuttiin enimmäkseen karakteristikan p-tyyppiseksi ja loppua "epäyhtenäistä" haaraa kutsuttiin yksikäsitteisyystapaukseksi. Standardityyppiset ryhmät luokitteli Gilman ja Griess. Tyyppiä GF(2) olevat ryhmät luokitteli useat matemaatikot, kuten Aschbacher, Timmesfeld ja Smith. Yksikäsitteisyystapauksen ratkaisi Aschbacher osoittamalla, että tätä tapausta ei toteuta yksikään äärellinen yksinkertainen ryhmä.

Yksinkertaisten ryhmien olemassaolo ja yksikäsitteisyys

Pääosa luokittelusta tuottaa karakterisoinnin kullekin yksinkertaiselle ryhmälle. Siten on välttämätöntä tarkastaa, että on olemassa yksinkertainen ryhmä kutakin karakterisointia kohti ja että tällainen ryhmä on yksikäsitteinen. Tästä seuraa suuri joukko erillisiä ongelmia. Esimerkiksi alkuperäiset todistukset olemassaololle ja yksikäsitteisyydelle vaativat noin 200 sivua, ja Thompsonin ja Bombierin tekemä Reen ryhmien tunnistaminen oli yksi vaikeimpia osia luokittelussa. Moni olemassaolotodistus ja jotkut yksikäsitteisyystodistukset sporadisille ryhmille tehtiin alun perin tietokoneella, mutta suurin osa niistä on sittemmin korvattu lyhyemmillä käsin tehdyillä todistuksilla.