Skip to content

Commit

Permalink
Fix typo in more-morphisms
Browse files Browse the repository at this point in the history
  • Loading branch information
aisejohan committed Feb 1, 2018
1 parent 70427e1 commit 2e75a73
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion more-morphisms.tex
Expand Up @@ -10650,7 +10650,7 @@ \section{Zariski's Main Theorem}
set of points at which $f$ is quasi-finite is an open $U \subset X$.
Let $Z = X \setminus U$. Then $s \not \in f(Z)$. Since $f$ is proper
the set $f(Z) \subset S$ is closed. Choose any open neighbourhood
$V \subset S$ of $s$ with $Z \cap V = \emptyset$. Then
$V \subset S$ of $s$ with $f(Z) \cap V = \emptyset$. Then
$f^{-1}(V) \to V$ is locally quasi-finite and proper.
Hence it is quasi-finite
(Morphisms, Lemma \ref{morphisms-lemma-quasi-finite-locally-quasi-compact}),
Expand Down

0 comments on commit 2e75a73

Please sign in to comment.