Skip to content

Commit

Permalink
Fix typo in morphisms
Browse files Browse the repository at this point in the history
  • Loading branch information
aisejohan committed Nov 3, 2016
1 parent f5da79c commit bf434fa
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion morphisms.tex
Expand Up @@ -10598,7 +10598,7 @@ \section{Universal homeomorphisms of affine schemes}
\medskip\noindent
Continuing, we see that $B$ is integral over $B'$
(Algebra, Lemma \ref{algebra-lemma-integral-permanence})
which implies $\Spec(B') \to \Spec(B)$ is surjective
which implies $\Spec(B) \to \Spec(B')$ is surjective
(Algebra, Lemma \ref{algebra-lemma-integral-overring-surjective}).
Thus if $A \to B$ induces purely inseparable extensions of residue fields,
then the same is true for $A \to B'$. This proves the case
Expand Down

0 comments on commit bf434fa

Please sign in to comment.