Lineare algebraische Gruppen - GWDG
Lineare algebraische Gruppen - GWDG
Lineare algebraische Gruppen - GWDG
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
7.13 Übungsaufgaben 51–53 117<br />
Lemma<br />
Es gibt eine positiv definite, symmetrische Bilinearform<br />
b: E × E −→ R , (α, β) ↦−→ b(α, β),<br />
die invariant unter der Weylgruppe W(G, T ) ist, d. h. b(α, β) = b(w.α, w.β)<br />
für alle α, β ∈ E, w ∈ W(G, T ).<br />
Beweis. Sei b ′ : E × E −→ R irgendeine positiv definite, symmetrische Bilinearform.<br />
Setze b(α, β) = <br />
w∈W(G,T ) b′ (w.α, w.β) .<br />
Sei E mit einer solchen Bilinearform wie im Lemma versehen. Wir definieren<br />
nun wie in [11] 7.1 ein Wurzelsystem Φ(G, T ). Ist α ein Gewicht = 1 von G<br />
bezüglich T wie in 7.11 definiert, so ist Sα := (kern α) 0 ein Untertorus von<br />
T . Man setzt Gα := ZG(Sα). Dann ist Gα eine abgeschlossene Untergruppe<br />
von G nach Lemma 5.10, und es gilt:<br />
(1) G wird von den Gα erzeugt, wobei α alle Gewichte = 1 durchläuft.<br />
(2) G ist auflösbar ⇐⇒ Gα ist auflösbar für alle Wurzeln α .<br />
Sei Φ(G, T ) := {Gewichte α = 1 | Gα ist nicht auflösbar} . Die Elemente<br />
von Φ(G, T ) heißen Wurzeln von G bezüglich T . Man kann zeigen, dass<br />
W(G, T ) von den Spiegelungen<br />
sα : E −→ E , β ↦−→ β − 2<br />
mit α ∈ Φ(G, T ) erzeugt wird (vgl. [11] 7.1.9).<br />
7.13 Übungsaufgaben 51–53<br />
b(β, α)<br />
α ,<br />
b(α, α)<br />
Aufgabe 51<br />
Es sei Dn die Diedergruppe mit 2n Elementen für n = 2, 3, 4, 6 . Man beweise,<br />
dass tatsächlich, wie in 7.3 behauptet, gilt: W(A1 × A1) D2 ,<br />
W(A2) D3 , W(B2) D4 und W(G2) D6 .<br />
Aufgabe 52<br />
Man zeige durch Angabe eines Beispiels, dass α − β eine Wurzel in einem<br />
reduzierten Wurzelsystem sein kann, auch wenn 〈α, β〉 0 gilt (vgl. Lemma<br />
7.4 und Korollar 7.6).<br />
Aufgabe 53<br />
Sei ∆ eine Wurzelbasis von E. Man zeige, dass es ein γ ∈ E so gibt, dass<br />
〈γ, α〉 > 0 für alle α ∈ ∆ gilt.<br />
<strong>Lineare</strong> Algebraische <strong>Gruppen</strong>, Universität Göttingen 2007