Groep van het Lie-type

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken

In de groepentheorie, een deelgebied van de wiskunde, is een groep van het Lie-type G(k) een (niet noodzakelijkerwijs eindige) groep van de rationale punten van een reductieve lineaire algebraïsche groep G met waarden in het veld k. Eindige groepen van het Lie-type vormen het leeuwendeel van de niet-abelse eindige enkelvoudige groepen. Bijzondere gevallen zijn onder meer de klassieke groepen, de Chevalley-groepen, de Steinberg-groepen en de Suzuki-Ree groepen

Klassieke groepen[bewerken]

1rightarrow blue.svg Zie Klassieke groep voor het hoofdartikel over dit onderwerp.

Een eerste benadering van deze vraag was de definitie en gedetailleerde studie van de zogenaamde klassieke groepen over eindige en andere velden. Vanaf de tijd van L.E. Dickson tot het boek van Jean Dieudonné werd er veel onderzoek op dit terrein gedaan. Emil Artin onderzocht bijvoorbeeld de orden van dergelijke groepen, dit met het oog op de classificatie van gevallen van coïncidentie.

Een klassieke groep is, ruwweg gesproken, een speciale lineaire-, orthogonale-, symplectische- of unitaire groep. Er zijn verschillende kleine variaties in deze. Dezen worden gegeven door het nemen van afgeleide deelgroepen van quotienting out door het centrum. Ze kunnen worden geconstrueerd over eindige velden (of enige ander veld) op vrijwel dezelfde manier, waarop ze over de reële getallen worden geconstrueerd. Zij corresponderen met de reeksen An, Bn, Cn, Dn, 2An, 2Dn van Chevalley- en Steinberg-groepen.

Chevalley-groepen[bewerken]

De theorie werd in het midden van de jaren 1950 verhelderd door de theorie van de algebraïsche groepen en het werk van Claude Chevalley over Lie-algebra's. Als gevolg hiervan werd het concept van een Chevalley-groep geïsoleerd. Chevalley construeerde een Chevalley-basis (een soort van integrale vorm) voor al de complexe enkelvoudige Lie-algebra's (of beter gezegd van hun universeel omhullende algebra's), die kunnen worden gebruikt om de corresponderende bijbehorende algebraïsche groepen over de gehele getallen te definiëren. In het bijzonder zou hij hun punten kunnen nemen met waarden in enig eindig veld. Voor de Lie-algebra's An, Bn, Cn, Dn gaf dit bekende klassieke groepen, maar zijn constructie gaf ook groepen die geassocieerd zijn met de uitzonderlijke Lie-algebra's E6, E7, E8, F4, en G2. (Sommige van deze groepen waren al eerder geconstrueerd door Dickson.)

Steinberg-groepen[bewerken]

De constructie van Chevalley gaf niet alle van de bekende klassieke groepen: zij liet de unitaire groepen en de niet-gesplitste orthogonale groepen weg. Steinberg vond een wijziging in de bouw van de constructie van Chevalley, die deze missende groepen pluse een paar nieuwe families van groepen gaf. Deze constructie veralgemeende de gebruikelijke constructie van de unitaire groep uit de algemene lineaire groep.

De unitaire groep ontstaat als volgt: de algemene lineaire groep over de complexe getallen heeft een diagramautomorfisme dat wordt gegeven door het omkeren van de Dynkin-diagram A_n om te keren (wat overeenkomt met het nemen van de getransponeerde inverse), en een veldautomorfisme, dat wordt gegeven door de complex geconjugeerde te nemen, die commuteren. De unitaire groep is de groep van vaste punten van het product van deze twee automorfismen.

Op dezelfde manier hebben veel Chevalley-groepen diagramautomorfismen die zijn geïnduceerd door automorfismen van hun Dynkin-diagrammen, en veldautomorfismen geïnduceerd door automorfismen van een eindig veld. Analoog aan het unitaire geval construeerde Steinberg families van groepen door vaste punten van een product van een diagram en een veldautomorfisme.

Deze gaven:

  • De unitaire groepen 2An van het orde 2 automorfisme van An;
  • Verder orthogonale groepen 2Dn van het orde 2 automorfisme van Dn;
  • De nieuwe reeksen 2E6, van het orde 2 automorfisme van E6;
  • De nieuwe reeksen 3D4, van het orde 3 automorfisme van D4.

De groepen van het type 3D4 hebben geen analogon over de reéle getallen, zoals de complexe getallen geen automorfisme van orde 3 hebben. De symmetrieën van het D_4 diagram geven ook aanleiding tot trialiteit.