diff --git a/chapters/chapter3.tex b/chapters/chapter3.tex index fca727f..6b4fc53 100644 --- a/chapters/chapter3.tex +++ b/chapters/chapter3.tex @@ -801,7 +801,7 @@ Außerdem ist auch \end{equation*} von endlicher Länge. Nach \cref{thm:euler-poincare-charakteristik-gleich-samuel-polynom} ist dann die Euler-Poincaré-Charakteristik \begin{equation*} - \chi(M, N) = \sum_{i = 0}^n {(-1)}^i \length_A(\Tor^A_i(M, N)) + \chi(M, N) \coloneqq \sum_{i = 0}^n {(-1)}^i \length_A(\Tor^A_i(M, N)) \end{equation*} gleich der Multiplizität $e_\mfd(M \widehat{\otimes}_k N, n)$ des Ideal $\mfd$ bezüglich des $C$-Moduls $M \widehat{\otimes}_k N$. Folglich gilt: @@ -823,11 +823,11 @@ Dies wollen wir nun auf \emph{reguläre Ringe gleicher Charakteristik} verallgem \begin{thm} \label{thm:tor-formel-regulaerer-ring-gleicher-charakteristik} - Sei $A$ ein regulärer Ring gleicher Charakteristik, seien $M$ und $N$ zwei endlich erzeugte $A$-Moduln und sei $\mfq$ ein minimales Primideal in $\Supp(M \otimes_A N)$. - Dann gilt + Sei $A$ ein regulärer Ring gleicher Charakteristik, seien $M$ und $N$ zwei endlich erzeugte $A$-Moduln und sei $\mfq$ ein minimales Primideal in $\Supp(M \otimes_A N)$, + dann gilt: \begin{enumerate}[label = (\alph*)] - \item $\chi_\mfq(M, N) = \sum_{i = 0}^{\dim(A)} {(-1)}^i \length_A({\Tor^A_i(M, N)}_\mfq) \ge 0$, - \item $\dim(M_\mfq) + \dim(N_\mfq) \le \height(\mfq)$, + \item $\chi_\mfq(M, N) \coloneqq \sum_{i = 0}^{\dim(A)} {(-1)}^i \length_A({\Tor^A_i(M, N)}_\mfq) \ge 0$. + \item $\dim(M_\mfq) + \dim(N_\mfq) \le \height(\mfq)$. \item $\dim(M_\mfq) + \dim(N_\mfq) < \height(\mfq)$ genau dann, wenn $\chi_\mfq(M, N) = 0$. \end{enumerate} \begin{proof}