Skip to content

Commit

Permalink
Fix typo in algebra
Browse files Browse the repository at this point in the history
  • Loading branch information
aisejohan committed Apr 13, 2017
1 parent 3b09e37 commit 6a8c242
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 1 deletion.
1 change: 1 addition & 0 deletions CONTRIBUTORS
Original file line number Diff line number Diff line change
Expand Up @@ -208,6 +208,7 @@ Arpith Shanbhag
Liran Shaul
Minseon Shin
Jeroen Sijsling
John Smith
Thomas Smith
Tanya Kaushal Srivastava
Axel St\"abler
Expand Down
2 changes: 1 addition & 1 deletion algebra.tex
Original file line number Diff line number Diff line change
Expand Up @@ -29021,7 +29021,7 @@ \section{Quasi-finite maps}
in $S_{\mathfrak p}/\mathfrak pS_{\mathfrak p}$. By what we said
above there exist $e_i \geq 1$ such that $P(x_i)^{e_i} = 0$
in $S_{\mathfrak p}$. Let $g_1 \in R$, $g_1 \not \in \mathfrak p$
be an element such that $P_i \in R[1/g_1]$ for all $i$.
be an element such that $P_i$ has coefficients in $R[1/g_1]$ for all $i$.
Next, let $g_2 \in R$, $g_2 \not \in \mathfrak p$ be an element
such that $P(x_i)^{e_i} = 0$ in $S_{g_1g_2}$. Setting $g = g_1g_2$
we win.
Expand Down

0 comments on commit 6a8c242

Please sign in to comment.