Skip to content

Commit

Permalink
Increase i once more
Browse files Browse the repository at this point in the history
  • Loading branch information
aisejohan committed Apr 9, 2024
1 parent 84dce23 commit 39b96c7
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions algebra.tex
Expand Up @@ -46887,6 +46887,8 @@ \section{Colimits and maps of finite presentation, II}
Pick $b_j \in A \otimes_{A_0} B_0$ mapping to $1 \otimes x_j$ in
$A \otimes_{A_0} C_0$. For some $i \geq 0$ we can find
$b_{j, i} \in A_i \otimes_{A_0} B_0$ mapping to $b_j$.
After increasing $i$ we may assume that $b_{j, i}$ maps
to $1 \otimes x_j$ in $A_i \otimes_{A_0} C_0$ for all $j = 1, \ldots, m$.
Then this $i$ works.
\end{proof}

Expand Down

0 comments on commit 39b96c7

Please sign in to comment.