Fix mistake in proof of lemma in algebra

Thanks to Manuel Hoff https://stacks.math.columbia.edu/tag/00K7#comment-4266
stacks · Sep 1, 2019 · 14f5e27 · 14f5e27
1 parent d33aac3
commit 14f5e27
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/algebra.tex b/algebra.tex
@@ -13616,9 +13616,9 @@ \section{Noetherian local rings}
 \end{lemma}
 
 \begin{proof}
-There exists an integer $c$ such that $(I')^c \subset I$.
+There exists an integer $c \geq 1$ such that $(I')^c \subset I$.
 Hence we get a surjection $M/(I')^{c(n + 1)}M \to M/I^{n + 1}M$.
-Whence the result with $a = c + 1$.
+Whence the result with $a = 2c - 1$.
 \end{proof}
 
 \begin{proposition}