Skip to content

Commit

Permalink
Fix typo in schemes.tex
Browse files Browse the repository at this point in the history
  • Loading branch information
aisejohan committed Jun 4, 2014
1 parent 771e0e9 commit 254783d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion schemes.tex
Original file line number Diff line number Diff line change
Expand Up @@ -2089,7 +2089,7 @@ \section{Reduced schemes}
with $f(V) \subset U$ and any $g \in \mathcal{I}(U)$
the pullback $b = f^\sharp(g) \in \Gamma(V, \mathcal{O}_Y) = B$
maps to zero in the residue field of any $y \in V$.
In other words $g \in \bigcap_{\mathfrak p \subset B} \mathfrak p$.
In other words $b \in \bigcap_{\mathfrak p \subset B} \mathfrak p$.
This implies $b = 0$ as $B$ is reduced (Lemma \ref{lemma-reduced}, and
Algebra, Lemma \ref{algebra-lemma-Zariski-topology}).
Hence $f$ factors through
Expand Down

0 comments on commit 254783d

Please sign in to comment.