07.10.2013 Aufrufe

Lineare algebraische Gruppen - GWDG

Lineare algebraische Gruppen - GWDG

Lineare algebraische Gruppen - GWDG

MEHR ANZEIGEN
WENIGER ANZEIGEN

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

96 7 Wurzelsysteme und Dynkin-Diagramme<br />

7.2 Wurzelsysteme<br />

Eine Teilmenge R ⊂ E heißt Wurzelsystem, falls gelten:<br />

(1) R ist ein endliches Erzeugendensystem von E und enthält nicht 0 .<br />

(2) Für jedes α ∈ R gilt σα(R) = R . Insbesondere ist −α = σα(α) ∈ R .<br />

(3) Für α, β ∈ R ist<br />

n(β, α) := 2<br />

〈β, α〉<br />

∈ Z .<br />

〈α, α〉<br />

Bemerkung<br />

Ist R ein Wurzelsystem und gilt λα ∈ R für ein α ∈ R und ein λ ∈ R , so<br />

folgt λ ∈ ±1, ± 1<br />

2 , ±2 .<br />

Beweis. Ist λα ∈ R , so folgt −λα = σα(λα) = λα − nα mit n ∈ Z (nach<br />

Definition von σα und nach (3)). Es folgt (2λ − n)α = 0 und also λ = n<br />

2 ,<br />

da α = 0 nach (1). Ist |λ| < 1 , so ist λ = ± 1<br />

2 , da n ∈ Z und λ = 0 nach<br />

Voraussetzung und (1) gilt. Ist |λ| > 1 , so gilt R ∋ α = 1<br />

λ (λα) mit λα ∈ R<br />

und | 1<br />

1 1<br />

λ | < 1 . Wie oben folgt nun λ = ± 2 .<br />

Definition • Ein Wurzelsystem R heißt reduziert, wenn gilt:<br />

Für jedes α ∈ R sind α und −α die einzigen Vielfachen von α in R .<br />

• Der Rang eines Wurzelsystems R ⊂ E ist definiert als rang R :=<br />

dimR E .<br />

• Zwei Wurzelsysteme R ⊂ E und R ′ ⊂ E ′ heißen isomorph, wenn es<br />

einen Vektorraumisomorphismus f : E −→ E ′ gibt mit f(R) = R ′<br />

und n(α, β) = n(f(α), f(β)) für alle α, β ∈ R .<br />

Beispiele<br />

Reduzierte Wurzelsysteme vom Rang 1 und 2 lassen sich einfach grafisch<br />

darstellen:<br />

Reduzierte Wurzelsysteme vom Rang 1<br />

Jedes reduzierte Wurzelsystem vom Rang 1 ist von der Form<br />

−α α A1<br />

Reduzierte Wurzelsysteme vom Rang 2<br />

Wie aus 7.5 unten folgt, ist jedes reduzierte Wurzelsystem vom Rang 2 zu<br />

einem der folgenden vier Wurzelsysteme isomorph.<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!