1 parent 0768df7 commit 91cc3e6Copy full SHA for 91cc3e6
2 files changed
CONTRIBUTORS
@@ -193,6 +193,7 @@ Daniel Litt
193
Huaxin Liu
194
Hsing Liu
195
Qing Liu
196
+Xuande Liu
197
Zeyu Liu
198
Davide Lombardo
199
Dino Lorenzini
morphisms.tex
@@ -936,7 +936,7 @@ \section{Scheme theoretic image}
936
Algebra, Proposition \ref{algebra-proposition-localization-exact})
937
we see that
938
$R_{\mathfrak p} \to
939
-(A_1)_{\mathfrak p} \times \ldots \times (A_1)_{\mathfrak p}$
+(A_1)_{\mathfrak p} \times \ldots \times (A_n)_{\mathfrak p}$
940
is not zero. Hence one of the rings $(A_i)_{\mathfrak p}$ is not zero.
941
Hence there exists an $i$ and a prime $\mathfrak q_i \subset A_i$
942
lying over a prime $\mathfrak p_i \subset \mathfrak p$.
0 commit comments