aboutsummaryrefslogtreecommitdiffstats
path: root/vorlesungen/slides/3/teilbarkeit.tex
blob: a5ea9b926a53b4d6ad239e0ecc1dfe4478529ef3 (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
%
% teilbarkeit.tex
%
% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
%
\begin{frame}[t]
\frametitle{Teilen}
\vspace{-15pt}
\begin{columns}[t,onlytextwidth]
\begin{column}{0.48\textwidth}
\begin{block}{Teilen in $\mathbb{Z}$}
Zu zwei Zahlen $a,b\in \mathbb{Z}$, \only<3->{{\color<3-4>{red}$a>b$}, }gibt es
immer \only<3->{{\color<3-4>{red}genau}} ein Paar $q,r\in\mathbb{Z}$ derart, dass
\begin{align*}
a&=bq+r
\\
\uncover<3->{{\color<3-4>{red}r}&{\color<3-4>{red}< b}}
\end{align*}
\end{block}
\end{column}
\begin{column}{0.48\textwidth}
\uncover<2->{%
\begin{block}{Teilen in $\mathbb{Q}[X]$}
Zu zwei Polynomen $a,b\in\mathbb{Q}[X]$, \only<4->{{\color<4>{red}$\deg a > \deg b$},}
gibt es 
immer \only<4->{{\color<4>{red}bis auf eine Einheit genau }}%
ein Paar $q,r\in\mathbb{Q}[X]$ derart, dass
\begin{align*}
a&=bq+r
\\
\uncover<4->{{\color<4>{red}\deg r}&{\color<4>{red}< \deg b}}
\end{align*}
\end{block}}
\end{column}
\end{columns}
\uncover<5->{%
\begin{block}{Allgemein: euklidischer Ring}
Nullteilerfreier Ring $R$ mit einer Funktion
$d\colon R\setminus{0}\to\mathbb{N}$ mit
\begin{itemize}
\item Für $x,y\in R$ gilt $d(xy) \ge d(x)$.
\item Für $x,y\in R$ gibt es $q,r\in R$ derart
$x=qy +r$ mit $d(y)>d(r)$
\end{itemize}
Euklidische Ringe haben ähnliche Eigenschaften wie Polynomringe
\end{block}}
\end{frame}