aboutsummaryrefslogtreecommitdiffstats
path: root/vorlesungen/slides/3
diff options
context:
space:
mode:
Diffstat (limited to 'vorlesungen/slides/3')
-rw-r--r--vorlesungen/slides/3/Makefile.inc2
-rw-r--r--vorlesungen/slides/3/chapter.tex2
-rw-r--r--vorlesungen/slides/3/ideal.tex63
-rw-r--r--vorlesungen/slides/3/quotientenring.tex59
4 files changed, 126 insertions, 0 deletions
diff --git a/vorlesungen/slides/3/Makefile.inc b/vorlesungen/slides/3/Makefile.inc
index 7f52cb1..f2edc80 100644
--- a/vorlesungen/slides/3/Makefile.inc
+++ b/vorlesungen/slides/3/Makefile.inc
@@ -12,6 +12,8 @@ chapter3 = \
../slides/3/division2.tex \
../slides/3/ringstruktur.tex \
../slides/3/teilbarkeit.tex \
+ ../slides/3/ideal.tex \
+ ../slides/3/quotientenring.tex \
../slides/3/faktorisierung.tex \
../slides/3/faktorzerlegung.tex \
../slides/3/einsetzen.tex \
diff --git a/vorlesungen/slides/3/chapter.tex b/vorlesungen/slides/3/chapter.tex
index 0f049e7..deec12e 100644
--- a/vorlesungen/slides/3/chapter.tex
+++ b/vorlesungen/slides/3/chapter.tex
@@ -10,6 +10,8 @@
\folie{3/division2.tex}
\folie{3/ringstruktur.tex}
\folie{3/teilbarkeit.tex}
+\folie{3/ideal.tex}
+\folie{3/quotientenring.tex}
\folie{3/faktorisierung.tex}
\folie{3/faktorzerlegung.tex}
\folie{3/einsetzen.tex}
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}
diff --git a/vorlesungen/slides/3/quotientenring.tex b/vorlesungen/slides/3/quotientenring.tex
new file mode 100644
index 0000000..4aa9e43
--- /dev/null
+++ b/vorlesungen/slides/3/quotientenring.tex
@@ -0,0 +1,59 @@
+%
+% Quotientenring.tex
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\begin{frame}[t]
+\setlength{\abovedisplayskip}{5pt}
+\setlength{\belowdisplayskip}{5pt}
+\frametitle{Quotientenring}
+\vspace{-20pt}
+\begin{columns}[t,onlytextwidth]
+\begin{column}{0.48\textwidth}
+\begin{block}{Quotientenring}
+$I\subset R$ ein Ideal
+\\
+\uncover<2->{
+$R/I$ hat eine Ringstruktur:
+\begin{align*}
+\uncover<3->{\pi(s)&=s+I}
+\\
+\uncover<4->{\pi(s)\pi(r)&= (s+I)(r+I)}\\
+ &\uncover<5->{= sr +\underbrace{sI + rI}_{\subset RI\subset I} + II = sr+I}
+\\
+\uncover<6->{\pi(s)+\pi(r)&= (s+I)+(r+I)}\\
+ &\uncover<7->{=s+r+I=\pi(s+r)}
+\end{align*}}
+\end{block}
+\vspace{-15pt}
+\end{column}
+\begin{column}{0.48\textwidth}
+\uncover<7->{%
+\begin{block}{Beispiele}
+\begin{itemize}
+\item
+$\mathbb{Z}/(n)=\mathbb{Z}/n\mathbb{Z}$,
+$\mathbb{F}_p=\mathbb{Z}/(p)=\mathbb{Z}/p\mathbb{Z}$
+\item<8->
+$p\in\Bbbk[X]$
+$\Rightarrow$
+$\Bbbk[X]/(p)$ ist ein Ring
+\end{itemize}
+\end{block}}
+\uncover<9->{%
+\begin{block}{Algebraideal}
+$I\subset A$
+\begin{itemize}
+\item<10->
+$I$ ein Unterraum von $A$ als Vektorraum
+\item<11->
+$I$ ein Ideal von $A$ als Ring
+\end{itemize}
+\end{block}}
+\uncover<12->{%
+\begin{block}{Quotientenalgebra}
+$A/I$ ist eine Algebra
+\end{block}}
+\end{column}
+\end{columns}
+\end{frame}