diff --git a/chapters/chapter1.tex b/chapters/chapter1.tex index 7bcf4bb..630fb3a 100644 --- a/chapters/chapter1.tex +++ b/chapters/chapter1.tex @@ -395,7 +395,7 @@ wohldefiniert. \begin{prop} \label{prop:samuel-polynom-grad-unabhaengig-von-q} - Sind $\mfq, \mfq'$ Ideale von $A$ mit $\length_A(M/\mfq M) < \infty$ und $\length_A(M/\mfq' M) <~\infty$ und gilt zusätzlich + Sind $\mfq, \mfq'$ Ideale von $A$ mit $\length_A(M/\mfq M) < \infty$ und $\length_A(M/\mfq' M) <\nobreak\infty$ und gilt zusätzlich \begin{equation*} \Supp(M) \cap V(\mfq) = \Supp(M) \cap V(\mfq'), \end{equation*} @@ -461,7 +461,7 @@ Wir wollen nun $\dim(M) = d(M) = s(M)$ zeigen. Dies ist das Hauptresultat der Di \begin{equation*} 0 \to \mfq^n M / \mfq^{n + 1} M \to M / \mfq^{n + 1} M \to M / \mfq^n M \to 0 \end{equation*} - Da die Länge auf kurzen exakten Sequenzen additiv ist, folgt also $\length_A(\mfq^n M / \mfq^{n + 1} M) =~0$ und damit $\mfq^n M / \mfq^{n + 1} M = 0$, also $\mfq^n M \cong \mfq^{n + 1} M$. + Da die Länge auf kurzen exakten Sequenzen additiv ist, folgt also $\length_A(\mfq^n M / \mfq^{n + 1} M) =\nobreak0$ und damit $\mfq^n M / \mfq^{n + 1} M = 0$, also $\mfq^n M \cong \mfq^{n + 1} M$. Wegen $\mfq \subset \mfm = \Rad(A)$ gilt wegen des Nakayama-Lemmas $\mfq^n M = 0$ für alle $n \ge k$. Sei nun $\mfp \in \Supp(M)$, dann gilt $\mfp \supset \Ann_A(M) \supset \mfq^k$. Da $\mfp$ prim ist, folgt $\mfp \supset \mfq$ und damit $\mfp \in \Supp(M / \mfq M)$. @@ -513,7 +513,7 @@ Wir wollen nun $\dim(M) = d(M) = s(M)$ zeigen. Dies ist das Hauptresultat der Di Folglich sind alle $\mfp \in \Supp(M)$ maximale Ideale und damit ist $M$ nach \cref{lem:kriterium-fuer-endliche-laenge} von endlicher Länge. Wir erhalten also $s(M) = 0$. Sei nun $n \ge 1$ und die Behauptung für $n - 1$ bereits gezeigt. - Seien $\mfp_i$ die Primideale in $\Supp(M)$ mit $\dim(A / \mfp_i) = n$. Diese sind minimale Elemente von $\Supp(M)$, folglich sind es nur endlich viele (siehe {}\cite[Chapter~II. Theorem~1]{serre2000local}). + Seien $\mfp_i$ die Primideale in $\Supp(M)$ mit $\dim(A / \mfp_i) = n$. Diese sind minimale Elemente von $\Supp(M)$, folglich sind es nur endlich viele (siehe {}\cite[Chapter~II, Theorem~1]{serre2000local}). Wegen $n \ge 1$ sind sie nicht maximal und nach dem \emph{Lemma zur Vermeidung von Primidealen} können wir $x \in \mfm$ mit $x \notin \mfp_i$ für alle $i$ wählen (siehe {}\cite[Proposition~1.1.5]{roberts1998multiplicities}). Dann gilt offenbar $\dim(M / xM) \le \dim(M) - 1$. Andererseits gilt wegen der Definition von $s(M)$ auch $s(M / xM) \ge s(M) - 1$ und mit der Induktionsvoraussetzung folgt diff --git a/chapters/chapter3.tex b/chapters/chapter3.tex index 264c300..19e05ca 100644 --- a/chapters/chapter3.tex +++ b/chapters/chapter3.tex @@ -7,7 +7,7 @@ Als äußerst wichtiges Werkzeug dazu werden wir das Prinzip der \emph{Reduktion \section{Die Multiplizität eines Moduls} \label{sec:die-multiplizitaet-eines-moduls} Im Folgenden wollen wir den Begriff der \emph{Multiplizität} eines Moduls einführen. -Dazu Führen wir zunächst die Gruppe der \emph{Zykel} eines Rings ein. +Dazu führen wir zunächst die Gruppe der \emph{Zykel} eines Rings ein. \begin{defn}[Gruppe der Zykel eines Rings] \label{defn:gruppe-der-zykel-eines-rings} @@ -24,7 +24,7 @@ Dazu Führen wir zunächst die Gruppe der \emph{Zykel} eines Rings ein. \begin{defn} \label{defn:gruppe-der-zykel-eines-rings-der-dimension} Sei $A$ ein noetherscher lokaler Ring der Dimension $n$. - Für alle $p \in\nobreak\N$ sei $Z_p(A)$ die Untergruppe von $Z(A)$, die von den Primidealen $\mfp \in \Spec(A)$ mit $\dim(A / \mfp) =~p$ erzeugt wird. + Für alle $p \in\nobreak\N$ sei $Z_p(A)$ die Untergruppe von $Z(A)$, die von den Primidealen $\mfp \in \Spec(A)$ mit $\dim(A / \mfp) = p$ erzeugt wird. Wir nennen $Z_p(A)$ die \textbf{Gruppe der Zykel} von $A$ der Dimension $p$. Offensichtlich gilt $Z(A) = \bigoplus_{p = 0}^n Z_p(A)$. \end{defn} @@ -60,7 +60,7 @@ Ist $A$ ein noetherscher Ring, so bezeichnen wir im Folgenden die abelsche Kateg Insbesondere gibt es kein $\mfp \in \Supp(M)$ mit $\mfp \subsetneq \mfq$. Nun folgt \begin{align*} - \Supp(M_\mfq) &= \Spec(A_\mfq / (\Ann_{A_\mfq}(M_\mfq))) \\ + \Supp(M_\mfq) &= \Spec(A_\mfq / \Ann_{A_\mfq}(M_\mfq)) \\ &= \Spec({(A / \Ann_A(M))}_\mfq) \\ &= \lbrace \mfp A_\mfq \mid \mfp \in \Supp(M) \wedge \mfp \subset \mfq \rbrace \\ &= \lbrace \mfq A_\mfq \rbrace, @@ -714,7 +714,7 @@ Wir geben nun einige Eigenschaften der soeben definierten $k$-Moduln an: \end{bem} Wir wollen nun den für uns wichtigsten Fall untersuchen, nämlich dass $k$ ein Körper ist, $A \cong B \cong k[[X_1, \ldots, X_n]]$ und $\mfm \cong \mfn \cong (X_1, \ldots, X_n)$. -In diesem Fall ist $\widehat{\Tor}^k_i(A, B) =~0$ für $i > 0$, denn $B$ trägt eine natürliche $A$-Modul-Struktur und $A$ hat die $A$-Folge $\lbrace X_1, \ldots, X_n \rbrace$. +In diesem Fall ist $\widehat{\Tor}^k_i(A, B) =\nobreak0$ für $i > 0$, denn $B$ trägt eine natürliche $A$-Modul-Struktur und $A$ hat die $A$-Folge $\lbrace X_1, \ldots, X_n \rbrace$. Wie wir bereits gesehen haben, ist $A \hatotimes_k B$ die $\mfr$-adische Vervollständigung von $A \otimes_k B$, wobei \begin{equation*} \mfr = (X_1, \ldots, X_n) \otimes_k B + A \otimes_k (Y_1, \ldots, Y_n). @@ -752,7 +752,7 @@ Nun ist aber $C$ die Vervollständigung von $k[X_1, \ldots, X_n, Y_1, \ldots, Y_ \Tor^A_i(M, N) \cong \Tor^C_i(M \hatotimes_k N, A). \end{equation} \begin{proof} - Es sei nun $\mfq$ (beziehungsweise $\mfq'$) ein Ideal von $A$ (beziehungsweise $B$) mit $\length_A(A / \mfq) <~\infty$ (beziehungsweise $\length_B(B / \mfq') < \infty$). + Es sei nun $\mfq$ (beziehungsweise $\mfq'$) ein Ideal von $A$ (beziehungsweise $B$) mit $\length_A(A / \mfq) <\nobreak\infty$ (beziehungsweise $\length_B(B / \mfq') < \infty$). Weiter sei $\mfs$ das von $\mfq$ und $\mfq'$ erzeugte Ideal in $C$ und wir statten $M$, $N$ und $M \hatotimes_k N$ jeweils mit der $\mfq$-adischen, $\mfq'$-adischen und $\mfs$-adischen Topologie aus. Wir betrachten nun die zugehörigen graduierten Moduln $\gr(M)$, $\gr(N)$ und $\gr(M \hatotimes_k N)$. Der natürliche Morphismus $M \otimes_k N \to M \hatotimes_k N$ induziert einen Morphismus