Die 51 840 Symmetrien
Die Coxeter-Gruppe E6 operiert auf der Menge der
windschiefen Sextupel.
Sei F eine glatte kubische Fläche.
Sei S die Menge der windschiefen Sextupel (a1,a2,a3,a4,a5,a6)
von Geraden auf F.
Sei G die Coxeter-Gruppe vom Typ E6, sie wird von Involutionen
σi mit 1 ≤ i ≤ 6 erzeugt, mit folgendem Diagramm:
Dabei operiere σi auf S wie folgt:
- Für 1 ≤ i ≤ 5 sei σi die i-te Basis-Permutation
(i,i+1), also zum Beispiel
σ1(a1,a2,a3,a4,a5,a6)
= (a2,a1,a3,a4,a5,
a6).
- dagegen sei σ6 folgendermaßen definiert:
σ6(a1,a2,a3,a4,a5,a6)
=
(c23,c13,c12,a4,a5,a6).
Es ist hier zu zeigen:
- (σ6)2 = 1,
- (σ6σ6)3 = 1,
- (σ6σi)2 = 1 für i = 1,2,4,5.