Körper- und Galoistheorie/Gemischte Satzabfrage/7/Aufgabe/Lösung
Für jede
n
{\displaystyle {}n}
-te
Einheitswurzel
ζ
≠
1
{\displaystyle {}\zeta \neq 1}
gilt
ζ
n
−
1
+
ζ
n
−
2
+
⋯
+
ζ
+
1
=
0
.
{\displaystyle {}\zeta ^{n-1}+\zeta ^{n-2}+\cdots +\zeta +1=0\,.}
Es sei
L
{\displaystyle {}L}
ein
Körper und sei
H
⊆
Aut
(
L
)
{\displaystyle {}H\subseteq \operatorname {Aut} _{}^{}{\left(L\right)}}
eine
endliche
Untergruppe
der
Automorphismengruppe
von
L
{\displaystyle {}L}
. Es sei
K
=
Fix
(
H
)
{\displaystyle {}K=\operatorname {Fix} \,(H)}
.
Dann ist
grad
K
L
=
#
(
H
)
.
{\displaystyle {}\operatorname {grad} _{K}L={\#\left(H\right)}\,.}
Es sei
K
{\displaystyle {}K}
ein Grundkörper und
K
⊆
L
{\displaystyle {}K\subseteq L}
eine
Körpererweiterung
mit
endlichen Transzendenzbasen
f
1
,
…
,
f
m
{\displaystyle {}f_{1},\ldots ,f_{m}}
und
g
1
,
…
,
g
n
{\displaystyle {}g_{1},\ldots ,g_{n}}
.
Dann gibt es zu jedem Element
f
i
{\displaystyle {}f_{i}}
der ersten Transzendenzbasis ein Element
g
j
{\displaystyle {}g_{j}}
der zweiten Transzendenzbasis derart, dass
f
1
,
…
,
f
i
−
1
,
g
j
,
f
i
+
1
,
…
,
f
m
{\displaystyle {}f_{1},\ldots ,f_{i-1},g_{j},f_{i+1},\ldots ,f_{m}}
ebenfalls eine Transzendenzbasis ist.