Skip to content

Commit

Permalink
Fix omission of of in algebra
Browse files Browse the repository at this point in the history
  • Loading branch information
aisejohan committed Apr 10, 2024
1 parent 8b63274 commit 9e4d072
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion algebra.tex
Expand Up @@ -38970,7 +38970,7 @@ \section{\'Etale ring maps}
By Lemma \ref{lemma-etale-at-prime} the ring map
$S'_{\mathfrak q'}/\mathfrak p S'_{\mathfrak q'} \to
S_{\mathfrak q}/\mathfrak p S_{\mathfrak q}$
is a map finite separable extensions of $\kappa(\mathfrak p)$.
is a map of finite separable extensions of $\kappa(\mathfrak p)$.
In particular it is flat. Hence by
Lemma \ref{lemma-criterion-flatness-fibre} we see that
$S'_{\mathfrak q'} \to S_{\mathfrak q}$ is flat. Thus $S' \to S$
Expand Down

0 comments on commit 9e4d072

Please sign in to comment.