From d10b405c622b8a9c97b8029eda53d6ce566dfbb2 Mon Sep 17 00:00:00 2001
From: Aise Johan de Jong <aise.johan.de.jong@gmail.com>
Date: Mon, 26 Jun 2023 13:40:18 -0400
Subject: [PATCH] Fix a typo in algebra

Thanks to Elias Guisado
https://stacks.math.columbia.edu/tag/034M#comment-8513
---
 algebra.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/algebra.tex b/algebra.tex
index 6cb53e090..bf0deb786 100644
--- a/algebra.tex
+++ b/algebra.tex
@@ -8119,7 +8119,7 @@ \section{Normal rings}
 \begin{proof}
 Let $R$ be a normal ring. Let $x \in Q(R)$ be an element of the total ring
 of fractions of $R$ integral over $R$. Set $I = \{f \in R, fx \in R\}$. Let
-$\mathfrak p \subset R$ be a prime. As $R \subset R_{\mathfrak p}$ is
+$\mathfrak p \subset R$ be a prime. As $R \to R_{\mathfrak p}$ is
 flat we see that $R_{\mathfrak p} \subset Q(R) \otimes_R R_{\mathfrak p}$. As
 $R_{\mathfrak p}$ is a normal domain we see that $x \otimes 1$ is an element of
 $R_{\mathfrak p}$. Hence we can find $a, f \in R$, $f \not \in \mathfrak p$