Skip to content

Commit

Permalink
Fix proof of a lemma
Browse files Browse the repository at this point in the history
Thanks to Minseon Shin
  • Loading branch information
aisejohan committed Sep 20, 2014
1 parent 494c31b commit b7326f1
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion algebra.tex
Expand Up @@ -7581,7 +7581,7 @@ \section{Normal rings}
because all the identities in $R$
among the elements $a_i, b_i, f_{ji}$ also hold in $R_0$.
By Lemma \ref{lemma-almost-integral} the element
$f$ is almost integral over $R_0[x]$. By the first part of
$f$ is almost integral over $R_0[x]$. By the second statement of
the lemma, the elements $\alpha_i$ are almost integral
over $R_0$. And since $R_0$ is Noetherian, they are
integral over $R_0$, see Lemma \ref{lemma-almost-integral}.
Expand Down

0 comments on commit b7326f1

Please sign in to comment.