blob: 690984943660f91f697986dc247bbdb2685d6bce (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
|
%
% erweiterung.tex
%
% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
%
\begin{frame}[t]
\setlength{\abovedisplayskip}{5pt}
\setlength{\belowdisplayskip}{5pt}
\frametitle{Körpererweiterungen}
\vspace{-20pt}
\begin{columns}[t,onlytextwidth]
\begin{column}{0.48\textwidth}
\begin{block}{Körpererweiterung}
$E,F$ Körper: $E\subset F$
\end{block}
\uncover<6->{%
\begin{block}{Vektorraum}
$F$ ist ein Vektorraum über $E$
\end{block}}
\uncover<7->{%
\begin{block}{Endliche Körpererweiterung}
$\dim_E F < \infty$
\end{block}}
\uncover<8->{%
\begin{block}{Adjunktion eines $\alpha$}
$\Bbbk(\alpha)$ kleinster Körper, der $\Bbbk$ und
$\alpha$ enthält.
\end{block}}
\uncover<9->{%
\begin{block}{Algebraische Erweiterung}
$\alpha$ algebraisch über $\Bbbk$, i.~e.~Nullstelle von
$m(X)\in\Bbbk[X]$
\end{block}}
\end{column}
\begin{column}{0.48\textwidth}
\uncover<2->{%
\begin{block}{Beispiele}
\begin{enumerate}
\item<3->
$\mathbb{R} \subset \mathbb{R}(i) = \mathbb{C}$
\item<4->
$\mathbb{Q}\subset \mathbb{Q}(\sqrt{2})$
\item<5->
$\mathbb{Q} \subset \mathbb{Q}(\sqrt{2}) \subset \mathbb{Q}(\sqrt[4]{2})$
\end{enumerate}
\end{block}}
\uncover<7->{%
\begin{block}{Grad}
$E\subset F$ heisst Körpererweiterung vom Grad $n$, falls
\[
\dim_E F = n =: [F:E]
\]
\uncover<8->{%
Gleichbedeutend: $\deg m(X) = n$}
\uncover<10->{%
\[
E\subset F\subset G
\Rightarrow
[G:E] = [G:F]\cdot [F:E]
\]
(in unseren Fällen)}
\end{block}}
\end{column}
\end{columns}
\end{frame}
|
