Skip to content

Commit

Permalink
Add missing index
Browse files Browse the repository at this point in the history
  • Loading branch information
aisejohan committed Jan 12, 2022
1 parent 7adeb7a commit 421f02a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion more-algebra.tex
Original file line number Diff line number Diff line change
Expand Up @@ -4476,7 +4476,7 @@ \section{Descent of flatness along integral maps}
\begin{proof}
Let $x_1, \ldots, x_n \in S$ be generators of $S$ over $R$.
For each $i$ we can choose a monic polynomial $P_i(T) \in R[T]$
such that $P(x_i) = 0$ in $S$, see
such that $P_i(x_i) = 0$ in $S$, see
Algebra, Lemma \ref{algebra-lemma-finite-is-integral}.
Say $\deg(P_i) = d_i$. By
Lemma \ref{lemma-adjoin-one-root}
Expand Down

0 comments on commit 421f02a

Please sign in to comment.