07.10.2013 Aufrufe

Lineare algebraische Gruppen - GWDG

Lineare algebraische Gruppen - GWDG

Lineare algebraische Gruppen - GWDG

MEHR ANZEIGEN
WENIGER ANZEIGEN

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

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!