1 files changed, 63 insertions, 0 deletions
diff --git a/vorlesungen/slides/3/ideal.tex b/vorlesungen/slides/3/ideal.tex
new file mode 100644
index 0000000..f7f432e
--- /dev/null
+++ b/vorlesungen/slides/3/ideal.tex
@@ -0,0 +1,63 @@
+%
+% ideal.tex
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\begin{frame}[t]
+\setlength{\abovedisplayskip}{5pt}
+\setlength{\belowdisplayskip}{5pt}
+\frametitle{Ideal}
+\vspace{-20pt}
+\begin{columns}[t,onlytextwidth]
+\begin{column}{0.48\textwidth}
+\begin{block}{Voraussetzungen}
+$R$ ein Ring, $r\in R$
+\end{block}
+\uncover<2->{%
+\begin{block}{Vielfache\uncover<4->{ = Hauptideal}}
+Die Menge aller Elemente, die durch $r$ teilbar sind\uncover<3->{:
+\[
+(r)=rR
+\]}
+\uncover<4->{heisst {\em Hauptideal}}
+\end{block}}
+\uncover<5->{%
+\begin{block}{Ideal}
+$I\subset R$ mit
+\(RI\subset I\), \(I+I\subset I\)
+\end{block}}
+\uncover<6->{%
+\begin{block}{Hauptidealring}
+Jedes Ideal von $R$ ist ein Hauptideal
+\\
+\uncover<7->{{\usebeamercolor[fg]{title}Beispiele:}
+$\mathbb{Z}$,
+$\Bbbk[X]$}
+\end{block}}
+\end{column}
+\begin{column}{0.48\textwidth}
+\uncover<8->{%
+\begin{block}{Grösster gemeinsamer Teiler}
+$a,b\in R$
+\begin{align*}
+\uncover<9->{(a) + (b)
+&= aR + bR}
+\intertext{\uncover<10->{ist eine Ideal }\uncover<11->{$\Rightarrow$ ein Hauptideal}}
+&\uncover<12->{= cR}\uncover<13->{ = \operatorname{ggT}(a,b)R}
+\end{align*}
+\uncover<14->{Existenz des $\operatorname{ggT}(a,b)$ ist eine
+gemeinsame Eigenschaft}
+\end{block}}
+\uncover<15->{%
+\begin{block}{Allgemein}
+\begin{itemize}
+\item<16->
+Alle euklidischen Ringe sind Hauptidealringe
+\item<17->
+Alle solchen Ringe verwenden den gleichen Algorithmus
+für $\operatorname{ggT}(a,b)$
+\end{itemize}
+\end{block}}
+\end{column}
+\end{columns}
+\end{frame}