Lineare algebraische Gruppen - GWDG
Lineare algebraische Gruppen - GWDG
Lineare algebraische Gruppen - GWDG
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