Add VO 1.12.2022
This commit is contained in:
parent
7aef4fdc11
commit
d6b7b42f8d
165
Algebra.tex
165
Algebra.tex
|
@ -44,6 +44,7 @@
|
|||
\newcommand\N{\ensuremath{\mathbb{N}}}
|
||||
\newcommand\Q{\ensuremath{\mathbb{Q}}}
|
||||
\newcommand\mapsfrom{\rotatebox{180}{$\mapsto$}}
|
||||
\newcommand\ssq{\subseteq}
|
||||
|
||||
\definecolor{pastellblau}{HTML}{5BCFFA}
|
||||
\definecolor{pastellrosa}{HTML}{F5ABB9}
|
||||
|
@ -1329,7 +1330,6 @@ semidirektes Produkt von $N^*$ und $H^*$.
|
|||
\end{enumerate}
|
||||
\end{bsp}
|
||||
|
||||
\pagebreak
|
||||
\begin{proposition} \label{linksaktion}
|
||||
$\alpha: G\times S \to S$ sei eine Aktion.
|
||||
\begin{enumerate}
|
||||
|
@ -2424,21 +2424,166 @@ Es ist dann $(r s'' - s r'')s' u u' = 0 $, denn
|
|||
=-r'su(u's'') & +r's''u'(us) = 0
|
||||
\end{align*}
|
||||
$(r, s) \to \frac rs$. Die Menge aller Äquivalenzklassen $\frac rs$ bezeichnet man mit
|
||||
$\inv SR$. Auf $\inv SR$ definiere $\begin{aligned}
|
||||
\frac as + \frac bt & := \frac{at+bs}{st} \\
|
||||
\frac as \cdot \frac bt & := \frac{ab}{st}\end{aligned}$. Wohldefiniertheit überprüfen!
|
||||
$\inv SR$. Auf $\inv SR$ definiere $ \frac as + \frac bt := \frac{at+bs}{st},\,
|
||||
\frac as \cdot \frac bt := \frac{ab}{st}$. Wohldefiniertheit überprüfen!
|
||||
|
||||
$(\inv SR, +, \cdot)$ wird zu einem kommutativen Ring mit Eins und heißt Lokalisierung von $R$
|
||||
nach $S$.
|
||||
nach $S$. Neutrales Element: $\frac 01$, Eins: $\frac 11$
|
||||
\[
|
||||
\varphi_S:\fun R {\inv SR} r {\frac r1}
|
||||
\]
|
||||
$\varphi$ ist im Allgemeinen nicht injektiv.
|
||||
\begin{align*}
|
||||
\ker(\varphi) & = \left\{r\in R: \frac r1 = \frac 01 \right\} \\
|
||||
& = \{r \in R: \exists u \in S: ru = u\}
|
||||
\end{align*}
|
||||
Für $s \in S$ ist $\varphi_S(s) = \frac s1 \in (\inv SR)^*$ wegen $\frac s1 \cdot \frac 1s
|
||||
= \frac ss$
|
||||
|
||||
\begin{warnung}
|
||||
Ich kann dieses Semester nicht so viel Zeit in meine Mitschrift investieren, wie ich das letztes
|
||||
Semester konnte. Es wird vermutlich passieren, dass ich irgendwann plötzlich und unvermittelt aufhöre, hier
|
||||
mitzuschreiben. Schreibt deshalb bitte lieber selbst auch mit.
|
||||
\end{warnung}
|
||||
\begin{bemerkung}
|
||||
\begin{itemize}
|
||||
\item $\varphi$ ist trivial, falls $0 \in S$.
|
||||
\item $\varphi$ ist injektiv, falls $0 \notin S \land R$ ist Integritätsbereich.
|
||||
\end{itemize}
|
||||
\end{bemerkung}
|
||||
|
||||
\begin{bsp}
|
||||
\begin{itemize}
|
||||
\item $R$ Integritätsbereich, $S = R\setminus \{0\}$ liefert für $\inv SR$ den
|
||||
Quotientenkörper von $R$.
|
||||
\item $R$ kommutativer Ring mit Eins, $\mathcal P$ sei Primideal von $R$. Setze
|
||||
\[
|
||||
S:= R \setminus \mathcal P
|
||||
\]
|
||||
$S$ ist multiplikativ abgeschlossen, da $\mathcal P$ prim.
|
||||
$\inv{R\setminus \mathcal P}R =: R_{\mathcal P}$ heißt Lokalisierung von $R$ bei
|
||||
$\mathcal P$.
|
||||
$R_{\mc P}$ ist kommutativer Ring mit Eins mit genau einem maximalen Ideal
|
||||
$m := \left\{\frac rs: r \in \mc P, s\in R \setminus \mc P\right\}$.
|
||||
$m$ ist maximal, da jedes $\frac{r'}s \notin m$ erfüllt $r' \in R \setminus \mc P$, das
|
||||
heißt $\frac{r'} s \cdot \frac s {r'} = \frac 11$ und ist invertierbar, sodass jedes Ideal,
|
||||
das $r'$ enthält schon ganz $R_{\mc P}$ ist.
|
||||
|
||||
Ein kommutativer Ring mit Eins, der genau ein maximales Ideal besitzt, heißt lokaler Ring.
|
||||
\item $R = \Z, \mc P = (2), \Z_{(2)} = \left\{ x = \frac pq: q \equiv 1 \pmod 2\right\}$
|
||||
\item $R = \Z, S = 2\Z \setminus \{0\}$
|
||||
\begin{align*}
|
||||
\inv S\Z & = \left\{x = \frac pq: q \equiv 0 \pmod 2\right\} \\
|
||||
& = \Q
|
||||
\end{align*}
|
||||
\item $R = \Z, S = \{1, 2, 2^2, \dots \},
|
||||
\inv S\Z = \left\{ x = \frac pq: \exists k \in \N: q = 2^k\right\}$
|
||||
\end{itemize}
|
||||
\end{bsp}
|
||||
|
||||
\section{Teilbarkeit, faktorielle Ringe}
|
||||
|
||||
$R$ sei ab jetzt stets Integritätsbereich.
|
||||
\begin{defin}
|
||||
$a$ heißt Teiler von $b$ (schreibe $a | b$)$: \iff \exists c \in R: b = ac$.
|
||||
\end{defin}
|
||||
|
||||
\begin{bemerkung}
|
||||
\begin{itemize}
|
||||
\item $a | a, 1 | a, a | 1 \iff a \in R^*$
|
||||
\item $a | b \iff b \in (a) \iff (b) \subseteq (a) \iff (a) | (b)$
|
||||
\item $a \sim b: a$ heißt zu $b$ assoziiert, falls $a | b \land b | a$. Dies ist äquivalent
|
||||
mit $(a) = (b)$. Es ist $a \sim b \iff b = ua$ mit $u \in R^*$ (denn $a \sim b \iff
|
||||
\begin{cases}
|
||||
b = ac \\
|
||||
a = bd
|
||||
\end{cases}$ Es folgt $b = bdc$ und $R$ ist IB $\implies 1 = cd$,
|
||||
woraus $c,d \in R^*$ folgt.)
|
||||
\item in $R = \Z: a \sim b \iff a = \pm b$.
|
||||
\end{itemize}
|
||||
\end{bemerkung}
|
||||
|
||||
\begin{defin}
|
||||
Ein Element $d \in R$ heißt ein größter gemeinsamer Teiler, $\ggT$, von $a, b$, falls:
|
||||
\begin{itemize}
|
||||
\item $d | a \land d | b$
|
||||
\item $\forall d' \in R: d' | a \land d' | b \implies d' | d$
|
||||
\end{itemize}
|
||||
\end{defin}
|
||||
ACHTUNG: In Integritätsbereichen muss nicht immer ein $\ggT$ zu je zwei Elementen existieren!
|
||||
Auch wenn einer existiert, so ist er nicht eindeutig, da er mit beliebigen Einheiten
|
||||
multipliziert werden kann.
|
||||
|
||||
\begin{bsp}
|
||||
$R = \Z + \Z\sqrt{-5} = \left\{x + y\sqrt{-5}: x, y \in \Z\right\}$.
|
||||
\begin{align*}
|
||||
a & := 2 + 2\sqrt{-5} = 2(1 + \sqrt{-5}) & 2 | a \land 2 | b \\
|
||||
b & := 6 = 2 \cdot 3 = (1 + \sqrt{-5})(1 - \sqrt{-5})
|
||||
& 1+\sqrt{-5} | a \land 1 + \sqrt{-5} | b
|
||||
\end{align*}
|
||||
Angenommen $\exists d:= \alpha + \beta\sqrt{-5}$ ein $\ggT$ von $a, b$, so muss gelten:
|
||||
\[
|
||||
2 | d \land 1 + \sqrt{-5} | d
|
||||
\]
|
||||
$2 | \alpha + \beta \sqrt{-5} \implies \alpha, \beta \equiv 0 \pmod 2$ \\
|
||||
$\alpha + \beta\sqrt{-5} | 2 + 2 \sqrt{-5} \iff
|
||||
\left(\frac \alpha 2 + \frac \beta 2 \sqrt{-5} | \left(1 + \sqrt{-5}\right)\right)$ \\
|
||||
$\implies d = \pm 2 \lor d = \pm(2 + 2\sqrt{-5})$ \\
|
||||
Angenommen $d = \pm(2 + 2\sqrt{-5})$. $(x + y\sqrt{-5})(2+2\sqrt{-5}) = 6 \iff
|
||||
(x+y\sqrt{-5})(1 + \sqrt{-5}) = 3 \iff \begin{cases}
|
||||
x - 5y = 3 \\ x + y = 0 \end{cases} \iff \begin{cases}
|
||||
6x = 3 \\ x + y = 0\end{cases}$ \\
|
||||
$x = \frac 12 \notin \Z$ \\
|
||||
Angenommen $d = \pm 2 \implies 1 + \sqrt{-5} | 2$\\
|
||||
$(x + y\sqrt{-5})(1+\sqrt{-5}) = 2 \iff \begin{cases} x-5y = 2 \\ x+ y = 0\end{cases}\iff
|
||||
\begin{cases} 6x = 2 \\ x = y\end{cases}$ \Lightning
|
||||
|
||||
Fazit: in $\Z + \Z\sqrt{-5}$ haben $a, b$ keinen $\ggT$!
|
||||
|
||||
\emph{Zwischenrechnung für oben:}\\
|
||||
Behauptung: $(x + y \sqrt{-5})(u + v\sqrt{-5}) = 1 + \sqrt{-5} \implies x + y\sqrt{-5} =
|
||||
\pm(1 + \sqrt{-5}) \lor u + v\sqrt{-5} = \pm(1 + \sqrt{-5})$
|
||||
Dann gilt auch: $(x - y\sqrt{-5})(u - v\sqrt{-5}) = 1 - \sqrt{-5}$ \\
|
||||
$\implies (x^2 + 5y^2)(u^2 + 5v^2) = 6$, was nur 2 Möglichkeiten zulässt:
|
||||
$1 \cdot 6 = 6, 2\cdot 3 = 6$. Wegen $x^2 + 5y^2 = 2/3$ hat keine Lösung in $\Z\times \Z$,
|
||||
bleibt nur $(x^2 + 5y^2) = 1 \land (u^2 + 5v^2) = 6$ übrig, woraus
|
||||
$x = \pm 1, u = \pm 1, v = \pm 1$ folgt.
|
||||
\end{bsp}
|
||||
|
||||
\begin{defin}
|
||||
Sei $p \in R \setminus R^*, p \neq 0$.
|
||||
\[
|
||||
p \text{ heißt prim}:\iff \forall a, b \in R: p | ab \implies p|a \lor p | b
|
||||
\]
|
||||
\[
|
||||
p \text{ heißt irreduzibel}:\iff \forall a, b \in R: p = ab \implies a \in R^* \lor b \in R^*
|
||||
\]
|
||||
\end{defin}
|
||||
|
||||
\begin{proposition}
|
||||
\begin{enumerate}
|
||||
\item $a$ ist irreduzibel $\iff (a) \neq (0)$ ist maximal in der Menge aller Hauptideale von $R$.
|
||||
\item $a$ ist prim $\iff (a)$ ist Primideal $\neq (0)$.
|
||||
\item $a$ ist prim $\implies a$ ist irreduzibel.
|
||||
\end{enumerate}
|
||||
\end{proposition}
|
||||
\begin{proof}
|
||||
\begin{enumerate}
|
||||
\item \begin{description}
|
||||
\item{$\implies$:} $a$ sei irreduzibel $\implies$
|
||||
\begin{align*}
|
||||
& (a \neq 0, a \notin R^*, a = bc \land b
|
||||
\notin R^* \implies c \in R^*) \\
|
||||
\iff & ( (a) \neq (0), (a) \neq R, (a) = (bc) \land (b) \neq R \implies (c) = R ) \\
|
||||
\iff & ( (a) \neq (0), (a) \neq R, (a) \subsetneqq (c) = R ) \\
|
||||
\iff & (a) \text{ maximal in der Menge der Hauptideale von } R
|
||||
\end{align*}
|
||||
\item{$\impliedby$:} Sei $(a)\neq(0)$ maximal in der Menge aller Hauptideale von $R$
|
||||
\begin{align*}
|
||||
\implies & ((a) \neq (0), (a) \neq R \land (a) \ssq (b) \implies
|
||||
(a) = (b) \lor (b) = R) \\
|
||||
\iff & (a\neq 0, a \notin R^* \land b | a \implies a \sim b \lor b \in R^*) \\
|
||||
\iff & (a \neq 0, a \notin R^* \land a = bc \implies a \sim b \lor b \in R^*) \\
|
||||
\iff & (a \neq 0, a \notin R^* \land a = bc \implies c \in R^* \lor b \in R^*) \\
|
||||
\iff & a\text{ ist irreduzibel.}
|
||||
\end{align*}
|
||||
\end{description}
|
||||
\end{enumerate}
|
||||
\end{proof}
|
||||
|
||||
\end{document}
|
||||
|
|
Loading…
Reference in a new issue