Skip to content

Commit

Permalink
Wrong ring in algebra
Browse files Browse the repository at this point in the history
  • Loading branch information
aisejohan committed Jan 8, 2023
1 parent 348d49c commit e2abaf7
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion algebra.tex
Original file line number Diff line number Diff line change
Expand Up @@ -40126,7 +40126,7 @@ \section{Integral closure and smooth base change}
$R[x]/(f)$ in $B[x]/(f)$. Suppose that $a \in A''$. It suffices
to show that $a$ is in $S \otimes_R A$. By
Lemma \ref{lemma-trick} we see that $f' a = \sum a_i x^i$ with $a_i \in A$.
Since $f'$ is invertible in $B[x]_g/(f)$ (by definition of a standard
Since $f'$ is invertible in $S$ (by definition of a standard
\'etale ring map) we conclude that $a \in S \otimes_R A$ as desired.
\end{proof}

Expand Down

0 comments on commit e2abaf7

Please sign in to comment.