Skip to content

Commit

Permalink
Fix a typo in algebra
Browse files Browse the repository at this point in the history
  • Loading branch information
aisejohan committed Jun 26, 2023
1 parent 593c727 commit d10b405
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion algebra.tex
Expand Up @@ -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$
Expand Down

0 comments on commit d10b405

Please sign in to comment.