diff --git a/chapters/chapter1.tex b/chapters/chapter1.tex index 58fa0dd..c90d0da 100644 --- a/chapters/chapter1.tex +++ b/chapters/chapter1.tex @@ -163,7 +163,7 @@ Im Folgenden sei nun $H=\bigoplus_{n \in \N} H_n$ ein graduierter Ring mit folge \item $H_0$ ist artinsch. \item $H$ wird von $H_0$ und einer endlichen Anzahl an Elementen $x_1,\ldots,x_r \in H_1$ erzeugt. \end{enumerate} -Dann gillt $H \cong H_0[X_1,\ldots,X_r]/I$, wobei $I \subset H_0[X_1,\ldots,X_r]$ ein homogenes Ideal ist. +Dann gilt $H \cong H_0[X_1,\ldots,X_r]/I$, wobei $I \subset H_0[X_1,\ldots,X_r]$ ein homogenes Ideal ist. Weil $H_0[X_1,\ldots,X_r]$ nach dem Hilbertschen Basissatz noethersch ist, ist es demnach auch $H$. Sei $M = \bigoplus_{n \in \N} M_n$ ein endlich erzeugter graduierter $H$-Modul.