Matematiikassa Lien tyyppinen ryhmä on ryhmä, joka liittyy läheisesti reduktiivisen lineaarisen algebrallisen ryhmän G rationaalipisteiden muodostamaan ryhmään G(k), missä k on kunta. Äärelliset Lien tyyppiset ryhmät käsittävät valtaosan epäkommutatiivisista äärellisistä yksinkertaisista ryhmistä. Erikoistapauksina ovat klassiset ryhmät, Chevalleyn ryhmät, Steinbergin ryhmät ja Suzukin–Reen ryhmät.
DieudonnéDieudonné, Jean A. (1971) , La géométrie des groupes classiques (3rd ed.), Berlin, New York: Springer-Verlag, , MR 0310083 ja CarterCarter, Roger W. (1989) , Simple groups of Lie type, Wiley Classics Library, New York: John Wiley & Sons, , MR 0407163 ovat perinteisiä viitteitä Lien tyyppisille ryhmille.
Klassiset ryhmät
Ensimmäinen lähestyminen tähän kysymykseen oli niin sanottujen klassisten ryhmien kuntien suhteen määritteleminen ja yksityiskohtainen opettelu. Tämän teki JordanJordan, Camille (1870), Traité des substitutions et des équations algébriques, Paris: Gauthier-Villars vuonna 1870. Näitä ryhmiä tutki L. E. Dickson ja Jean Dieudonné. Emil Artin tutki näiden ryhmien kertalukuja tarkoituksenaan luokitella samankaltaisuudet.
Klassinen ryhmä on karkeasti sanottuna erityinen lineaarinen, ortogonaalinen, symplektinen tai unitaarinen ryhmä. On olemassa useita pieniä variaatiota, jotka saadaan ottamalla johdettuja aliryhmiä tai keskeisiä tekijäryhmiä. Näistä viimeksi mainittu johtaa projektiiviseen lineaariseen ryhmään. Nämä voidaan konstruoida annetun kunnan suhteen paljolti samalla tavalla kuin ne on kostruoitu reaalilukujen suhteen. Ne vastaavan Chevalleyn ja Steinbergin ryhmiä An, Bn, Cn, Dn, 2An, 2Dn.
Chevalleyn ryhmät Lien tyyppisten ryhmien teoriaa selvensi algebrallisten ryhmien teoria ja Chevalleyn julkaisuChevalley, Claude (1955), "Sur certains groupes simples", The Tohoku Mathematical Journal. Second Series 7: 14–66, doi:10.2748/tmj/1178245104, ISSN 0040-8735, MR 0073602 Lien algebroista. Tässä artikkelissa esiteltiin Chevalleyn ryhmät. Chevalley konstruoi Chevalleyn kannan kaikille kompleksisille yksinkertaisille Lien algebroille (tai pikemminkin niiden universaaleille enveloping algebroille), joissa niitä käytetään määrittämään vastaavat algebralliset ryhmät kokonaislukujen suhteen. Erityisesti voitiin ottaa niiden alkiot mistä tahansa äärellisestä kunnasta. Lien algebroille An, Bn, Cn ja Dn tämä ontoi hyvin tunnetut klassiset ryhmät, mutta konstruktio antoi myös ryhmät, jotka liittyivät poikkeuksellisiin Lien algebroihin E6, E7, E8, F4 ja G2. Tyypin G2, jota kutsutaan myös Dicksonin ryhmäksi, oli jo ennestään konstruoinut DicksonDickson, L. E. (1905), "A new system of simple groups", Math. Ann. 60: 137–150, doi:10.1007/BF01447497 Leonard E. Dickson reported groups of type G2 samoin kuin tyypin E6Dickson, Leonard Eugene (1901), "A class of groups in an arbitrary realm connected with the configuration of the 27 lines on a cubic surface", The quarterly journal of pure and applied mathematics 33: 145–173, Reprinted in volume 5 of his collected works.
Steinbergin ryhmät Chevalleyn konstruktio ei antanut kaikkia tunnettuja klassisia ryhmiä. Se jätti pois unitaariset ryhmät ja jakautumattomat orthogonaaliset ryhmät. SteinbergSteinberg, Robert (1959), "Variations on a theme of Chevalley", Pacific Journal of Mathematics 9: 875–891, ISSN 0030-8730, MR 0109191 löysi muunnoksen Chevalleyn konstruktioon joka antoi nämä ryhmät ja kaksi uutta perhettä, 3D4 ja 2E6. Jälkimmäisen löysi suunnilleen samaan aikaan eri tavalla TitsTits, Jacques (1958), Les "formes réelles" des groupes de type E6, Séminaire Bourbaki; 10e année: 1957/1958. Textes des conférences; Exposés 152 à 168; 2e èd. corrigée, Exposé 162 15, Paris: Secrétariat math'ematique, MR 0106247. Tämä konstruktio yleistää tavallista unitaarisen ryhmän konstruktiota yleisestä lineaarisesta ryhmästä.
Unitaarinen ryhmä esiintyy seuraavasti: yleisellä lineaarisella ryhmällä kompleksilukujen suhteen on kaavioautomorfismi, joka saadaan kääntämällä Dynkinin kaavio An (jossa vastaavuus saadaan ottamalla transpoosi käänteisalkio), ja kunta-automorfismi saadaan ottamalla kompleksikonjugaatti, joka kommutoi. Unitaarinen ryhmä on näiden kahden automorfismin tulon kiintopisteiden muodostama ryhmä.
Samoin monella Chevalleyn ryhmällä on kaavioautomorfismi joka on ryhmien Dynkinin kaavioiden indusoima, ja kunta-automorfismit, jotka ovat äärellisten kuntien automorfismien indusoimia. Kuten unitaarisessa tapauksessa, Steinberg konstruoi analogisesti joukkojen perheitä ottamalla kaavion ja kunta-automorfismien tulon kiintopisteitä.
Näistä saadaan:
Unitaarisia ryhmiä 2An, kun otetaan kertalukua kaksi olevat An:n automorfismit. Orthogonaalisia ryhmiä 2Dn, kun otetaan kertalukua kaksi ovevat Dn:n automorfismit. Sarjat 2E6, kun otetaan kertalukua kaksi olevat E6:n automorfismit. Sarjat 3D4, kun otetaan kertalukua kolme olevat D4:n automorfismit.
Tyyppiä 3D4 olevilla ryhmillä ei ole analogiaa reaalilukujen kanssa, koska kompleksiluvuilla ei ole kertalukua kolme olevia automorfismeja. D4-kaavion symmetriat aiheuttaa trialiteetin.
Suzukin–Reen ryhmät SuzukiSuzuki, Michio (1960), "A new type of simple groups of finite order", Proceedings of the National Academy of Sciences of the United States of America 46: 868–870, ISSN 0027-8424, JSTOR 70960, MR 0120283 löysi uuden äärettömän joukon ryhmiä, jotka eivät näyttäneet ensisilmäyksellä liittyvän tunnettuihin algebrallisiin ryhmiin. ReeRee, Rimhak (1960), "A family of simple groups associated with the simple Lie algebra of type (G2)", Bulletin of the American Mathematical Society 66: 508–510, doi:10.1090/S0002-9904-1960-10523-X, ISSN 0002-9904, MR 0125155Ree, Rimhak (1961), "A family of simple groups associated with the simple Lie algebra of type (F4)", Bulletin of the American Mathematical Society 67: 115–116, doi:10.1090/S0002-9904-1961-10527-2, ISSN 0002-9904, MR 0125155 tiesi, että algebrallisella ryhmälla B2 oli "lisä"automorfismi karakteristikaa 2, jonka neliö oli Frobeniuksen automorfismi. Hän keksi, että jos karakteristikaa kaksi olevalla äärellisellä kunnalla on automorfismi, jonka neliö on Frobeniuksen kuvaus, niin Steinbergin konstruktion tapaisella analogisella konstruktiolla saadaan Suzukin ryhmät. Kunnat, joiden automorfismi on tällainen, ovat kertalukua ja niitä vastaat ryhmät ovat Suzukin ryhmät
2B2(22n+1) = Suz(22n+1).
Tarkkaan ottaen ryhmää Suz(2) ei lasketa Suzukin ryhmäksi koska se ei ole yksinkertainen; sen Frobeniuksen ryhmä on kertalukua 20. Reen onnistui samantapaisia perheitä
2F4(22n+1)
ja
2G2(32n+1)
-yksinkertaisia ryhmiä hyväksi käyttämällä löytää faktaa, että F4:llä ja G2:lla on lisäautomorfisti karakteristikassa kaksi ja kolme. (Karkeasti ottaen karakteristika p on sallittu, jotta Dynkin kaaviossa voidaan jättää huomioimatta sidoksen nuoli joka on kertalukua p kun otetaan kaavioautomorfismit.) Pienin tyyppiä 2F4 oleva ryhmä 2F4(2) ei ole yksinkertainen, mutta sillä on yksinkertainen aliryhmä indeksiä kaksi. Tätä kutsutaan Titsin ryhmäksi ja se on nimetty matemaatikko Jacques Titsin mukaan. Pienin tyyppiä 2G2 oleva ryhmä 2G2(3) ei ole yksinkertai, mutta sillä on normaali aliryhmä indeksiä kolme, ja se on isomorfinen ryhmät SL(2, 8) kanssa. Äärellisten yksinkertaisten ryhmien luokittelussa Reen ryhmien
2G2(32n+1)
rakenteen selvittäminen eksplisiittisesti on yksi vaikeimmista tapauksista. Nämä ryhmät olivat myös merkittävässä roolissa kun ensimmäinen moderni sporadinen ryhmä löydettiin. Niillä on involuution keskittäjä muotoa Z/2Z × PSL(2, q) missä q = 3n. Janko löysi sporadisen ryhmän J1 tutkimalla ryhmiä, joiden involuution keskittäjä on samantapainen kuin Z/2Z × PSL(2, 5).
Suzukin ryhmät ovat ainoita epäkommutatiivisia yksinkertaisia ryhmiä, joiden kertaluku on jaollinen kolmella. Niiden kertaluku on 22(2n+1)(22(2n+1) + 1)(2(2n+1) −1).
Suhteet äärellisiin yksinkertaisiin ryhmiin Lien tyyppiset äärelliset ryhmät olivat ensimmäisten tutkittujen ryhmien joukossa syklisen, symmetrisen ja alternoivan ryhmän jälkeen. PSL(2,p):n konstruoi Évariste Galois 1830-luvulla. Lien tyyppisten äärellisten ryhmien systemaattisen tutkimisen aloitti Camille Jordanin lause, jonka mukaan projektiivinen erityinen lineaarinen ryhmä PSL(2,q) on yksinkertainen kun q ≠ 2, 3. Tämä lause yleistyy korkeampiulotteisille projektiivisille ryhmille ja siitä seuraa tärkeä ääretön perhe äärellisiä yksinkertaisia ryhmiä, nimittäin PSL(2,q). Muita klassisia ryhmiä tutki Leonard Dickson 1900-luvun alussa. 1950-luvulla Claude Chevalley havaitsi, että sopivasti muotoiltuna monilla puoliyksinkertaisia Lien ryhmiä koskevilla lauseilla on analoginen algebrallisia ryhmiä koskea vastine annetussa kunnassa k. Tämä johti Chevalleyn ryhmien konstruoimiseen. Ja kuten kompaktien yksinkertaisten Lien ryhmien tapauksessa, vastaavuus tuntui olevan yhtä yksinkertaista kuin abstrakteilla ryhmillä (Titsin yksinkertaisuuslause). Vaikka 1800-luvulta asti oli tiedetty, että on olemassa muitakin yksinkertaisia ryhmiä, kuten Mathieun ryhmiä, levisi hitaasti usko, että lähes kaikki äärelliset yksinkertaiset ryhmät saadaan sopivalla laajennuksilla Chevalleyn kostruktioon, yhdessä syklisten ja alternoivien ryhmien kanssa. Edelleen poikkeustapaukset, eli sporadiset ryhmät, toteuttavat monia samoja ominaisuuksia kuin äärelliset Lien tyyppisen ryhmät ja ne voidaan konstruoida ja karekterisoida niigen geometrian avulla Titsin hengessä.
Uskomuksesta oli nyt tullut lause. Äärelliset yksinkertaiset ryhmät oli luokiteltu. Tarkastelemalla äärellisten yksinkertaisten ryhmien listaa huomataan, että äärellisen kunnan suhteen Lien tyyppiset ryhmät sisältävät kaikki äärelliset yksinkertaiset ryhmät lukuun ottamatta syklisiä ryhmiä, alternoivia ryhmiä, Titsin ryhmää ja 26:tta sporadista ryhmää.
Pienet Lien tyyppiset ryhmät Yleisesti äärellinen ryhmä, joka liittyy yhdesti yhtenäiseen yksinkertaiseen algebralliseen ryhmään on äärellisen kunnan universaali keskeinen laajennus, joten se on perfekti ja sillä on triviaali Schurin kertoja. Kuitenkin jotkut alla olevien perheiden pienimmistä ryhmistä eivät ole perfektejä tai niillä on Schurin kertoja poikkeuksellisen suuri.
Tapaukset, joissa ryhmä ei ole perfekti, sisältää seuraavat ryhmät:
A1(2) = SL(2, 2) Ratkeava kertalukua kuusi oleva ryhmä eli kolmen alkion symmetrinen ryhmä. A1(3) = SL(2, 3) Ratkeava kertalukua 24 oleva ryhmä eli neljän alkion alternoivan ryhmän 2A2(4) kaksoispeite, ratkeava). B2(2) Ei ole perfekti, mutta on isomorfinen kuuden alkion symmetrisen ryhmän kanssa, joten sen johdetun aliryhmän indeksi on kaksi ja se on kertalukua 360 oleva yksinkertainen ryhmä. 2B2(2) = Suz(2) Kertalukua 20 oleva ratkeava ryhmä, niin sanottu Frobeniuksen ryhmä. 2F4(2) Ei ole perfekti, mutta johdetun ryhmän indeksi on kaksi ja ryhmä on yksinkertainen Titsin ryhmä. G2(2) Ei ole perfekti, mutta johdetun ryhmän indeksi on kaksi ja on yksinkertainen ryhmä kertalukua 6048. 2G2(3) Ei ole perfekti, mutta johdetun ryhmän indeksi on kolme ja on yksinkertainen ryhmä kertalukua 504.
Joissain tapauksissa ryhmä on perfekti mutta sen Schurin kertoja on suurempi kuin ensinnäkemältä odottaisi. Näitä tapauksia ovat muun muassa:
A1(4) Schurin kertojalla on lisäryhmä Z/2Z, joten Schurin kertoja on yksinkertainen ryhmä kertalukua 2 vaikka odottaisi olevan 1. A1(9) Schurin kertojalla on lisäryhmä Z/3Z, joten Schurin kertoja on yksinkertainen ryhmä kertalukua 6 vaikka odottaisi olevan 2. A2(2) Schurin kertojalla on lisäryhmä Z/2Z, joten Schurin kertoja on yksinkertainen ryhmä kertalukua 2 vaikka odottaisi olevan 1. A2(4) Schurin kertojalla on lisäryhmä Z/4Z × Z/4Z, joten Schurin kertoja on yksinkertainen ryhmä kertalukua 48 vaikka odottaisi olevan 3. A3(2) Schurin kertojalla on lisäryhmä Z/2Z, joten Schurin kertoja on yksinkertainen ryhmä kertalukua 2 vaikka odottaisi olevan 1. B3(2) = C3(2) Schurin kertojalla on lisäryhmä Z/2Z, joten Schurin kertoja on yksinkertainen ryhmä kertalukua 2 vaikka odottaisi olevan 1.