aboutsummaryrefslogtreecommitdiffstats
path: root/vorlesungen/slides/3/nichthauptideal2.tex
blob: e1424ff2796cbca4975adb5a7415bbd00d413ca5 (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
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
%
% nichthauptideal2.tex
%
% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
%
\bgroup
\definecolor{darkgreen}{rgb}{0,0.6,0}
\begin{frame}[t]
\frametitle{Das Ideal $\langle 2,X\rangle \subset \mathbb{Z}[X]$}
\vspace{-12pt}
\begin{center}
\begin{tikzpicture}[>=latex,thick]

\def\c{\clip (-2.8,-2.0) rectangle (2.8,2.0);}

\def\labels{
	\fill[color=white,opacity=0.5] (1.5,-0.1) circle[radius=0.2];
	\node at (1.5,-0.1) {$1$};
	\fill[color=white,opacity=0.5] (-0.9,1.7) circle[radius=0.2];
	\node at (-0.9,1.7) {$X$};
	\fill[color=white,opacity=0.5] (0.8,0.7) circle[radius=0.2];
	\node at (0.8,0.7) {$X^2$};
}

\only<-3>{
\begin{scope}[xshift=3.0cm,yshift=1.9cm]
	\begin{scope}
	\c
	\node at (0,0)
	{\includegraphics[width=7cm]{../slides/3/images/ring.jpg}};
	\end{scope}
	\node[color=orange] at (1.9,0.1) [right] {$\mathbb{Z}[X]$};
\end{scope}
}

\uncover<2->{
\begin{scope}[xshift=-3.0cm,yshift=1.9cm]
	\begin{scope}
	\c
	\node at (0,0)
	{\includegraphics[width=7cm]{../slides/3/images/hauptideal.jpg}};
	\end{scope}
	\node[color=blue] at (-0.2,-1.2) {$(X+1)\cdot\mathbb{Z}[X]$};
	\labels
\end{scope}
}

\uncover<3->{
\begin{scope}[xshift=-3.0cm,yshift=-1.9cm]
	\begin{scope}
	\c
	\node at (0,0)
	{\includegraphics[width=7cm]{../slides/3/images/hauptideal2.jpg}};
	\end{scope}
	\node[color=darkgreen] at (-3.0,-0.8) {$2\cdot\mathbb{Z}[X]$};
\end{scope}

\begin{scope}[xshift=3.0cm,yshift=-1.9cm]
	\begin{scope}
	\c
	\node at (0,0)
	{\includegraphics[width=7cm]{../slides/3/images/hauptidealX.jpg}};
	\end{scope}
	\node[color=darkgreen] at (2.5,-0.8) {$X\cdot\mathbb{Z}[X]$};
	\labels
\end{scope}
}

\uncover<4->{
\begin{scope}[xshift=3.0cm,yshift=1.9cm]
	\begin{scope}
	\c
	\node at (0,0)
	{\includegraphics[width=7cm]{../slides/3/images/nichthauptideal.jpg}};
	\end{scope}
	\node[color=orange] at (1.9,0.1) [right] {$\mathbb{Z}[X]$};
	\node[color=darkgreen] at (1.9,-0.4) [right] {$\langle 2,X\rangle$};
\end{scope}
}

\draw[color=gray!50] (-6.6,0) -- (6.4,0);
\draw[color=gray!50] (0,-3.8) -- (0,3.8);

\begin{scope}[xshift=3.0cm,yshift=1.9cm]
	\fill[color=white,opacity=0.5] (1.5,-0.6) circle[radius=0.2];
	\node at (1.5,-0.6) {$1$};
	\fill[color=white,opacity=0.5] (-0.4,1.7) circle[radius=0.2];
	\node at (-0.4,1.7) {$X$};
\end{scope}

\end{tikzpicture}
\end{center}

\end{frame}
\egroup