From 70062523959e022553e5f22a1d451fff0478e7c3 Mon Sep 17 00:00:00 2001
From: Aise Johan de Jong <aise.johan.de.jong@gmail.com>
Date: Wed, 10 Apr 2024 18:36:33 -0400
Subject: [PATCH] Fix typo in more-algebra

Thanks to Shizhang
https://stacks.math.columbia.edu/tag/0912#comment-8311
---
 more-algebra.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/more-algebra.tex b/more-algebra.tex
index 821e9aba..2492d79e 100644
--- a/more-algebra.tex
+++ b/more-algebra.tex
@@ -6196,7 +6196,7 @@ \section{Completion and flatness}
 as $M_n$ is flat over $A/I^n$. By Lemma \ref{lemma-tor-strictly-pro-zero}
 we see that this system is essentially constant (with value $0$).
 It follows from Homology, Lemma \ref{homology-lemma-apply-Mittag-Leffler-again}
-that $\lim Q \otimes_A A/I^n =
+that $\lim Q \otimes_A M_n =
 \Coker(\lim F_1 \otimes_A M_n \to \lim F_0 \otimes_A M_n)$.
 Since $F_i$ is finite free this equals
 $\Coker(F_1 \otimes_A M \to F_0 \otimes_A M) = Q \otimes_A M$.