Kurs:Körper- und Galoistheorie (Osnabrück 2018-2019)/Vorlesung 12/kontrolle

Graduierungen

Wir möchten Körpererweiterungen beschreiben, die eine besonders übersichtliche Struktur aufweisen und eng mit einfachen Radikalerweiterungen zusammenhängen. Insbesondere sind ihre Galoisgruppen und ihre Zwischenkörper häufig einfach beschreibbar.

Definition Referenznummer erstellen

Es sei ${}K$ ein Körper und ${}D$ eine kommutative Gruppe. Eine ${}K$- Algebra ${}A$ heißt ${}D$-graduiert, wenn es eine direkte Summenzerlegung

${}A=\bigoplus _{d\in D}A_{d}\,$

mit ${}K$- Untervektorräumen ${}A_{d}$ derart gibt, dass ${}K\subseteq A_{0}$ ist und für die Multiplikation auf ${}A$ die Beziehung

${}A_{d}\cdot A_{e}\subseteq A_{d+e}\,$

gilt.

Bemerkung   Referenznummer erstellen

In einer ${}D$- graduierten ${}K$- Algebra besitzt jedes Element ${}a\in A$ eine eindeutige Darstellung

$a=\sum _{d\in D}a_{d}{\text{ mit }}a_{d}\in A_{d},$

wobei nur endlich viele der ${}a_{d}$ ungleich ${}0$ sein können. Die ${}a_{d}$ heißen dabei die homogenen Komponenten von ${}a$, die ${}A_{d}$ heißen ebenfalls die homogenen Komponenten von ${}A$ (oder ${}d$-te Stufe) und Elemente ${}a\in A_{d}$ heißen homogen vom Grad ${}d$. Die Gruppe ${}D$ heißt die graduierende Gruppe. Der Fall ${}A_{d}=0$ ist erlaubt.

Durch eine Graduierung wird die Multiplikation auf einer Algebra ${}A$ übersichtlicher strukturiert. Man muss lediglich für homogene Elemente ${}a\in A_{d}$ und ${}b\in A_{e}$ die Produkte ${}ab\in A_{d+e}$ kennen, dadurch ist schon die gesamte Multiplikation distributiv festgelegt.

Beispiel Referenznummer erstellen

Es sei ${}K$ ein Körper und ${}K[X_{1},\ldots ,X_{n}]$ der Polynomring in ${}n$ Variablen über ${}K$. Dieser ist in naheliegender Weise ${}\mathbb {Z}$- graduiert. Man definiert für ein Monom ${}X_{1}^{k_{1}}X_{2}^{k_{2}}\cdots X_{n}^{k_{n}}$ den Grad durch ${}k_{1}+k_{2}+\cdots +k_{n}$ und setzt ${}A_{d}$ als den Vektorraum aller Polynome an, die Linearkombinationen von Monomen vom Grad ${}d$ sind. Bei der Multiplikation von zwei Monomen verhält sich der Grad offensichtlich additiv, sodass dadurch eine graduierte ${}K$-Algebra entsteht. Es ist ${}A_{0}=K$ und ${}A_{n}=0$ für negativen Grad ${}n$. Diese Graduierung heißt auch die Standardgraduierung auf dem Polynomring.

Beispiel Referenznummer erstellen

Es sei ${}K$ ein Körper, ${}a\in K$ und ${}n\in \mathbb {N}$. Dann besitzt die Restklassenalgebra ${}A=K[X]/(X^{n}-a)$ eine Graduierung mit der graduierenden Gruppe ${}D=\mathbb {Z} /(n)$, und zwar setzt man (wobei ${}x$ die Restklasse von ${}X$ sei)

${}A_{d}={\left\{\lambda x^{d}\mid \lambda \in K\right\}}\,.$

Jedes Element ${}f\in A$ kann man durch ein Polynom repräsentieren, das maximal den Grad ${}n-1$ besitzt. Daher besitzt jedes ${}f$ eine Summendarstellung mit Summanden aus den ${}A_{d}$. Diese Summenzerlegung ist direkt, da man mit der einzigen gegebenen Gleichung ${}X^{n}=a$ nicht weiter reduzieren kann. Die Multiplikationseigenschaft folgt aus ${}\lambda x^{d}\cdot \mu x^{e}=\lambda \mu x^{d+e}$, und dies ist gleich ${}\lambda \mu ax^{d+e-n}$, falls ${}d+e\geq n$ ist, und andernfalls gleich ${}\lambda \mu x^{d+e}$. So oder so ist es ein Element aus ${}A_{d+e}$.

Graduierte Körpererweiterungen

Im vorstehenden Beispiel ist es eine nicht-triviale Frage, unter welchen Bedingungen die Algebra ${}A$ wieder ein Körper ist. Falls ja, so liegt eine graduierte Körpererweiterung im Sinne der folgenden Definition vor.

Definition Referenznummer erstellen

Es sei ${}K$ ein Körper und ${}D$ eine endliche kommutative Gruppe. Unter einer ${}D$-graduierten Körpererweiterung versteht man eine Körpererweiterung ${}K\subseteq L$, bei der auf ${}L$ eine ${}D$- Graduierung ${}L=\bigoplus _{d\in D}L_{d}$ mit ${}L_{0}=K$ und ${}L_{d}\neq 0$ für alle ${}d\in D$ gegeben ist.

Beispiel Referenznummer erstellen

Die Körpererweiterung ${}\mathbb {R} \subset {\mathbb {C} }$ ist durch die Gruppe ${}D=\mathbb {Z} /(2)$ graduiert. Die ${}0$-te homogene Komponente ist ${}\mathbb {R}$ und die ${}1$-te Komponente ist ${}\mathbb {R} {\mathrm {i} }$ (das ${}{\mathrm {i} }$ gehört da dazu, während man unter dem Imaginärteil einer komplexen Zahl die reelle Zahl vor dem ${}{\mathrm {i} }$ versteht). Die übliche Schreibweise ${}z=a+b{\mathrm {i} }$ ist also die Zerlegung in die homogenen Komponenten.

Beispiel Referenznummer erstellen

Die ${}\mathbb {Q}$- Algebra ${}\mathbb {Q} [X]/(X^{4}+4)$ ist eine ${}\mathbb {Z} /(4)$- graduierte ${}\mathbb {Q}$-Algebra. Das Polynom ${}X^{4}+4$ besitzt keine Nullstelle in ${}\mathbb {Q}$, es ist aber nicht irreduzibel, wie die Zerlegung

${}X^{4}+4=(X^{2}-2X+2)(X^{2}+2X+2)\,$

zeigt. Es liegt also keine graduierte Körpererweiterung vor.

Beispiel Beispiel 12.8 ändern

Wir betrachten den von ${}{\sqrt {2}}$ und ${}{\sqrt {3}}$ erzeugten Unterkörper ${}L=\mathbb {Q} ({\sqrt {2}},{\sqrt {3}})=\mathbb {Q} [{\sqrt {2}},{\sqrt {3}}]$ von ${}{\mathbb {C} }$ (oder von ${}\mathbb {R}$). Die Elemente ${}1,{\sqrt {2}},{\sqrt {3}},{\sqrt {6}}$ bilden dabei unmittelbar ein ${}\mathbb {Q}$- Erzeugendensystem und sogar eine Basis, da man andernfalls ${}{\sqrt {3}}$ als rationale Linearkombination von ${}1$ und ${}{\sqrt {2}}$ ausdrücken könnte. Damit liegt insgesamt eine Körpererweiterung vom Grad vier vor. Sei ${}D=\mathbb {Z} /(2)\times \mathbb {Z} /(2)$. Wir setzen

$L_{(0,0)}=\mathbb {Q} ,\,L_{(1,0)}=\mathbb {Q} \cdot {\sqrt {2}},\,L_{(0,1)}=\mathbb {Q} \cdot {\sqrt {3}}\,,L_{(1,1)}=\mathbb {Q} \cdot {\sqrt {6}},$

und erhalten dadurch eine ${}D$- graduierte Körpererweiterung von ${}\mathbb {Q}$.

Beispiel Beispiel 12.9 ändern

Wir betrachten die Körpererweiterung

${}\mathbb {Q} \subseteq L:=\mathbb {Q} [{\mathrm {i} },{\sqrt {2}}]\,$

in ${}{\mathbb {C} }$. Diese besitzt eine ${}D=\mathbb {Z} /(2)\times \mathbb {Z} /(2)$- Graduierung, bei der ${}1,{\mathrm {i} },{\sqrt {2}},{\mathrm {i} }{\sqrt {2}}$ eine homogene Basis bilden. Das (in dieser Graduierung nicht homogene) Element ${}\zeta _{8}={\frac {1}{2}}{\left({\sqrt {2}}+{\sqrt {2}}{\mathrm {i} }\right)}$ ist eine ${}8$-te primitive Einheitswurzel und wegen ${}\zeta ^{2}={\mathrm {i} }$ ist ${}L=\mathbb {Q} (\zeta _{8})$ der achte Kreisteilungskörper Das Minimalpolynom zu ${}\zeta _{8}$ ist ${}X^{4}+1$, sodass man auch ${}L\cong \mathbb {Q} [X]/(X^{4}+1)$ schreiben kann. Dies zeigt, dass ${}L$ auch eine ${}\mathbb {Z} /(4)$-graduierte Körpererweiterung von ${}\mathbb {Q}$ ist, bei der ${}\zeta _{8}$ homogen ist.

Lemma Lemma 12.10 ändern

Es sei ${}K$ ein Körper, ${}D$ eine endliche kommutative Gruppe und ${}K\subseteq L$ eine ${}D$- graduierte Körpererweiterung. Dann gelten folgende Eigenschaften

1. Jede homogene Stufe ${}L_{d}$ besitzt die ${}K$- Dimension ${}1$.
2. Es ist ${}\operatorname {grad} _{K}L={\#\left(D\right)}$.
3. Es sei ${}D=(d_{1},\ldots ,d_{m})$ ein Erzeugendensystem von ${}D$ und es sei ${}x_{i}\in L_{d_{i}}$, ${}x_{i}\neq 0$, fixiert. Dann ist ${}L=K[x_{1},\ldots ,x_{m}]$. Insbesondere wird ${}L$ von homogenen Elementen erzeugt.
4. Jedes homogene Element ${}x\in L_{d}$, ${}x\neq 0$, besitzt ein Minimalpolynom der Form ${}X^{n}-a$ mit ${}a\in K$.
5. Die Körpererweiterung ${}K\subseteq L$ ist eine Radikalerweiterung.

Beweis

(1). Nach Voraussetzung ist ${}L_{d}\neq 0$. Es seien ${}a,b\in L_{d}$ von ${}0$ verschieden und sei ${}c\in L_{-d}$ ebenfalls ${}\neq 0$. Dann sind ${}ca$ und ${}cb$ Elemente ${}\neq 0$ in ${}L_{0}=K$ und daher besteht die Beziehung ${}ca=\lambda cb$ mit ${}\lambda \in K$, die sich durch Multiplikation mit ${}c^{-1}$ (dieses Element gibt es, da wir in einem Körper sind) zurückübersetzt zu ${}a=\lambda b$.
(2) folgt direkt aus (1).
(3) ist klar wegen (1).
(4). Es sei ${}n\in \mathbb {N}$ die Ordnung von ${}d\in D$. Für ein homogenes Element ${}x\in L_{d}$, ${}x\neq 0$, ist daher

${}a=x^{n}\in L_{nd}=L_{0}=K\,.$

Also ist ${}X^{n}-a\in K[X]$ ein annullierendes Polynom. Die Potenzen ${}x^{i}$, ${}0\leq i\leq n-1$, liegen alle in verschiedenen homogenen Stufen. Daher sind sie linear unabhängig und es kann kein annullierendes Polynom von kleinerem Grad geben.
(5) folgt aus (3) und (4).

$\Box$

Charaktergruppe und Automorphismengruppe bei einer graduierten Körpererweiterung

Wir wollen nun die Automorphismen auf einer graduierten Körpererweiterung kennenlernen. Die Graduierung erlaubt es, die Automorphismen übersichtlich zu beschreiben, was für eine beliebige Körpererweiterung keineswegs selbstverständlich ist. Die Automorphismen hängen eng mit den sogenannten Charakteren der graduierenden Gruppe zusammen, so dass wir zuerst über Charaktere sprechen.

Definition Referenznummer erstellen

Es sei ${}G$ ein Monoid und ${}K$ ein Körper. Dann heißt ein Monoidhomomorphismus

$\chi \colon G\longrightarrow (K^{\times },1,\cdot )$

ein Charakter von ${}G$ in ${}K$.

Die Menge der Charaktere von ${}G$ nach ${}K$ bezeichnen wir mit ${}\operatorname {Char} \,(G,K)$. Mit dem trivialen Charakter (also der konstanten Abbildung nach ${}1$) und der Verknüpfung

${}{\left(\chi _{1}\cdot \chi _{2}\right)}(g):=\chi _{1}(g)\cdot \chi _{2}(g)\,$

ist ${}\operatorname {Char} \,(G,K)$ selbst ein Monoid, und zwar ein Untermonoid des Abbildungsmonoid von ${}G$ nach ${}K^{\times }$. Da es zu jedem Charakter den inversen Charakter ${}\chi ^{-1}$ gibt, der durch

${}\chi ^{-1}(g)=(\chi (g))^{-1}\,$

definiert ist, bildet ${}\operatorname {Char} \,(G,K)$ sogar eine kommutative Gruppe(siehe unten).

Definition Referenznummer erstellen

Es sei ${}G$ ein Gruppe und ${}K$ ein Körper. Dann nennt man die Menge der Charaktere

${}G^{\vee }:=\operatorname {Char} \,(G,K)={\left\{\chi :G\rightarrow K^{\times }\mid \chi {\text{ Charakter}}\right\}}\,$

die Charaktergruppe von ${}G$ (in ${}K$).

Beispiel Referenznummer erstellen

Zur Gruppe ${}G=\mathbb {Z} /(n)$ und zum Körper ${}{\mathbb {C} }$ besteht die Charaktergruppe aus allen Gruppenhomomorphismen ${}\varphi \colon \mathbb {Z} /(n)\rightarrow {\mathbb {C} }^{\times }$. Da ein solcher durch das Bild des Erzeugers ${}1$ festgelegt ist, und dieser auf eine ${}n$-te Einheitswurzel geht, besteht eine natürliche Isomorphie zwischen der Charaktergruppe ${}{\left(\mathbb {Z} /(n)\right)}^{\vee }$ und der Gruppe ${}\mu _{n}$ der ${}n$-ten komplexen Einheitswurzeln. Diese Gruppe ist selbst isomorph zu ${}\mathbb {Z} /(n)$, aber nicht in kanonischer Weise.

Lemma Lemma 12.14 ändern

Es sei ${}G$ eine Gruppe, ${}K$ ein Körper und ${}G^{\vee }=\operatorname {Char} \,(G,K)$ die Charaktergruppe zu ${}G$. Dann gelten folgende Aussagen.

1. ${}G^{\vee }$ ist eine kommutative Gruppe.
2. Bei einer direkten Gruppenzerlegung ${}G=G_{1}\times G_{2}$ ist ${}(G_{1}\times G_{2})^{\vee }=G_{1}^{\vee }\times G_{2}^{\vee }$.

Beweis

Siehe Aufgabe 12.12.

$\Box$

Lemma Lemma 12.15 ändern

Es sei ${}K$ ein Körper, ${}D$ eine kommutative Gruppe und ${}A$ eine ${}D$- graduierte kommutative ${}K$- Algebra.

Dann gibt es einen Gruppenhomomorphismus

$D^{\vee }=\operatorname {Char} \,(D,K)\longrightarrow \operatorname {Aut} _{K}^{}{\left(A\right)},\,\chi \longmapsto (a_{d}\mapsto \chi (d)a_{d}),$

der Charaktergruppe von ${}D$ in die (homogene) ${}K$- Automorphismengruppe von ${}A$.

Wenn alle ${}A_{d}\neq 0$ sind, so ist diese Zuordnung injektiv.

Beweis

Zu jedem Charakter

$\chi \colon D\longrightarrow K^{\times }$

ist die durch

${}\varphi _{\chi }{\left(\sum _{d\in D}a_{d}\right)}=\sum _{d\in D}\chi (d)\cdot a_{d}$ definierte Abbildung ${}\varphi _{\chi }$ mit der Addition verträglich. Die Verträglichkeit mit der Multiplikation folgt für homogene Elemente ${}a_{d}\in A_{d}$ und ${}a_{e}\in A_{e}$ aus

${}\varphi _{\chi }(a_{d}\cdot a_{e})=\chi (d+e)a_{d}\cdot a_{e}=\chi (d)\cdot \chi (e)a_{d}\cdot a_{e}=\varphi _{\chi }(a_{d})\cdot \varphi _{\chi }(a_{e})\,,$

woraus sich aufgrund des Distributivgesetzes auch der allgemeine Fall ergibt. Für ${}a\in A_{0}$ (und insbesondere für ${}a\in K$) ist ferner ${}\varphi _{\chi }(a)=\chi (0)a=a$, sodass ein ${}K$- Algebrahomomorphismus vorliegt.
Der triviale (konstante) Charakter geht bei dieser Zuordnung auf die Identität. Es seien nun zwei Charaktere ${}\chi _{1},\chi _{2}\in \operatorname {Char} \,(D,K)$ gegeben. Für ein homogenes Element ${}a_{d}\in A_{d}$ ist

${}{\begin{aligned}\varphi _{\chi _{1}\cdot \chi _{2}}(a_{d})&={\left(\chi _{1}\cdot \chi _{2}\right)}(d)\cdot a_{d}\\&=\chi _{1}(d)\cdot \chi _{2}(d)\cdot a_{d}\\&=\chi _{1}(d)\cdot \varphi _{\chi _{2}}(a_{d})\\&=\varphi _{\chi _{1}}{\left(\varphi _{\chi _{2}}(a_{d})\right)}\\&={\left(\varphi _{\chi _{1}}\circ \varphi _{\chi _{2}}\right)}(a_{d}),\end{aligned}}$

sodass die Gesamtzuordnung mit den Verknüpfungen verträglich ist. Daher gilt auch

${}\varphi _{\chi }\circ \varphi _{\chi ^{-1}}=\varphi _{\chi \circ \chi ^{-1}}=\varphi _{1}=\operatorname {Id} _{A}\,,$

sodass jedes ${}\varphi _{\chi }$ ein ${}K$- Algebraautomorphismus und die Gesamtzuordnung ein Gruppenhomomorphismus ist.
Die Injektivität ergibt sich unter Verwendung von Lemma 4.9 folgendermaßen. Bei ${}\chi \neq 1$ gibt es ein ${}d\in D$ mit ${}\chi (d)\neq 1$. Nach Voraussetzung ist

${}A_{d}\neq 0\,,$

sei also ${}a\in A_{d}$, ${}a\neq 0$. Damit ist ${}\varphi _{\chi }(a)=\chi (d)a\neq a$, da ${}\chi (d)-1$ eine Einheit ist. Also ist ${}\varphi _{\chi }\neq \operatorname {Id} _{A}$.

$\Box$

Beispiel Referenznummer erstellen

Es sei ${}K$ ein Körper, ${}a\in K$ und ${}n\in \mathbb {N}$ derart, dass ${}X^{n}-a$ irreduzibel ist. Dann ist ${}K\subseteq K[X]/(X^{n}-a)$ nach Korollar 7.7 und nach Beispiel 9.5 eine ${}\mathbb {Z} /(n)$- graduierte Körpererweiterung.

Eine notwendige Voraussetzung für die Irreduzibilität von ${}X^{n}-a$ ist, dass ${}a$ in ${}K$ keine ${}n$-te Wurzel besitzt, da sonst das Polynom sofort einen Linearfaktor besitzt. Bei ${}n=2$ oder ${}n=3$ ist diese Bedingung auch hinreichend. Bei ${}n=2$ und wenn die Charakteristik von ${}K$ nicht gleich ${}2$ ist, so ist ${}1\neq -1$ und der nichttriviale Charakter

$\chi \colon D=\mathbb {Z} /(2)\longrightarrow K^{\times }$

mit ${}\chi (0)=1$ und ${}\chi (1)=-1$ definiert über Lemma 12.15 den nichttrivialen ${}K$- Körperautomorphismus mit ${}x\mapsto -x$ (wobei ${}x$ die Restklasse von ${}X$ sei), also die Konjugation in der quadratischen Körpererweiterung ${}K\subseteq K[X]/(X^{2}-a)$.

Fußnoten