827 lines
49 KiB
TeX
827 lines
49 KiB
TeX
\input{standard}
|
|
|
|
\usepackage{tikz}
|
|
% \usetikzlibrary{automata}
|
|
|
|
\usepackage[small,nohug,heads=vee]{diagrams}
|
|
% \diagramstyle[labelstyle=\scriptstyle]
|
|
|
|
\subject{Mitschrieb der Vorlesung}
|
|
\title{Darstellungstheorie I}
|
|
\author{Wintersemester 2009/10 \\ Prof. Dr. Richard Dipper}
|
|
\publishers{Mitgeschrieben von Stefan Bühler}
|
|
|
|
\providecommand{\F}[1]{\mathcal{F}_{#1}}
|
|
\newcommand{\lsup}[2]{\ensuremath{\sideset{^{#1}}{}{\mathop{#2}}}}
|
|
|
|
\begin{document}
|
|
|
|
\maketitle
|
|
\tableofcontents
|
|
|
|
\chapter{Unknown}
|
|
|
|
\chapter{Gruppenkonstruktionen und Automorphismen}
|
|
|
|
\begin{definition}
|
|
Sei $X$ eine Menge. Die Freie Gruppe $\F X$ über X wird wie folgt konstruiert: \\
|
|
Ein Wort in $\F X$ besteht aus einer endlichen Folge
|
|
$$ x_1^{\varepsilon_1} x_2^{\varepsilon_2} \ldots x_k^{\varepsilon_k}, k \leq 0, \varepsilon_i \in \set{-1, 1}, x_i \in X $$
|
|
Das leere Wort ($k = 0$) wird als $1$ notiert. \\
|
|
Ist für ein $1 \leq i < k$ in einem Wort $x_i = x_{i+1}$ und $\varepsilon_i = - \varepsilon_{i+1}$, so können wir dieses Wort verkürzen, in dem wir
|
|
$x_i^{\varepsilon_i} x_{i+1}^{\varepsilon_{i+1}}$ entfernen. \\
|
|
Wörter, die nicht mehr verkürzt werden können, heißen unverkürzbar. \\
|
|
Der transitive, symmetrische und reflexive Abschluss des "`Kürzens"' definiert eine Äquivalenzrelation; $\F X$ ist als die Gruppe mit der Menge der
|
|
Äquivalenzklassen dieser Relation definiert, wobei die Multiplikation durch Konkatenation der Vertreter definiert wird. \\
|
|
Zwei Wörter sind also äquivalent, wenn man durch Kürzen und Erweitern des einen Wortes das andere erhält. \\
|
|
$\F X$ ist Gruppe mit folgender universeller Eigenschaft: \\
|
|
\parbox{5cm}{
|
|
\begin{diagram}
|
|
X & \rInto^{i} & \F X \\
|
|
& \rdTo_{\forall f} & \dDashto_{\exists ! \hat{f}} \\
|
|
& & G
|
|
\end{diagram}
|
|
}, so dass $\hat{f} \circ i = f$ und $\hat{f}$ Gruppenhomomorphismus.
|
|
|
|
\end{definition}
|
|
|
|
\begin{definition}
|
|
Man kann das freie Produkt $G \ast H$ über den Gruppen G und H als Wörter über dem Alphabet $G \cup H$ definieren. \\
|
|
Das freie Produkt hat folgende universelle Eigenschaft: \\
|
|
Sei $\varphi: G \times H \to A$, $G, H, A$ Gruppen, $\varphi_{\mid_{G \times \set{1_H}}}$ und $\varphi_{\mid_{\set{1_G} \times H}}$ jeweils ein Gruppenhomomorphismus, $i: (g,h) \mapsto gh$: \\
|
|
\parbox{5cm}{
|
|
\begin{diagram}
|
|
G \times H & \rInto^{i} & G \ast H \\
|
|
& \rdTo_{\forall\varphi} & \dDashto_{\exists ! \hat{\varphi}} \\
|
|
& & A
|
|
\end{diagram}
|
|
}, so dass $\hat{\varphi} \circ i = \varphi$ und $\hat{\varphi}$ Gruppenhomomorphismus.
|
|
\end{definition}
|
|
|
|
\begin{definition}
|
|
Gruppen mit Erzeugenden und Relationen: $X$ eine Menge, $S \subseteq \F X$ "`Relationen"'. \\
|
|
% Dann ist $N := < \sideset{^{\F X}}{}{\mathop{S}} >$
|
|
Dann ist $N := < \lsup{\F X}{S} >$ die normale Hülle von $S$. \\
|
|
$G = \F X / N$ die Gruppe, die von $X$ mit den Relationen $S$ erzeugt wird; $G := < X \mid S >$.
|
|
\end{definition}
|
|
|
|
|
|
Beispiele:
|
|
\begin{enumerate}[i)]
|
|
\item Sei $n \in \N, C_n = \set{ 1, g, \ldots, g^{n-1} } = < x | x^n = 1 >$ \\
|
|
Bem: $\abs{X} \leq 1 \Leftrightarrow \F X $ ist kommutativ; $\F X \cong \Z \Leftrightarrow \abs{X} = 1$
|
|
\item $\sigma_n = < \set{s_i \mid 1 \leq i < n} \mid s_i s_j = s_j s_i \text{ für } \abs{i-j} \leq 2, s_i^2 = 1, s_i s_{i+1} s_i = s_{i+1} s_i s_{i+1} > $
|
|
|
|
Beachte: \\
|
|
$ T \leq S \leq \F X \Rightarrow U := < \lsup{\F X}T > \leq < \lsup{\F X}S > =: V $ \\
|
|
$ \mathop{\Longrightarrow}{\text{1. Iso Satz}} \exists \text{ Epimorphismus } \F X / U \twoheadrightarrow \F X / v $
|
|
|
|
\item Die endlichen einfachenGruppen sind (durchweg?) von 2 Elementen erzeugt.
|
|
\item Sei $G$ Gruppe. Wähle $X = G$, nach universeller Eigenschat $\exists !$ Epimorphismus $\F G \twoheadrightarrow G$ mit Kern $N \Rightarrow G = \F G / N$
|
|
\end{enumerate}
|
|
~
|
|
|
|
\begin{definition}
|
|
Seien $G, H$ Gruppen. Das direkte Produkt $G \times H$ ist das kartesische Produkt mit komponentenweiser Multiplikation. \\
|
|
$ G \cong \tilde{G} := G \times \set{1_H} \trianglelefteq G \times H \trianglerighteq \set{1_G} \times H =: \tilde{H} \cong H $ \\
|
|
$ forall g \in \tilde{G}, h \in \tilde{H}: gh = hg \Rightarrow \tilde{G}\tilde{H} = \tilde{H}\tilde{G} = G \times H, \tilde{G} \cap \tilde{H} = \set{1_{G \times HJ}} $ \\
|
|
$ \Rightarrow $ Wir müssen nicht zwischen exterem und internem Produkt unterscheiden. \\
|
|
$ \abs{G \times H} = \abs{G} \abs{H} $
|
|
\end{definition}
|
|
|
|
Betrachte $H, N \leq G, N \trianglelefteq G \Rightarrow HN = NH, HN \leq G$ \\
|
|
Sei zusätzlich $HN = G, H \cap N = \set{1}$ \\
|
|
Sei $n \in N$. Wegen $nHn^{-1} = H$ ist $c_n: H \rightarrow H: h \mapsto \lsup n h = n h n^{-1}$ ein Automorphismus von $H$. \\
|
|
$n \mapsto c_n$ ist Gruppenhomomorphismus $N \rightarrow \Aut(H)$.
|
|
~
|
|
|
|
\begin{satz}
|
|
Sei $g \in G, c_g: G \rightarrow G: h \mapsto \lsup g h$ Automorphismus von G. Die Menge $\Inn(G) := \set{ c_g \mid g \in G} \subseteq \Aut(G) $ ist Normalteiler von $\Aut(G)$. \\
|
|
$\Out(G) := \Aut(G) / \Inn(G)$ (Gruppe der äußeren Automorphismen von G) \\
|
|
Die Abbildung $c: G \rightarrow Aut(G): g \mapsto c_g$ ist Gruppenhomomorphismus mit Bild $\Inn(G)$ (klar) und $\ker c = Z(G) := \set{g \in G \mid gh = hg \forall h \in G} $ \\
|
|
Also ist $G / Z(G) \cong \Inn(G)$
|
|
\end{satz}
|
|
|
|
\begin{bew}
|
|
Sei $g, h_1, h_2 \in G$ \\
|
|
$c_g(h_1 h_2) = g h_1 h_2 g^{-1} = g h_1 g^{-1} g h_2 g^{-1} = c_g(h_1) c_g(h_2)$ \\
|
|
$c_{g^{-1}} \circ c_g (h) = g^{-1} g h g^{-1} g = 1 h 1^{-1} = c_1(h) = id_H $ \\
|
|
Also ist $c_g$ bijektiv und daher Automorphismus von $G$.
|
|
|
|
$c: g \rightarrow \Aut(G)$ ist Homomorphismus: \\
|
|
$c_{g_1} \circ c_{g_2} (h) = g_1 g_2 h g_2^{-1} g_1^{-1} = g_1 g_2 h (g_1 g_2)^{-1} = c_{g_1 g_2} (h) $ \\
|
|
\begin{align*}
|
|
c_g = id_G & \Leftrightarrow c_g(h) = h \forall h \\
|
|
& \Leftrightarrow g h g^{-1} = h \forall h \\
|
|
& \Leftrightarrow g h = h g \forall h \\
|
|
& \Leftrightarrow g \in Z(G) \\
|
|
& \Rightarrow \ker c = Z(G)
|
|
\end{align*}
|
|
|
|
Da $\im c = \Inn(G)$ ist $\Inn(G) \leq \Aut(G)$. \\
|
|
Sei $\varphi \in \Aut(G), g \in G$: Zu zeigen: $\varphi \Inn(G) \varphi^{-1} = \Inn(G) \Leftrightarrow \varphi c_g \varphi^{-1} \in \Inn(G) \forall g, \varphi$ \\
|
|
$(\varphi c_g \varphi^{-1})(h) = \varphi(g \varphi^{-1}(h) g^{-1}) = \varphi(g) h \varphi^{-1}(g) = \varphi(g) h \varphi(g)^{-1} = c_{\varphi(g)}(h) \forall h \in G$ \\
|
|
$ \Rightarrow \varphi c_g \varphi^{-1} = c_{\varphi(g)} \in \Inn(G)$ \\
|
|
Also ist $\Inn(G) \trianglelefteq \Aut(G)$
|
|
\end{bew}
|
|
|
|
Beachte: Sei $N \leq G$. Dann ist $N \trianglelefteq G \Leftrightarrow c_g(N) = N \forall g \in G$ \\
|
|
($\Rightarrow {c_g}_{\mid_N} \in \Aut(N)$. $c_g$ ist $\in \Inn(N) \Leftrightarrow \exists n \in N: c_g = c_n$)
|
|
|
|
\begin{definition}
|
|
Sei $H < G$. Dann ist $H$ charakteristisch in $G$, falls $\varphi(H) = H \forall \varphi \in Aut(G)$.\\
|
|
Klar: $H$ char. in $G \Rightarrow H \trianglelefteq G$. \\
|
|
\end{definition}
|
|
|
|
Beispiel: \\
|
|
$Z(G)$ ist char. in $G$: \\
|
|
$\forall z \in Z(G), g \in G: \varphi(g)\varphi(z) = \varphi(gz) = \varphi(zg) = \varphi(z)\varphi(g) $ \\
|
|
$\Rightarrow \varphi(z)G = G \varphi(z) $ \\
|
|
$\Rightarrow \varphi(z) \in Z(G)$
|
|
\ \\
|
|
|
|
\begin{satz} % 1.2.3
|
|
% Und: $H \mathop{\leq}\limits_\text{char.} N \mathop{\leq}\limits_\text{char.} G \Rightarrow H \mathop{\leq}\limits_\text{char.} G$
|
|
Seien $K \leq H \leq G$, $K$ charakteristisch in $H$, $H$ char. in $G$. Dann ist
|
|
$K$ char. in $G$.
|
|
\end{satz}
|
|
|
|
\begin{bew} % 1.2.4
|
|
Sei $\varphi \in \Aut(G)$. Zu zeigen: $\varphi(K) = K$. \\
|
|
$\varphi \in \Aut(G) \Rightarrow_{\text{H char. in G}} \varphi(H)( = H \Rightarrow_{\mid_H} \in \Aut(H) \Rightarrow \varphi(K) = \varphi_{\mid_K} = K$, da $K$ char. in $H$ ist.
|
|
Also ist $K$ char. in $G$.
|
|
\end{bew}
|
|
|
|
\begin{bem}
|
|
Sei $S \subseteq G$ mit $S^{-1} = S$ und $\varphi(S) = \set{\varphi(s) \mid s \in S} = S$ für alle $\varphi in \Aut(G)$ ($\Inn(G)$). Dann ist $<S> \leq G$ char. (normal) in $G$.
|
|
\end{bem}
|
|
|
|
|
|
\begin{definition}
|
|
Sei $G$ Gruppe, $a, b \in G$. Dann ist $[a,b] = aba^{-1}b^{-1}$ der Kommutator von $a$ und $b$ ($[a,b]ba = aba^{-1}b^{-1}ba = ab$). \\
|
|
Die Untergruppe $G' := < [a,b] \mid a, b \in G > \leq G$ heißt Kommutatoruntergruppe von $G$.
|
|
\end{definition}
|
|
|
|
\begin{satz} % 1.2.5
|
|
Sei $G$ Gruppe. Dann ist $G'$ char. in $G$ (weil $\varphi[a,b] = [\varphi[a], \varphi[b]] \forall \varphi \in \Aut(G)$ ebenfalls Kommutator ist, und $[a,b]^{-1} = [b, a]$). \\
|
|
$G'$ ist der kleinste Normalteiler von $G$, so dass $G / G'$ abelsch ist (d.h. ist $N \trianglelefteq G, G/N$ abelsch $\Rightarrow N \supseteq G'$).
|
|
\end{satz}
|
|
|
|
\begin{bew}
|
|
Siehe Algebra. ($\pi: G \rightarrow G/N: g \mapsto gN, \pi[a,b] = [\pi(a), \pi(b)] = \ldots d G/N = N$),
|
|
\end{bew}
|
|
|
|
\begin{definition}
|
|
Seien $N, H \leq G, N \trianglelefteq G, G = NH = HN, H \cap N = \set{1}$. dann heißt $G$ (internes) semidirektes Produkt von $N$ mit $H$. Wir schreiben $G = N \rtimes H$.
|
|
\end{definition}
|
|
|
|
Beobachtungen: % 1.2.6
|
|
\begin{enumerate}[a)]
|
|
\item $ G/N = NH / N \cong H /_{N \cap H} \cong H$. Also ist $G/N \cong H$. Daher ist $\abs{G} = \abs{N}\abs{G/N} = \abs{N} abs{H} = \abs{N \times H} $
|
|
\item $G = N \cdot H \Rightarrow \forall x \in G \exists n \in N \exists h \in H: x = n \cdot h $. Diese Darstellung ist eindeutig: denn seien $n_1,n_2 \in N, h_1,h_2 \in H$ und sei $n_1 h_1 = n_2 h_2$,
|
|
so folgt $n_2^{-1} n_1 = h_2 h_1^{-1} \in N \cap H \Rightarrow n_2^{-1} n_1 = h_2 h_1^{-1} = 1 \Rightarrow n_1 = n_2, h_1 = h_2 $
|
|
\item Allgemein gilt: $H, N \trianglelefteq G, H \cap N = \set{1} \Rightarrow hn = nh \forall n \in N, h \in H$, denn seien
|
|
$h \in H, n \in N \Rightarrow [n, h] = nhn^{-1}h^{-1} = \mathop{(nhn^{-1})}\limits_{\in H \trianglelefteq G}h^{-1} \in H \cap N = \set{1} $ (die Klammerung analog für $N$) \\
|
|
Daher: Ist $G = N \rtimes H$ und zusätzlich $H \trianglelefteq G \Rightarrow G = H \times N$ (da $n_1 h_1 n_2 h_2 = n_1 n_2 h_1 h_2$)
|
|
\item $G = N \rtimes H, x = n_1 h_1, y = n_2 h_2 \in G \Rightarrow x \cdot y = n_1 h_1 n_2 h_2 = n_1 \mathop{(h_1 n_2 h_1^{-1})}\limits_{\in N \trianglelefteq G} h_1 h_2 = (n_1 \lsup{h_1}n_2) (h_1 h_2) = n' h' $ die eindeutige Darstellung vom Produkt $ x \cdot y $ als Produkt eines Elementes aus $N$ mit einem Element aus $H$. \\
|
|
Die Abb. $\varphi: H \rightarrow \Aut(N): h \mapsto \varphi(h) = \lambda n . \lsup{h}{n} = \varphi_n = {c_n}_{\mid_N} \in \Aut(N)$ ist Gruppenhomomorphismus. \\
|
|
\item Multiplikation in $G$ wird vollständig auf die Multiplikation in $N$ und Multiplikation in $H$ und auf $\varphi$ zurückgeführt: $n_1 h_1 n_2 h_2 = n_1 \varphi_{h_1}(n_2) h_1 h_2 $
|
|
\item Ist $\varphi: H \rightarrow \Aut(N)$ der triviale Homomorphismus, so ist $\varphi_n = {c_n}_{\mid_N} = id_N$ für alle $h \in H$, d.h. $\varphi_h(n) = h n h^{-1} = n \Leftrightarrow hn = nh$. Dann ist $H \trianglelefteq G und G \cong H \times N$. \\
|
|
Daher: Ist $\varphi : H \rightarrow \Aut(N)$ \underline{nicht} tirivial, so kann $G$ nicht abelsch sein. ($\varphi(h) = \varphi_h \neq id_N, h\in H, \Rightarrow n \in N: \varphi_h(n) = hnh^{-1} \neq n \Rightarrow hn \neq hn$)
|
|
\end{enumerate}
|
|
|
|
\begin{definition}
|
|
Seien $H, N$ Gruppen, und sei $\varphi: H \rightarrow \Aut(N): j \mapsto \varphi(h) = \varphi_h \in \Aut(N) $ ein Homomorphismus. \\
|
|
Wir definieren das (äußere) semidirekte Produkt $G = N \rtimes H$ wie folgt: \\
|
|
Als \underline{Menge} ist $G$ einfach das kartesische Produkt $N \times H$. \\
|
|
Sei $n_1,n_2 \in N, h_1, h_2 \in H:$ \\
|
|
$(n_1, h_1) \cdot (n_2, h_2) := (n_1 \cdot \varphi_{h_1}(n_2), h_1 \cdot h_2)$ \\
|
|
\end{definition}
|
|
|
|
\begin{satz} % 1.2.7
|
|
Mit obiger Multiplikation wird $G = N \times H$ zur Gruppe $N \rtimes H$ mit Einselement $1_G = (1_N, 1_H)$ und Inverser $(n, h)^{-1} = (\varphi_{h^{-1}}(n^{-1}), h^{-1})$ \\
|
|
Seien $\tilde{N} = N \times \set{1_H} \subseteq N \times H $ und $\tilde{H} = \set{1_N} \times H \subseteq N \times H$. \\
|
|
Dann ist $\tilde{N} \trianglelefteq G, H \leq G, \tilde{N} \cong N, \tilde{H} \cong H$ und $G = \tilde{N} \rtimes \tilde{H}$ (intern).
|
|
Für $\tilde{h} = (1_N, h) \in \tilde{H}, \tilde{n} = (n, 1_H) \in \tilde{N}, h \in H, n \in N$ ist $\tilde{h}^{-1} \tilde{n} \tilde{h} = (\varphi_h(n), 1_H)$, d.h. ${c_{\tilde{n}^{-1}}}_{\mid_{\tilde{N}}} \leftrightarrow \varphi_h \in \Aut(N)$
|
|
\end{satz}
|
|
|
|
\begin{bew}
|
|
Übung.
|
|
\end{bew}
|
|
|
|
\begin{bem}
|
|
Sind $\varphi, \psi$ verschiedene Homomorphismen von $H \rightarrow \Aut(N)$, so können $N \rtimes_\varphi H, N \rtimes_\psi H$ isomorph oder nicht isomorph sein.
|
|
\end{bem}
|
|
|
|
\begin{bsp}
|
|
$C_n (\cong (\Z /_{n\Z}, +)) = N, H = C_2 = \set{1, h}$ \\
|
|
$\varphi: H \in \Aut(C_n)$ durch $\varphi(1) = id_{C_n}, \varphi_h(x) = x^{-1} $ \\
|
|
Die Gruppe $D_{2n} := C_n \rtimes_\varphi C_2$ heißt \underline{Diedergruppe} der Ordnung $2n$. \\
|
|
$D_{2n}$ ist die Gruppe der Symmetrien eines regelmäßigen $n$-Ecks; $C_n \trianglelefteq D_{2n}$ ist die Gruppe der Rotationen, $C_2 = D_{2n} /_{C_n}$ sind die Spiegelungen. \\
|
|
$D_{2n} = < x, y \mid x^n = y^2 = 1, yxy = x^{-1} >$
|
|
\end{bsp}
|
|
|
|
\chapter{Operationen von Gruppen auf Mengen}
|
|
|
|
Im folgenden sei: $G = $ Gruppe, $X = $ Menge, $\sigma_X = \set{ f : X \rightarrow X \mid f \text{bij. Abb.}} = $ "`symmetrische Gruppe auf X"'.
|
|
|
|
\begin{definition}
|
|
Eine (Links-)Operation von $G$ auf $X$ ist eine (externe) Verknüpfung
|
|
$$G \times X \rightarrow X: (g,x) \mapsto gx$$
|
|
so dass gilt:
|
|
\begin{enumerate}[i)]
|
|
\item $1_G \cdot x = x \forall x \in X$
|
|
\item $(gh) \cdot x = g \cdot (h \cdot x)$
|
|
\end{enumerate}
|
|
Wir sagen: "`$G$ operiert auf $X$"' (durch Permutationen) oder kurz: "`$X$ ist $G$-Menge"'. (Analog: Rechtsoperation: $X \times G \rightarrow X$)
|
|
\end{definition}
|
|
|
|
\begin{bem}
|
|
Ist $X$ $G$-Menge, $\sigma_X$ = symmetrischeGrupe auf $X$, so wird durch $\lambda: G \rightarrow \sigma_X: g \mapsto \lambda_g \in \sigma_X$ ein Gruppenhomomorphismus
|
|
$\lambda$ definiert, wobei $\lambda_g: X \rightarrow X: x \mapsto g \cdot x$; denn: \\
|
|
Sei $g \in G: \lambda_g \lambda_{g^{-1}} : x \mapsto g (g^{-1} x) = (g g^{-1}) x = 1_G x = x \forall x \in X$, also ist $\lambda_g$ bijektiv und $\in \sigma_X$. \\
|
|
Seien $g, h \in G \Rightarrow \lambda_g \circ \lambda_h (x) = \lambda_g (\lambda_h(x)) = g \cdot (h \cdot x) = (g \cdot h) \cdot x = \lambda_{gh}(x) \forall x \in X \Rightarrow \lambda_g \lambda_h = \lambda_{gh}$, d.h. $\lambda$ ist Homomorphismus. \\
|
|
\underline{Umgekehrt:} Sei $\varphi: G \rightarrow \sigma_X$ homomorph. Dann wird durch $g \cdot x := (\varphi(g))(x)$ eine Operation von $G$ auf $X$ definiert, mit $\lambda = \varphi$ (Beweis: Übung). \\
|
|
$\lambda$ heißt "`die zur $G$-Menge $X$ gehörende \underline{Darstellung} von $G$"'. \\
|
|
\underline{Also:} Das Konzept der $G$-Mengen $X$ ist äquivalent zum Konzept der Homomorphismen $G \rightarrow \sigma_X$. \\
|
|
(Im Falle der Rechtsoperation: Entweder op $\sigma_X$ auch von rechts, oder die zug. Darst. $\rho: G \rightarrow \sigma_X$ ist ein Antihomomorphismus)
|
|
\end{bem}
|
|
|
|
{\it Beispiele:} (Running Gag) % 1.3.1
|
|
\begin{enumerate}[1.)]
|
|
\item $\sigma_X$ operiert auf $X$ mit Darstellung $id_{\sigma_X} : \sigma_X \rightarrow \sigma_X: \pi \mapsto \pi \in \sigma_X, \pi x = \pi(x) \forall x \in X$
|
|
\item $G$ operiert auf der Menge $G$ durch Linkstranslation $ g \cdot h = g h$. \\
|
|
\underline{Darstellung:} $\lambda G \rightarrow \sigma_G: g \mapsto \lambda_g; \lambda_g: h \mapsto gh \forall h \in G$ \\
|
|
($\abs{\sigma_G} = \abs{G} !$)
|
|
\item $G$ operiert auf $G$ durch Konjugation: \\
|
|
$$ g \cdot h = \lsup{g}{h} = g h g^{-1} [ = c_g(h) ] $$
|
|
\item Sei $H \leq G$, $G = \bigcup\limits^{.}_{i \in I} g_i H$ \\
|
|
Wir definieren eine Operation von $G$ auf der \underline{Menge} $G / H$ der Nebenklassen von $H$ in $G$ durch: $g (g_i H) = g_j H$ (bzw. auf $I: g \dot i = j$) \\
|
|
(Linkstranslation auf $G/H$, Rechtsnebenklassen $H \without G$ durch Rechtstranslation) \\
|
|
Spezialfall: $H = (I) \Rightarrow $ Operation von $G$ auf $G / H = G / (I) = G$ aus 2.)
|
|
\end{enumerate}
|
|
|
|
4.) ist die Mutter aller $G$-Operationen auf Mengen.
|
|
\begin{definition}
|
|
Eine Operation von $G$ auf $X$ heißt \underline{treu}, falls gilt: Ist $gx = x \forall x \in X \Rightarrow g = 1$.
|
|
Offensichtlich heißt dies für die zugehörige Darstellung $\varphi: G \rightarrow \sigma_X$, dass $\varphi$ injektiv ist;
|
|
denn $gx = x \forall x \in X \Leftrightarrow (\varphi(g))(x) = x \forall x \in X \Leftrightarrow \varphi(g) = id_X \Leftrightarrow g \in \ker \varphi$ \\
|
|
So: $\ker \varphi = \set{g \in G \mid gx = x \forall x \in X }.$
|
|
\end{definition}
|
|
|
|
{\it Beispiele:} % aus 1.3.1
|
|
1.), 2.) treu, da $g \cdot h = h \forall h \in G \Leftrightarrow g = 1$ \\
|
|
3.) (i.A.) nicht treu. Genauer: $\ker \varphi = \ker c_? = \set{g \in G \mid c_g = id_G } = \set{g \in G \mid c_g(h) = h \forall h \in G } = \set{g \in G \mid g hg^{-1} = h \forall h \in G} = Z(G)$ Zentrum von $G$.
|
|
|
|
\underline{Klar:} $X$ treue $G$-Menge, so enthält $\sigma_X$ durch die zugehörige Darstellung $\varphi: G \rightarrow \sigma_X$ eine zu $G$ isomorphe Untergruppe.
|
|
|
|
\begin{definition}
|
|
Seien $X, Y$ $G$-Mengen. Eine Abbildung $\varphi: X \rightarrow Y$ heißt $G$-Homomorphismus (auch $G$-equivariant) falls gilt: \\
|
|
$\forall x \in X, g \in G: \varphi(g, x) = g \varphi(x)$ \\
|
|
\underline{Wie üblich}: Epi-, Mono- und Isomorphismen. \\
|
|
Komposition (und Inversen falls bijektiv) sind wieder Homomorphismen. \\
|
|
Isosätze etc. \\
|
|
Also: Kategorie der $G$-Mengen.
|
|
\end{definition}
|
|
|
|
\underline{Übersetzung für Darstellungen}:\\
|
|
Seien $\varphi: G \rightarrow \sigma_X, \psi: G \rightarrow \sigma_Y$ ($X, Y$ Mengen) Darstellungen. \\
|
|
Ein Morphismus von $\varphi$ nach $\psi$ ist eine Mengenabbildung $f: X \rightarrow Y$, so dass $\forall g \in G$ das folgende Diagramm kommutiert:
|
|
\begin{diagram}
|
|
X & \rTo^{f} & Y \\
|
|
\dTo^{\varphi(g)} & & \dTo_{\psi(g)} \\
|
|
X & \rTo^{f} & Y
|
|
\end{diagram}
|
|
|
|
d.h. $f \circ \varphi(g) = \psi(g) \circ f \Leftrightarrow \psi(g) \circ f \circ \varphi(g)^{-1} = f \forall g \in G$
|
|
|
|
Dies macht die Klasse der (Permutations-) Darstellungen zu einer Kategorie. Diese ist isomoprh zur Kategorie der $G$-Mengen (Beweis: Übung).
|
|
|
|
\underline{Ziel:} Klassifikation von $G$-Mengen.
|
|
|
|
\begin{definition}
|
|
$X, Y$ $G-$ Mengen:
|
|
\begin{enumerate}[a)]
|
|
\item Die disjunkte Vereinigung $X \mathop{\cup}\limits^{\cdot} Y$ wird zur $G$-Menge durch $g \cdot z = \left\{ \matr{gx & \text{für } z = x \in X \\ gy & \text{für } z = y \in Y} \right. $ \\
|
|
("`direkte Summe"', "`Koprodukt"' in Kategorie der $G$-Mengen)
|
|
\item Das kartesische Produkt $X \times Y$ wird zu $G$-Menge durch $g \cdot (x,y) = (gx, gy) \forall x \in X, y \in Y, g \in G$
|
|
\item $\sigma_X$ wird $G$-Menge durch $gZ = \set{gz \mid z \in Z}$ für $Z \subseteq X$
|
|
\end{enumerate}
|
|
\end{definition}
|
|
|
|
\begin{definition} % 1.3.3
|
|
Sei $X$ eine $G$-Menge, $x \in X$. Die \underline{Bahn} (Orbit) $Gx (\lsup{G}x)$ ist $\set{gx \mid g \in G} \subseteq X$, und der Stabilisator $Stab_G(x)$ in $G$ von $x$ ist $\set{g \in G \mid gx = x} \subseteq G$. \\
|
|
Für $S \subseteq G$ ist der $Stab_G(X) = \set{g \in G \mid gs \in S \forall s \in S }$ \\
|
|
Der \underline{Punktstabilisator} von $S$ in $G$ ist $PStab_G(S) = \set{g \ in G | gs = s \forall s \in S} = \bigcap\limits_{s \in S} Stab_G(s)$ \\
|
|
\underline{Klar:}
|
|
\begin{enumerate}
|
|
\item $Stab_G(x), Stab_G(S), PStab_G(S)$ sind Untergruppen von $G$.
|
|
\item Die Einschränkung von der $G$-Operation auf die Bahn $Gx$ macht die Bahn $Gx$ von $x$ zur $G$-Menge. \\
|
|
Wir definieren eine Äquivalenzrelation $\sim_G$ auf $X$ durch $x \sim_G y \Leftrightarrow \exists g \in G: y = gx$ \\
|
|
Die Äquivalenzklasse von $x \in X$ ist die Bahn $Gx$. \\
|
|
Konsequenz: $X$ ist die direkte Summe der Bahnen von $G$ auf $X$.
|
|
\end{enumerate}
|
|
\end{definition}
|
|
|
|
\begin{definition}
|
|
$G$ operiert (einfach) \underline{transitiv} auf $X$, falls nur eine Bahn existiert, d.h. $\forall x, y \in X: \exists g \in G: x = g y$.
|
|
\end{definition}
|
|
|
|
{\it Beispiele:} von 1.3.1
|
|
\begin{enumerate}[A)]
|
|
\item Bahnen:
|
|
\begin{enumerate}[1.)]
|
|
\item $G$ ist die einzige Bahn.
|
|
\item $\forall h_1, h_2 \in G \exists g \in G: h_2 = g h_1: g := h_2 h_1^{-1}$, also: $G$ ist die einzige Bahn.
|
|
\item $g \sim_G h \Leftrightarrow \exists x in G: h = x g x^{-1} \Leftrightarrow g$ und $h$ sind konjugiert $\Leftrightarrow$ Bahnen sind Konjugationsklassen.
|
|
\item Eine Bahn. $g,h \in G \Rightarrow \exists x \in G: h = xg \Rightarrow hH = xgH$
|
|
\end{enumerate}
|
|
\item Stabilisatoren:
|
|
\begin{enumerate}[1.)]
|
|
\item $x \in X: Stab_{\sigma_X}(x) = \set{ \pi \in \sigma_X \mid \pi(x) = x } = \sigma_{X \without \set{x}}$, z.Bsp. $Stab_{\sigma_n}(n) = \sigma_{n-1}$ \\
|
|
$Stab_{\sigma_n}(\set{1, \ldots, i}) = \set{ \pi \in \sigma_n | 1 \leq \pi(j) \leq i \forall 1 \leq j \leq i } = \sigma_{\set{1, \ldots, i}} \times \sigma_{\set{i+1, \ldots, n}}$
|
|
\item $h \in G: Stab_G(h) = \set{g \in G \mid gh = h} = \set{ 1 }$
|
|
\item $h \in G: Stab_G(h) = \set{g \in G \mid \lsup{g}{h} = h} = \set{g \in G \mid ghg^{-1} = h} = \set{g \in G \mid gh = hg } = $ Zentralisator von $h$ in $G$.
|
|
\item Spezialfall $Stab_G(1 \cdot H) = \set{ g \in G \mid gH = H} = H$
|
|
\end{enumerate}
|
|
\end{enumerate}
|
|
|
|
\begin{lemma}
|
|
Sei $X$ $G$-Menge, $x \in X, g \in G$: Dann ist $Stab_G(gx) = g \cdot Stab_G(x() \cdot g^{-1}$ ("`konjugierte Untergruppe"')
|
|
\end{lemma}
|
|
\begin{bew}
|
|
"`$\supseteq$"' Sei $h = gfg^{-1} \in $ rechte Seite $\Rightarrow h(gx) = gfg^{-1}gx = gfx = gx \Rightarrow h \in $ linke Seite.
|
|
"`$\subseteq$"' Sei $h \in Stab_G(gx)$, d.h. $h(gx) = gx \Rightarrow g^{-1}hgx = x \Rightarrow g^{-1} h x = f \in Stab_G(x) \Rightarrow h = g f g^{-1} \in g Stab_G(x) g^{-1}$
|
|
\end{bew}
|
|
|
|
{\it Beispiele:} von 1.3.1, Stabilisator für 4.): \\
|
|
$ Stab_G(xH) = x H x^{-1} $
|
|
|
|
Neues Beispiel für 1.3.1:
|
|
\begin{enumerate}
|
|
\item[5.)] Sei $X = \set{H \leq G}$. Dann operiert $G$ auf $X$ durch Konjugation $lsup{g}{H} = g H g^{-1}$ \\
|
|
$Stab_G(H) = \set{g \in G \mid g H g^{-1} = H } = N_G(H)$ der \underline{Normalisator} von $H$ in $G$ (die größte Untergruppe von $G$ in der $H$ normal ist, $H \trianglelefteq N_G(H) \leq G$)
|
|
\end{enumerate}
|
|
|
|
\begin{bem}
|
|
Bahnen sind in 5.) Konjugationsklassen von Untergruppen. \\
|
|
Beachte: $\abs{c_g(H)} = \abs{gHg^{-1}} = \abs{H}$
|
|
\end{bem}
|
|
|
|
\begin{satz} % 1.3.5
|
|
Jede $G$-Menge ist (eindeutig) disjunkte Vereinigung (direkte Summe) von transitiven $G$-Mengen, nämlich der Bahnen von $G$ auf der Menge.
|
|
\end{satz}
|
|
|
|
\begin{satz} % 1.3.6
|
|
Sei $X$ transitive $G$-Menge und $x \in X, H = Stab_G(x)$. Dann ist $X \cong G / H$ ($ = G$-Menge der Nebenklassen von $H$ in $G$ durch Linkstranslation, siehe Beispiel 4. aus 1.3.1)
|
|
\end{satz}
|
|
|
|
\begin{bew}
|
|
Definiere $\varphi: G/H \rightarrow X: gH \mapsto g x$ für $g \in G$.
|
|
\begin{enumerate}[1.)]
|
|
\item $\varphi$ ist wohldefiniert: Denn sei $gH = fH \Rightarrow f^{-1}g \in H \Rightarrow f^{-1}gx = x$, da $H = Stab_G(x)$ ist $\Rightarrow gx = fx$
|
|
\item Umgekehrt gehts auch: Sei $fx = gx$ ($f, g \in G$) $\Rightarrow x = f^{-1}gx \Rightarrow f^{-1}g \in H \Rightarrow gH = fH$ Also ist $\varphi$ injektiv.
|
|
\item Wegen $G \cdot x = X$ ist $\varphi$ surjektiv.
|
|
\item Seien $a, g \in G:$ Dann ist $a \varphi(gH) = a(gx) = (ag)x = \varphi(agH)$, also ist $\varphi$ ein Isomorphismus von $G$-Mengen.
|
|
\end{enumerate}
|
|
\end{bew}
|
|
|
|
\begin{korr} % 1.3.7
|
|
$\abs{X} = \abs{G/H} = \left[G : H \right] $ \\
|
|
\underline{Allgemein}: Sei $X$ $G$-Menge, $x \in X \Rightarrow \abs{Gx} = \abs{G : Sta_G(x)}$ (Bahngleichung)
|
|
\end{korr}
|
|
|
|
Wir haben jetzt is aus Isomorphie alle $G$-Mengen konstruiert, nämlich als disjunkte Vereinigunge (direkte Summen) von $G$-Mengen der Form $G/H$ mit $H \leq G$. \\
|
|
\underline{Frage:} Sind $H, K \leq G$. Wann ist $G/H \cong G/K$ als $G$-Menge (unter Linkstranslation)?
|
|
|
|
\begin{lemma} % 1.3.8
|
|
Seien $X, Y$ $G$-Mengen, $\varphi:X \rightarrow Y$ Homomorphismus, und sei $x \in X$. Dann ist $\Stab_G(x) \leq \Stab_G(\varphi(x)$ \\
|
|
Insbesondere: ist $\varphi$ ein Isomorphismus, so ist $\Stab_G(x) = \Stab_G(\varphi(x))$.
|
|
\end{lemma}
|
|
|
|
\begin{bew}
|
|
$g \in G: gx = x \Rightarrow g (\varphi(x)) = \varphi(gx) = \varphi(x) \Rightarrow g \in \Stab_G(\varphi(x))$
|
|
\end{bew}
|
|
|
|
\begin{satz} % 1.3.9
|
|
Seien $H, K \leq G$. Dann ist $G/H \cong G/K \Leftrightarrow H \mathop{=}_G K$ (d.h. $\exists g \in G: gKg^{-1} = H$).
|
|
\end{satz}
|
|
|
|
\underline{Bemerkung:} 1.3.6 + 1.3.9 liefert die Klassifikation der $G$-Mengen.
|
|
|
|
\begin{bew}
|
|
Sei $\varphi: G/H \rightarrow G/K$ ein Isomorphismus von $G$-Mengen,
|
|
$(\exists x \in G): varphi(1 \cdot H) = xK \Rightarrow \Stab_G(1 \cdot H) = H = \Stab_G(xK) = x\Stab_G(1\cdot K) x^{-1} = xKx^{-1}$. Also ist $H =_G K$. \\
|
|
Umgekehrt ist $H =_G K$, etwa $K = x H x^{-1}$. Dann ist (nach 1.3.4) $K = \Stab_G(xH)$, und $G/K \cong G/H$ nach 1.3.6
|
|
\end{bew}
|
|
|
|
\begin{definition}
|
|
Sei $k \in \N, X$ $G$-Menge. Dan heißt $X$ $k$-fach transitiv ($k$-trans.) falls gilt: Sind $x_1, \ldots, x_k \in X$ und $y_1, \ldots, y_k \in X$ jeweils beliebige aber paarweise verschieden, so gibt es $g \in G: y_i = g x_i \forall 1 \leq i \leq k$ \\
|
|
(Klar: $G$ operiert auf $X^{\times k} = X \times \ldots \times X$ k-trans. $\Leftrightarrow G$ operiert auf $\set{ (x_1, \ldots, x_k) \in X^{\times k} \mid x_i \text{ paarweise verschieden}}$ transitiv. 1-transitiv = transitiv)
|
|
\end{definition}
|
|
|
|
\begin{satz} % 1.3.10
|
|
Sei $X$ 2-transitive $G$-Menge, $x \in X$. Dann ist $\Stab_G(x)$ maximale Untergrupe von $G$.
|
|
\end{satz}
|
|
|
|
\begin{bew}
|
|
2-transitiv $\Rightarrow X$ ist transitiv $\Rightarrow X \cong G/H$ für $H = \Stab_G(X)$. Angenommen, $H$ st nicht maximal in $G$. Sei $H < K < G, g \in G, g \notin K, k \in K, k \notin H$.
|
|
Dann ist $kH \neq H, gH \neq H$. Wir hben also zwei Paare $(H, kH)$ und $(H, gH)$. 2-transitiv $\Rightarrow \exists f \in G: f \cdot (1 H) = (1 H), f (k H) = g H \Rightarrow f \in H \Rightarrow fk \in K
|
|
\Rightarrow \exists h \in H: fk = gh \Rightarrow K = f k K = g h K = g K \Rightarrow g \in K$ Widerspruch!
|
|
\end{bew}
|
|
|
|
\begin{definition}
|
|
Eine transitive $G$-Menge X heißt primitiv $\Leftrightarrow \forall x \in X: \Stab_G(x)$ maximale Untergruppe von $G$ ist.
|
|
\end{definition}
|
|
|
|
\begin{diagram}
|
|
\text{2-transitiv} & \Rightarrow & \text{"`primitiv"'} & \Rightarrow & \text{transitiv} \\
|
|
\Downarrow & & \Updownarrow & & \Updownarrow \\
|
|
\text{Stab = max. Untergruppe} & & \text{Stab = max. Untergr.} & & \text{Stab = bel. Untergr.}
|
|
\end{diagram}
|
|
|
|
\begin{satz}
|
|
Eine transitive $G$-Menge $X$ ist primitiv $\Leftrightarrow$ wenn gilt: Sei $Y \subsetneq X, \abs{Y} \geq 2$. Dann gibt es für alle $g \in G$ Elemente $y,z \in Y$ mit $gy \in Y, gz \notin Y$.
|
|
\end{satz}
|
|
|
|
\underline{Anwendungen:}
|
|
\begin{satz} % 1.3.12
|
|
Sei $G$ endlich, $H, K \leq G$. Es gilt:
|
|
$$ \abs{H \cdot K} = \frac{\abs{H} \cdot \abs{K}}{\abs{H \cap K}} $$
|
|
\end{satz}
|
|
|
|
\begin{bew}
|
|
Sei $X = G/K$ eine $G$-Menge. Durch Einschränken ist $G/K$ auch $H$-Menge. \\
|
|
Sei $H_K$ die Bahn von $K = 1\cdot K$ unter dieser $H$-Operation. \\
|
|
Klar: $H_K = \set{hK \mid h \in H}, H K = \mathop{\cup}\limits_{h \in H} h K$. \\
|
|
Also ist $HK$ die Vereinigung von $K$-Nebenklassen von $G$ mit Vertretern aus $H$. \\
|
|
Also ist $\abs{HK} = \abs{\lsup{H}{K}} \cdot \abs{K}$. Nach 1.3.7 ist $\abs{\lsup{H}{K}} = \abs{H : \Stab_H(K)}$ \\
|
|
$\Stab_H(K) = \set{h \in H \mid hK = K} = K \cap H$. \\
|
|
Also ist $\abs{HK} = \abs{K} \cdot \abs{\lsup{H}{K}} = \abs{K} \cdot \abs{H : \Stab_H(K)} = \abs{K} \cdot \abs{H : (H \cap K)} = \abs{K} \cdot \frac{\abs{H}}{\abs{H \cap K}}$
|
|
\end{bew}
|
|
|
|
\underline{Konjugationsop:} $\abs{G} = n \in \N, 1 = g_1, g_2, \ldots, g_k$ seien Vertreter der Konjugationsklassen von $G$. \\
|
|
$\cC_i := \lsup{G}{g_i} = \set{g g_i g^{-1} \mid g \in G}$ Bahn \\
|
|
$C_i = \Stab_G(g_i) = C_G(g_i) = \set{h \in G \mid h g_i = g_i h} \leq G$ \\
|
|
|
|
\begin{satz} % 1.3.13
|
|
\underline{Klassengleichung:} Sei $\abs{G} = n$. \\
|
|
$ n = 1 + \sum_{i=2}^{k} \abs{G : C_i} = \abs{Z(G)} + \sum\limits_{i=1,\ldots,k, g_i \notin Z(G)} \abs{G : C_i} $
|
|
\end{satz}
|
|
|
|
\begin{bew}
|
|
Ohne Einschränkung: $Z(G) = \set{g_1, \ldots, g_l}, 1 \leq l \leq k \Rightarrow C_i = G \forall i = 1, \ldots, l, \cC_i = \set{g_i}$ \\
|
|
Mit 1.3.7 $\mathop{\Rightarrow}\limits_{i=1, \ldots, k} \abs{\lsup{G}{g_i}} = \abs{\cC_i} = [G:C_i] = [G:\Stab_G(g_i)]$
|
|
\end{bew}
|
|
|
|
\begin{definition}
|
|
Sei $G$ endliche Gruppe, $G^1 = [G, G]$. Definiere $D^{i}(G) (i \in \N)$ durch
|
|
\begin{enumerate}
|
|
\item $D^1(G) = G^1$
|
|
\item $i > 1: D^i(G) = [D^{i-1}(G), D^{i-1}(G)]$
|
|
\end{enumerate}
|
|
Klar: $D^i(G) \trianglelefteq D^{i-1}(G)$ und $D^{i-1}(G)/D^i(G)$ abelsch. \\
|
|
$G$ heißt auflösbar, falls $D^k(G) = (1)$ für ein $k \in \N \Leftrightarrow \exists (1) = N_1 \leq N_2 \ldots \leq N_m = G$ mit $N_i \trianglelefteq N_{i+1}$ und $N_{i+1}/N_i$ abelsch (zyklisch, zyklisc von Primzahlordnung nach Korrespondenzsatz). \\
|
|
Kann man zusätzlich $N_i$ so wählen, dass $N_i \trianglelefteq G$ ist, so heißt $G$ Überauflösbar ("`supersolvable"'). \\
|
|
$N \trianglelefteq G$: mit $N$ auflösbar, $G/N$ auflösbar $\Leftrightarrow G$ auflösbar.
|
|
\end{definition}
|
|
|
|
Sei $Z_i(G)$ induktiv durch folgendes definiert:
|
|
\begin{enumerate}[i)]
|
|
\item $Z_1(G) = Z(G) \trianglelefteq G$ (charakteristisch)
|
|
\item $Z_2(G)$ ist volles Urbild von $Z(G/Z(G))$ in $G$ unter natürlicher Projektion $G \rightarrow G/Z(G)$. \\
|
|
Beachte: Nach Korrespondenzsatz (1.2.10) gilt: $Z_2(G) \trianglelefteq G$. \\
|
|
($Z_2(G) = \set{g \in G \mid g Z(G) \in Z(G/Z(G)) }$)
|
|
\item $i > 1: Z_i(G)$ ist volles Urbild von $Z(G/Z_{i-1})$ in $G, Z_i(G) \trianglelefteq G$.
|
|
\end{enumerate}
|
|
Haben: $(1) = Z_1(G) \trianglelefteq Z_2(G) \trianglelefteq \ldots \trianglelefteq Z_i(G) \trianglelefteq \ldots$ \\
|
|
$Z_i(G) / Z_{i-1}(G)$ abelsch, $Z_i(G) \trianglelefteq G$. (Beweis: Übung) \\
|
|
$G$ heißt nilpotent, falls $\exists k \in \N: Z_k(G) = G$. \\
|
|
\underline{Beachte:} nilpotent $\Rightarrow$ überauflösbar $\Rightarrow$ auflösbar
|
|
|
|
\begin{korr} % 1.3.14
|
|
Sei $G$ eine $p$-Gruppe, $p$ Primzahl (d.h. $\exists t \in \N: \abs{G} = p^t$), Dann ist $\abs{Z(G)} > 1$. \\
|
|
Insbesondere ist $G$ nilpotent.
|
|
\end{korr}
|
|
|
|
\begin{bew}
|
|
$x \in G, x \notin Z(G) \Rightarrow C_G(x) \lneq G \Rightarrow [G : C_G(x)]$ wird von p geteilt. \\
|
|
Klassengleichung: $\abs{G} = p^t = \abs{Z(G)} + \sum\limits_{i=l+1}^k \abs{G : C_G(g_i)}$ \\
|
|
$p$ teilt $\abs{G : C_G(g_i)} \Rightarrow p $ teilt die Summe $\Rightarrow p $ teilt $ \abs{Z(G)}$. \\
|
|
Rest: Übung.
|
|
\end{bew}
|
|
|
|
\begin{bem}
|
|
Berühmte Ergebnisse:
|
|
\begin{enumerate}[I)]
|
|
\item Brunside's $pq$-Theorem: Seien $p, q$ Primzahlen, $\abs{G} = p^a \cdot q^b, a, b \in \N \Rightarrow G$ ist auflösbar.
|
|
\item Feit-Thompson: Ist $2 \nmid \abs{G} \Rightarrow G$ ist auflösbar.
|
|
\end{enumerate}
|
|
\end{bem}
|
|
|
|
\underline{Beachte:} Sei $H \leq G$. Dann ist $H \trianglelefteq G \Leftrightarrow H$ ist Vereinigung von (disjunkten) Konjugationsklassen von $G$; denn
|
|
$gHg^{-1} = H \forall g \in G$ gilt genau dann, wenn $\forall h \in H, g \in G: c_g(h) = ghg^{-1} \in H$, d.h. $\lsup{G}{h} \subseteq H$. Daher ist
|
|
$\abs{H} = \sum\limits_{g_i \in H} \abs{C_i} $ % i ) 1, \ldots, k
|
|
|
|
\underline{Erinnerung:} Sei $H \leq G$. Dann ist $N_g(H) = \set{g \in G \mid gHg^{-1} = H} \leq G$ und $H \trianglelefteq N_G(H) = $ die eindeutig bestimmte größte Untergruppe von $N$,
|
|
in der $H$ normal ist. $H \trianglelefteq G \Leftrightarrow N_G(H) = G$.
|
|
|
|
\begin{satz} % 1.3.15
|
|
Sei $\abs{G} = n < \infty$, und sei $H \leq G$. Sei $\mathcal{A} = \set{gHg^{-1} \mid g \in G}$. Dann ist $\abs{\mathcal{A}} = \abs{G : N_G(H)}$.
|
|
\end{satz}
|
|
|
|
\begin{bew}
|
|
$G$ operiert auf $\sigma(G)$ ($\set{K \leq G}$) per Konjugation, und $\mathcal{A}$ ist gerade die Bahn $\lsup{G}{H}$ von $H$ unter dieser Operation.
|
|
$N_G(H) = \Stab_G(H)$. So folgt die Behauptung aus 1.3.7.
|
|
\end{bew}
|
|
|
|
\begin{definition}
|
|
$H, K \leq G, z \in G$. Dann heißt $HzK = \set{hzk \mid h \in H, k \in K}$ die $H$-$K$-Doppelnebenklasse von $z$. \\
|
|
Definiere $\sim$ auf $G$ durch $, y \in G$, so ist $x \sim y \Leftrightarrow \exists h \in H, k \in K: y = hxk$
|
|
\begin{enumerate}[i)]
|
|
\item $ x = 1_H x 1_K \Rightarrow x \sim x \forall x \in G$
|
|
\item $ y = hxk \Rightarrow x = h^{-1}yk^{-1} \Rightarrow$ Symmetrie
|
|
\item $ y = h_1 x k_1, z = h_2 y k_2 \Rightarrow z = h_2 h_1 x k_1 k_2 \Rightarrow x \sim z$
|
|
\end{enumerate}
|
|
Also ist $G$ disjunkte Vereinigung der $H$-$K$-Doppelnebenklassen.
|
|
\end{definition}
|
|
|
|
\underline{Klar:} $HzK = \bigcup\limits_{h \in H} hzK = \bigcup\limits_{k \in K} Hzk$ ist (disjunkte) Vereinigung von $K$-Links- bzw $H$-Rechtsnebenklassen in $G$.
|
|
|
|
\begin{satz} % 1.3.16
|
|
Sei $\abs{G} = n < \infty, H, K \leq G$ und $ \in G$. Dann gilt: \\
|
|
$$ \abs{HzK} = \frac{\abs{H} \cdot \abs{K}}{\abs{H \cap zKz^{-1}}} = \frac{\abs{H} \cdot \abs{K}}{\abs{z^{-1}Hz \cap K}} = [H : (H \cap zKz^{-1}] \cdot \abs{K} = \abs{H} \cdot [K : (z^{-1}Hz \cap K] $$
|
|
Das kommt nicht von unefähr: Ist $h_1 = 1, h2, \ldots,h_l \in H$ ein Vertretersystem der Linksnebenklassen von $H \cap zKz^{-1}$ in $H$, d.h. $H = \mathop{\cup}\limits^{\bullet} h_i (H \cap zKz^{-1}$,
|
|
so ist $HzK = \bigcup\limits_{j=1, \ldots, l}^{\bullet} h_i z K$. Analog $K = \bigcup\limits_{j=1, \ldots, m}^{\bullet} (z^{-1}Hz \cap K) \cdot k_j, HzK = \bigcup\limits_{j=1, \ldots, m}^{\bullet} Hz k_j $
|
|
\end{satz}
|
|
|
|
\underline{Beweisidee:} $h \in H \cap zKz^{-1} \Leftrightarrow \exists k \in K: h = zkz^{-1} \Leftrightarrow hzK = zkz^{-1}z K = zkK = zK \Rightarrow h_i (z^{-1}H \cap K) zK= h_i zK$, Details Übung.
|
|
|
|
\begin{bew}
|
|
\begin{enumerate}[a)]
|
|
\item $\abs{HzK} = \abs{HzKz^{-1}} \mathop{=}\limits^{\text{1.3.12}} \frac{\abs{H} \cdot \abs{zKz^{-1}}}{\abs{H \cap zKz^{-1}}} = \frac{\abs{H} \cdot \abs{K}}{\abs{H \cap zKz^{-1}}} = \frac{\abs{H} \cdot \abs{K}}{\abs{z^{-1}Hz \cap K}}$
|
|
\item 2. Beweis: $G$ operiert auf $G / K$ wie üblich, also auch $H$ durch Einschränkung. $HzK$ ist die Vereinigung der Nebenklassen, die in $\lsup{H}{zK}$ liegen. Daher ist $\abs{HzK} = \abs{K} \cdot $ Bahnlänge $\abs{\lsup{H}{zK}}$. Nun ist $\Stab_H(zK) = \set{h \in H \mid hzK = zK}$. Aber $hzK = zK \Leftrightarrow z^{-1}hz = k \in K \Leftrightarrow h = zkz^{-1}$ ist $\exists k \in K$. \\
|
|
Also ist $\Stab_H(zK) = H \cap zKz^{-1} \mathop{\Rightarrow}\limits^{\text{1.3.7}} \abs{HzK} = \abs{K} [H : H \cap zKz^{-1}] = \frac{\abs{H}\cdot \abs{K}}{\abs{H \cap zKz^{-1}}}$
|
|
\end{enumerate}
|
|
\end{bew}
|
|
|
|
% \part{Lineare Gruppen}
|
|
|
|
$F$ ist ein Körper, $n \in \N, G = \GL_n(F) \cong \Aut_F(V), v = F$-Vektorraum mit $\dim_F(V) = n$ \\
|
|
$G = \set{A \in F^{n \times n} \mid \det A \neq 0} = $ volle lineare Gruppe. \\
|
|
$SL_n(F) = \set{A \in F^{n \times n} \mid \det A = 1} = $ spezielle lineare Gruppe. \\
|
|
$Z(G) = \set{\alpha \cdot E_{n \times n} | 0 \neq \alpha \in F}$ \\
|
|
$Z(\SL_n(F)) = Z(G) \cap \SL_n(G)$, da $G = \SL_n(F) \cdot \set{\pmatr{\alpha & & & 0 \\ & 1 & & \\ & & \ddots & \\ 0 & & & 1}}$ \\
|
|
$ Z(\SL_n(F)) = \set{ \alpha \cdot 1_G \mid 0 \neq \alpha \in F, \alpha^n = 1}$ \\
|
|
$\PSL_n(F) = \SL_n(F) / Z(\SL_n(F)) = $ "`projektive spezielle lineare Gruppe"' \\
|
|
\underline{Ziel:} $\Gamma = \PSL_n(F), \Gamma \neq \PSL_n(\GF(q))$ für $n = 2, q = 2, 3$ und $n = 3, q = 2$, dann ist $\PSL_n(F)$ einfach.
|
|
|
|
\underline{Notation:} $\abs{F} = \GF(q) = \F_q$ Körper mit $q$ Elementen, $q = p^a, p$ Primzahl, $a \in N$. \\
|
|
$G = \GL_n(q), \SL_n(F) = \SL_n(q), \PSL_n(F) = \PSL_n(q)$ \\
|
|
$\abs{G} = \prod\limits_{k=1}^{n} (q^n - q^{k-1}) = (q^n-1)(q^n-q)(q^n-q^2)\ldots = q^{\frac{n(n-)}{2}} (q^n-1)(q^{n-1}-1)\ldots(q-1)$
|
|
$\abs{\SL_n(q)} = \frac{\abs{\GL_n(q)}}{q-1}, \abs{\PSL_n(q)} = \frac{\abs{\SL_n(q)}}{\abs{ \alpha \mid \alpha^n = 1 \in F}} $
|
|
|
|
\chapter{Basics und Bruhat-Zerlegung}
|
|
|
|
\begin{satz} % 2.1.1
|
|
$\abs{\GL_n(q)} = $ oben (Algebra)
|
|
\end{satz}
|
|
|
|
\begin{definition}
|
|
$T := \set{ \text{Diagonalmatrizen in } G = diag(\alpha_1, \ldots, \alpha_n) \mid 0 \neq \alpha_i \in \F_q}, \abs{T} = (q-1)^n$, Standard (Split) "`Torus"' \\
|
|
$B := \set{ A = \text{obere Dreiecksmatrizen in } G \mid \det A = \prod \alpha_i \neq 0}$, Standard "`Boreluntergruppe"' von $G$ \\
|
|
Klar: $T \leq B \leq G$ "`Borus"', "`Torel"'; $A \in B \Rightarrow A^{-1} \in B; X, Y \in B \Rightarrow XY \in B$, also $B \leq G$. \\
|
|
$U = \set{ A \in B \mid \text{Diagonaleinträge von $A$ sind 1}} \leq B$ \\
|
|
$A \in B, X \in U: AXA^{-1} \in U \Rightarrow U \trianglelefteq B$
|
|
\end{definition}
|
|
|
|
\underline{Klar:} $U \cap T = (1_G)$. \\
|
|
Sei $A = \in B \Rightarrow A \cdot \pmatr{A_{11}^{-1} & & 0 \\ & \ddots & \\ & & A_{nn}^{-1}} \in U$ \\
|
|
d.h. $Y \in T, A \cdot Y = X \Rightarrow A = X \cdot Y^{-1}$. Also ist $B = U \cdot T$.
|
|
|
|
\begin{definition}
|
|
\begin{enumerate}[i)]
|
|
\item Eine Untergruppe von $G$, die konjugiert zu $B$ ist, heißt Boreluntergruppe von $G$.
|
|
\item Sei $\xi = (e_1, \ldots, e_n)$ natürliche Basis von $\F_q^n$, Für $\pi \in \sigma_n$ sei $\xi_{\pi} = (e_{\pi(1)}, \ldots, e_{\pi(n)})$. \\
|
|
Sei $E_{\pi} = m_{\id}(\xi, \xi_\pi) $ Basiswechselmatrix von $\xi$ nach $\xi_\pi$ \\
|
|
Beispiel: $\pi = (2,3,1): E_\pi = \pmatr{0 & 0 & 1 \\ 1 & 0 & 0 \\ 0 & 1 & 0} = $ Permutationsmatrix zu $\pi$. \\
|
|
Beachte: Matrix-Einheit: $e_{ij} = (\delta_{r s}) \in M_{n \times n}(\F_q) $ \\
|
|
$E_\pi = \sum\limits_{i=1}^n e_{\pi(i)i}$
|
|
\end{enumerate}
|
|
\end{definition}
|
|
|
|
\begin{definition}
|
|
Eine Permutationsmatrix $A \in M_{n \times n}(F)$ ist eine Matrix, die in jeder Spalte und Zeile genauen einen von 0 verschiedenen Eintrag hat, der 1 ist. \\
|
|
Sei $A$ Permutationsmatrix. Definiere $\pi: \set{1, \ldots, n} \rightarrow \set{1, \ldots, n}$ durch $\pi(i) = j \Leftrightarrow A_{\pi(i)j} = 1$.
|
|
\end{definition}
|
|
|
|
Also ist $\pi \mapsto E_\pi$ eine Bijektion von $\sigma_n$ in $W := \set{\text{Permutationsmatrizen}}$.
|
|
|
|
Seien $\sigma, \pi \in \sigma_n$. Dann ist $E_\pi \cdot E_\sigma = (\sum_{i=1}^n e_{\pi(i)i}) (\sum_{j=1}^n e_{\sigma(j)j}) = \sigma_{i,j} e_{\pi(i)i} e_{\sigma(j)j}
|
|
= \sum_{j=1}^{n} e_{\pi\sigma(j)j} = E_{\pi \sigma}$. \\
|
|
Also ist $\pi \mapsto E_\pi$ ein Isomorphismus von $\sigma_n$ in $W$, insbesondere ist $W \leq G$, $W$ heißt "`Weylgruppe"' von $G$.
|
|
|
|
\begin{satz} % 2.1.2 + 2.1.3
|
|
Die Menge $W$ der Permutationsmatrizen in $G = \GL_n(F)$ ist Untergruppe von $G$ und isomorph zu $\sigma_n$. \\
|
|
\underline{Beachte:} Sei $\pi \in W \Rightarrow \det \pi = \sign \pi \in \set{-1, +1}$
|
|
\end{satz}
|
|
|
|
\begin{bem}
|
|
Ist $E_\pi$ Permutationsmatrix zu $\pi \in \sigma_n, M \in F^{n \times n}$, so entsteht $\pi \cdot M = E_\pi M$ aus $M$ durch entsprechende Zeilenpermutationen und $M \pi$ durch
|
|
entsprechende Spaltenpermutationen. \\
|
|
$\sigma_n$ operiert auf der natürlichen Basis $\xi \rightsquigarrow \xi_\pi = (e_{\pi(1)}, \ldots, e_{\pi(n)})$.
|
|
\end{bem}
|
|
|
|
\begin{definition}
|
|
Sei $1 \leq i,j \leq n, i \neq j$, und sei $\alpha \in F$. Dan sei $x_{ij}(\alpha) \in F^{n \times n}$ die entsprechende Elementarmatrix $A = (\alpha_{st})$ mit
|
|
$\alpha_{st} = \left\{\matr{1 & \text{für } s = t \\ \alpha & \text{für } s = i, t = j \\ 0 & \text{sonst}}\right.$ \\
|
|
$x_{ij}(\alpha) = \pmatr{1 & & \alpha \\ & \ddots & \\ & & 1}, \alpha$ an Position $i,j$ \\
|
|
Die Matrizen $x_{ij}(\alpha)$ und ihre $G$-konjugierten heißen Transvektionen. \\
|
|
\underline{Beachte:} $x_{ij}(\alpha) \cdot M$ entsteht aus $M$ durch Addition von Reihe (Saplte) $j$ mal $\alpha$ zu Zeile (Spalte) $i$ ($M \cdot x_{ij}(\alpha)$.
|
|
\end{definition}
|
|
|
|
\begin{lemma} % 2.1.4
|
|
Seien $\alpha, \beta \in F, i \neq j, \pi in W$
|
|
\begin{enumerate}[i)]
|
|
\item $\det(x_{ij}(\alpha)) = 1$, also ist $x_{ij}(\alpha) \in \Omega_n(F) \leq \GL_n(F)$.
|
|
\item Ist $\alpha \neq 0$, so ist $x_{ij}(\alpha) \in B \Leftrightarrow i < j$. ($U \leq B$)
|
|
\item $x_{ij}(\alpha) x_{ij}(\beta) = x_{ij}(\alpha + \beta), x_{ij}(\alpha)^{-1} = x_{ij}(-\alpha)$.
|
|
So ist $X_{ij} = \set{x_{ij}(\alpha) \mid \alpha \in F} \leq G$ die sogenannte Wurzeluntergruppe zur Wurzel $(j-i)$; $X_{ij} \cong (F, +)$
|
|
\item Sind $i, j, k \in \set{1, \ldots, n}$ paarweise verschieden, so ist $[x_{ij}(\alpha), x_{jk}(\beta) ] = x_{ik}(\alpha \beta)$
|
|
\item Ist $\pi \in \sigma_n$, so ist $\pi x_{ij}(\alpha) \pi^{-1} = x_{\pi(i)\pi(j)}(\alpha)$
|
|
\item Bemerkung von oben.
|
|
\end{enumerate}
|
|
\end{lemma}
|
|
|
|
\begin{bew}
|
|
\begin{enumerate}
|
|
\item[i),ii)] trivial.
|
|
\item[iii)] Beachte: $x_{ij}(\alpha) = E + \alpha e_{ij}$ \\
|
|
$(E + \alpha e_{ij})(E + \beta e_{ij}) = E + (\alpha + \beta) e_{ij} + \alpha \beta e_{ij} e_{ij} = E + (\alpha + \beta) e_{ij} = x_{ij}(\alpha + \beta)$. \\
|
|
$\Rightarrow x_{ij}(\alpha) \cdot x_{ij}(-\alpha) = x_{ij}(0) = E = 1 \Rightarrow x_{ij}(\alpha)^{-1} = x_{ij}(-\alpha)$
|
|
\item[iv)] $[x_{ij}(\alpha), x_{jk}(\beta)] = (E + \alpha e_{ij})(E + \beta e_{jk})(E - \alpha e_{ij})(E - \beta e_{jk}) $ \\
|
|
$ = (E + \alpha e_{ij} + \beta e_{jk} + \alpha \beta e_{ik}) \cdot (E - \alpha e_{ij} - \beta e_{jk} + \alpha \beta e_{ik}) $ \\
|
|
$ = E - \alpha e_{ij} - \beta e_{jk} + \alpha \beta e_{ik} + \alpha e_{ij} - 0 - \alpha \beta e_{ik} + 0 + \beta e_{jk} - 0 + 0 + \alpha \beta e_{ik} - 0 - 0 + 0 $ \\
|
|
$ = E + \alpha \beta e_{ik} = x_{ik}(\alpha \cdot \beta) $
|
|
\item[v)] Beachte: $\pi e_{ij} = e_{\pi(i)j}$ wegen vi). $e_{ij} \pi^{-1} = e_{i\pi(j)}$; denn $E_\pi = \sum\limits_{s=1}^n e_{\pi(s)s}$ \\
|
|
$ \Rightarrow E_\pi e_{ij} = \sum\limits_{s=1}^n e_{\pi(s)s} e_{ij} = e_{\pi(s)j}, e_{ij} E_{\pi^{-1}} = \sum e_{ij} e_{\pi^{-1}(s)s} = e_{i \pi(j)}$ \\
|
|
$ \Rightarrow \pi x_{ij}(\alpha) \pi^{-1} = \pi (E + \alpha e_{ij}) \pi^{-1} = \pi E \pi^{-1} + \alpha \pi e_{ij} \pi^{-1} = E + \alpha e_{\pi(i) \pi(j)} = x_{\pi(i)\pi(j)}(\alpha)$
|
|
\end{enumerate}
|
|
\end{bew}
|
|
|
|
\underline{Ziel:} $G = \bigcup\limits_{w \in W}^{\bullet} BwB$, insbesondere: es gibt $n!$ viele $B$-$B$-Doppelnebenklassen in $G$ ($U$-$B$-, $B$-$U$-). "`Bruhat-Zerlegung"'
|
|
|
|
\begin{lemma} % 2.1.5
|
|
Sei $M \in G$. Dann gibt es ein $b \in B (U)$ so, dass gilt: \\
|
|
Für $1 \leq i \leq n$ gibt es eine eindeutig bestimmte Zeile $k_i$ in $b \cdot M$ so, dass der $i$-te Eintrag in dieser Zeile der erste von 0 verschiedene Eintrag in ihr ist,\\
|
|
und $\set{k_1, \ldots, k_n} = \set{1, \ldots, n}$; $i \mapsto k_i \in \sigma_n$.
|
|
\end{lemma}
|
|
|
|
\begin{bew}
|
|
Die 1. Spalte von $M$ kann nicht die 0-Spalte sein $\Rightarrow \exists k_1$ so, dass Eintrag $k_i$ in $M = (\alpha_{rs})$ ungleich 0 aber $\alpha_{r1} = 0$ für $r > k_1$ ist. (Der letzte von 0 verschiedene Eintrag in der Spalte). \\
|
|
Durch elementare Zeilentransformationen ($x_{1,l}(\frac{-\alpha_{l,1}}{\alpha_{k_1 1}})$, $l < k_1$) aus $U$ kann man $M'$ erhalten, in der $k_i$ der einzige von 0 verschiedene Eintrag in der 1. Spalte ist. \\
|
|
Streiche 1. Spalte und $k_1$-te Zeile und arbeite induktiv weiter.
|
|
\end{bew}
|
|
|
|
\begin{satz} % 2.1.6
|
|
$G = BWB = \bigcup\limits_{w \in W} BwB$ (bzw. $UwB$ oder $BwU$).
|
|
\end{satz}
|
|
|
|
\begin{bew}
|
|
$M \in G, b \in B, k_i$ wie in 2.1.5 gewählt. Die Abbildung $i \mapsto k_i$ ist Permutation $\pi = \pi_M \in \sigma_n$. \\
|
|
Sei $w = \pi^{-1}$. Dann ist $ wbM = \tilde{b} \in B \Rightarrow M = b^{-1} \pi \tilde{b} \in B \pi B$. \\
|
|
\underline{Beachte:} 2.1.5 konstruiert $\pi_M$ für $M$.
|
|
\end{bew}
|
|
|
|
\begin{lemma} % 2.1.7
|
|
Seien $w_1, w_2 \in W$ und $b \in B$, so dass $w_1 b w_2 \in B$ ist, dann ist $w_1^{-1} = w_2$.
|
|
\end{lemma}
|
|
|
|
\begin{bew}
|
|
Sei $1 \leq j \leq n$ beliebig und sei $i = w_1^{-1}(j)$, also $w_1(i) = j$. \\
|
|
Sei wieder $E = (e_1, \ldots, e_n)$ natürliche Basis von $F^n$,so ist $_1^{-1}(e_j) = e_i$. \\
|
|
Dann ist Zeile $j$ von $w_1 b$ gleich Zeile $i$ von $b$. \\
|
|
Sei $k = w_2^{-1}(i)$, d.h. $w_2(k) = i$, dann ist Spalte $k$ von $w_1 b w_2$ gleich Spalte $i$ von $w_1 b$. \\
|
|
Es sei $\beta = (b)_{ii} \in F$.
|
|
$\beta \neq 0$ ($b \in B$); $\beta$ ist auch $(w_1 b)_{ji}$ und $(w_1 b w_2)_{jk}$ (und immer noch $\neq 0$) \\
|
|
$\Rightarrow j \leq k$, da $w_1 b w_2 \in B$ \\
|
|
Wir haben $w_2^{-1}w_1^{-1}(j) = w_2^{-1}(i) = k \geq j \Rightarrow w_2^{-1} w_1^{-1} = 1 \Rightarrow w_1 = w_2^{-1}$
|
|
\end{bew}
|
|
|
|
\begin{korr} % 2.1.8
|
|
Seien $w, w' \in W, w \neq w'$. Dann ist $BwB \cup Bw'B = \emptyset$, und daher $G = \bigcup\limits_{\pi \in W}^{\bullet} B \pi B$.
|
|
\end{korr}
|
|
|
|
\begin{bew}
|
|
Sei $BwB \cap Bw'B \neq \emptyset \Rightarrow BwB = Bw'B \Rightarrow \exists b, b': w' = b w b' $ \\
|
|
$ \Rightarrow w^{-1} b^{-1} w' = b' \in B \Rightarrow w^{-1} = (w')^{-1} \Rightarrow w = w'$
|
|
\end{bew}
|
|
|
|
\begin{bem} % 2.1.9
|
|
In 2.1.5 wird das eindeutig bestimmte $w \in W$ für $M \in G$ konstruiert so, dass $M \in BwB$ ist.
|
|
\end{bem}
|
|
|
|
\begin{lemma} % 2.1.10
|
|
Sei $b \in B$. Dann gibt es ein Produkt $t$ von Transvektionen so, dass $t \cdot b$ Diagonalmatrix ist, die dieselben Diagonaleinträge wie $b$ hat. \\
|
|
Beweis klar.
|
|
\end{lemma}
|
|
|
|
\begin{satz} % 2.1.11
|
|
$G$ wird von $T \leq G$ und der Menge der Transvektionen erzeugt.
|
|
\end{satz}
|
|
|
|
\begin{bew}
|
|
Sei $H$ die Untergruppe von $G$, die von diesen Matrizen erzeugt wird. \\
|
|
Zu zeigen: $ H = G $ \\
|
|
Wegen 2.1.10 ist $B \leq H$, und daher genügt es wegen der Bruhat-Zerlegung 2.1.8 zu zeigen, dass $w \in H \forall w \in W$. \\
|
|
Dafür genügt es zu zeigen: $\tau_{i,j} \in \sigma_n$ ist in $H$ enthalten: \\
|
|
$E_{\tau_{i,j}} = \sum\limits_{s\neq i, s\neq j} e_ss + e_ij + e_ji = x_{ji}(1)x_{ij}(-1)x_{ji}(1) \cdot D, D$ Diagonalmatrix. \\
|
|
$w = x_{ji}(1)x_{ij}(-1)x_{ji}(1), w e_k = \left\{\matr{e_n & \text{für } k \neq i, k \neq j \\ e_j & \text{für } k = i \\ - e_i & \text{für } k = j}\right.$
|
|
\end{bew}
|
|
|
|
Missing: 17.11.2009
|
|
|
|
$P_f = U_f \rtimes L_f$
|
|
|
|
\underline{Beispiele:} $V = F^n, \xi = (e_i, \ldots, e_n), V_i = < e_i, \ldots, e_{n_i} >, 0 < n_1 < \ldots < n_k = n f = (V_1, \ldots, v_n) $ \\
|
|
\underline{Beachte:} $V_i = V_{i-1} \oplus y_i, y_i := < e_{n_i+1}, \ldots, e_{n_i} > $ \\
|
|
$ v_i = n_i, v_2 = n_2 - n_1, v_3 = n_3 - n_2, \ldots, v_k = n_k - n_{k-1}, v_i = \dim_F(y_i) $ \\
|
|
$L_f = \set{\text{Matrix mit von 0 verschiedenen Blöcken der Größen }v_i \times v_i\text{ auf der Diagonale aus } G}$ \\
|
|
...
|
|
|
|
$ v = (v_1, \ldots, v_k) \vDash n $ Wir schreiben $P_v = U_v \rtimes L_v$ anstatt $P_f, L_f, U_f$. ($\nu = (n) \Rightarrow P_{(n)} = G = L_{(n)}, U_{(n)} = (1)$) \\
|
|
\underline{Sonderfall:} $v = (1^n) = (1, \ldots, 1) \vDash n, P_v = B = u \cdot T$, Borus.
|
|
|
|
\begin{definition}
|
|
Eine $n \times m$-Matrix $A$ heißt (untere) \underline{unitriangulär}, falls folgendes gilt: $A_{ii} = 1, A_{ij} = 0 \forall i < j$ (allgemeine untere Dreiecksmatrix mit 1 auf der Diagonale), analog obere.
|
|
\end{definition}
|
|
|
|
\begin{lemma} % 2.2.5
|
|
Sei $V = F^n, f = (W_1, \ldots, W_n)$ mit $W_i = < e_1, \ldots, e_i >, \xi = (e_1, \ldots, e_n)$ natürliche Basis von $V$. \\
|
|
Sei $X$ ein $B$-invarianter Unterraum von $V$, d.h. $bx \in X \forall b \in B, x \in X (\Rightarrow bX = X$. \\
|
|
Dann ist $W = W_i$ für ein $1 \leq i \leq n$.
|
|
\end{lemma}
|
|
|
|
\begin{bew}
|
|
Sei $1 \leq k \leq n$ minimal mit $X \subseteq W_k$. Wir zeigen: $X = W_k$. \\
|
|
Dann existiert ein $x = \sum\limits_{i=1}^k \alpha_i e_i$ mit $\alpha_k \neq 0$ (da $k$ minimal). \\
|
|
... $ \exists b \in B: b \cdot x = e_k \Rightarrow e_k \in X$ \\
|
|
Nun ist $(E + e_{k-1,k}) e_k = e_k + e_{k-1} \in X \Rightarrow e_{k-1} \in X$, analog $\forall i \leq k: e_i \in X \Rightarrow W_k \subseteq X \Rightarrow W_k = X$.
|
|
\end{bew}
|
|
|
|
\begin{satz} % 2.2.6
|
|
Sei $B \leq H \leq G$. Dann is $H$ eine Standardparabolische Untergruppe, d.h. $ \exists \nu \vDash n, H = P_{\nu} $
|
|
\end{satz}
|
|
|
|
\begin{bew}
|
|
Sei $X$ ein $H$-invarianter Unterraum von $V$. Dann ist $X$ auch $B$-invariant, wil $B \subseteq H$.
|
|
Also gibt es ein $1 \leq i \leq n: X = W_i = < e_1, \ldots e_i >, \xi = (e_1, \ldots e_n)$ natürliche Basis wegen 2.2.5. \\
|
|
Seien $W_{\alpha_1}, \ldots, W_{\alpha_r}$ mit $1 \leq \alpha_1 < \alpha_2 < \ldots < \alpha_r = n$ genau die $H$-invarianten
|
|
Unterräume von $V$. $\underline{\alpha} = (\alpha_1, \ldots, \alpha_r), W_{\alpha_i} = < e_1, \ldots, e_{\alpha_i} > $
|
|
$ F_{\underline{\alpha}} = (W_{\alpha_1}, \ldots, W_{\alpha_r})$ ist $H$-invariante Fahne von Dimensionstyp $\underline{\alpha}$. \\
|
|
Sei $\mu_1 = \alpha_1,_2 = \alpha_2 - \alpha_1, \ldots, \mu_r = \alpha_r - \alpha_{r-1}$
|
|
$ \Rightarrow \mu = (\mu_1, \ldots, \mu_r) \vDash n $. \\
|
|
$\Stab_G(F_{\underline{\alpha}}) = P_{\mu}, H \leq P_\mu$ \\
|
|
Zu zeigen: $H = P_{\mu}$. \\
|
|
\underline{Spezialfälle}
|
|
\begin{enumerate}[1.)]
|
|
\item $r = 1, \mu = (n), P_{\mu} = G$ \\
|
|
Zu zeigen: $H = G$ \\
|
|
$ < H e_1 > = H$-invarianter Unterraum $\Rightarrow V = < H e_1 >$
|
|
$ \Rightarrow \exists h \in H: he_1 = \alpha_1 e_1 + \ldots + \alpha_n e_n$ mit $\alpha_n \neq 0$ \\
|
|
Bruhat-Zerlegung: $h \in B w B, \exists w \in W $ \\
|
|
2.1.9 und 2.1.5 $\Rightarrow$ Für $g \in BwB$ hat $g$ als Matrix die Form ... \\
|
|
d.h. hier für $h \in BwB: w(1) = n$ \\
|
|
Beachte: Wegen $B \subseteq H$ ist $h = b_1 w b_2 \Rightarrow w = b_1^{-1} h b_2^{-1} \in H$ \\
|
|
Sei $1 < j \leq n$ mit $w(j) = 1$ (Ohne Einschränkung $n \geq 2$) \\
|
|
Dann ist $X_{1j} = \set{x_{1j}(\alpha) | \alpha in F} \leq B \leq H$ \\
|
|
$X_{n1} = X_{w(1)w(j)} = wX_{1j}w^{-1} \in H$ (mit 2.1.4) \\
|
|
Sei $1 \leq i < m < n \Rightarrow X_{im} \subseteq B \subseteq H $ \\
|
|
Dann ist $X_{nm}(\alpha) = [x_{n1} (\alpha), x_{1m}(1) ] \in H \forall \alpha \in F$ (mit 2.1.4) \\
|
|
$ \Rightarrow X_{nm} \subseteq H$ \\
|
|
$ \forall 1 \leq < n: x_{i1}(\alpha) = [x_{in}(\alpha, x_{n1}(1)] \in H \Rightarrow X_{i1} \subseteq H$ \\
|
|
$ \forall 1 < i,m \leq n, i \neq m: x_{im}(\alpha) = [ x_{i1}(\alpha), x_{1m}(1) ] \in H \Rightarrow X_{im} \subseteq H$ \\
|
|
Wir haben gezeigt $X_{ij} \subseteq H \forall 1 \leq i, j \leq n, i \neq j$ \\
|
|
Da $T \subseteq B \subseteq H \Rightarrow H = G$.
|
|
\item $r = 2, I_{\underline{\alpha}} = W_m \lneq V = W_n$ \\
|
|
Wir wissen schon: $H \leq P_{\mu}, \mu = (m, n - m) \vDash n$ \\
|
|
Klar: $U_\mu \subseteq B \subseteq H, P_\mu = U_\mu \rtimes L_\mu$, es genügt also zu zeigen: $L_\mu \subseteq H$. \\
|
|
$L \cong \GL_m(F) \times \GL_{n-}(F)$ \\
|
|
$\GL_m(F) = < \text{Diagonalmatrizen in } \GL_m(F) \text{ und } x_{ij}(\alpha) >$, analog $\GL_{n-m}$ \\
|
|
Es genügt also zu zeigen: $X_{ij} \in H \forall 1 \leq i, j \leq m, i $ und $m + 1 \leq i, j \leq n$ \\
|
|
Sei $X_1 = < H e_1 > = H$-invarianter Unterraum von $W_m \Rightarrow X_1 = W_m$ \\
|
|
D.h $\exists h \in H, h e_1 = \alpha e_1 + \ldots \alpha_m e_m$ mit $\alpha_m \neq 0$. \\
|
|
Sei $w \in W$ mit $h \in BWB$. Wie oben folgt aus 2.1.9 und 2.1.5 $w(1) = m$ und daher $X_{m1} \subseteq H$. \\
|
|
Beachte: $w \in H \Rightarrow w^{-1}(1) = j \leq m$ \\
|
|
$X_{m1} = X_{w(1)w(j)} = w X_{1j} w^{-1} \in H$. \\
|
|
Kommutatoren wie im ersten Spezialfall $\Rightarrow X_{ij} \subseteq H \forall 1 \leq i, j \leq m \Rightarrow \GL_m(F) \subseteq H$. \\
|
|
$<H e{m+1} >$ ebenfalls $H$-invariant $\Rightarrow \exists h \in H: h e_{m+1} = \alpha_{m+1} e_{m+1} + \ldots + \alpha_n e_n$ mit $\alpha_n \neq 0$. \\
|
|
Es folgt analog wie eben $X_{ij} \subseteq H \forall m+1 \leq i, j \leq n \Rightarrow \GL_{n-m}(F) \subseteq H$. \\
|
|
$ \Rightarrow P_\mu \subseteq H \Rightarrow H = P_\mu$
|
|
\end{enumerate}
|
|
Übung: Allgemeiner Fall.
|
|
\end{bew}
|
|
|
|
|
|
\end{document}
|