commit f950135aa8e38f271049c2ac6e5aa92584b52c11
parent 4b7db82bf451fd301964ef6054abcd9c7be38118
Author: simplicialcomplex <simplicialcomplex@tilde.club>
Date:   Sun, 19 Sep 2021 14:31:09 +0300

fixed typo

Diffstat:
M
notes.pdf
 | 
0

M
notes.tex
 | 
2
+-

2 files changed, 1 insertion(+), 1 deletion(-)
diff --git a/notes.pdf b/notes.pdf
Binary files differ.
diff --git a/notes.tex b/notes.tex
@@ -220,7 +220,7 @@ Cтрелка по построению получается единствен
 \end{stmt}
 \begin{proof}
 	\begin{multicols}{2}
-		По утверждению~\ref{top1coolestaffactaboutprojectivemodules}, существует $P_0\overset{\varepsilon}{\twoheadrightarrow}M$. Рассмотрим теперь $M_{0}=\ker\varepsilon$. По индукции $M_i=\ker d_{i-1},i>0$. утверждению~\ref{top1coolestaffactaboutprojectivemodules}, над $M_i$ существует проективный модуль $P_{i+1}\overset{\varepsilon_1}{\twoheadrightarrow}M_i$. Как $d_i$ возьмем композицию $P_{i+1}\twoheadrightarrow M_i\hookrightarrow P_{i}$. По построению это проективная резольвента.\qedhere
+		По утверждению~\ref{top1coolestaffactaboutprojectivemodules}, существует $P_0\overset{\varepsilon}{\twoheadrightarrow}M$. Рассмотрим теперь $M_{0}=\ker\varepsilon$. По индукции $M_i=\ker d_{i-1},i>0$. По утверждению~\ref{top1coolestaffactaboutprojectivemodules}, над $M_i$ существует проективный модуль $P_{i+1}\overset{\varepsilon_1}{\twoheadrightarrow}M_i$. Как $d_i$ возьмем композицию $P_{i+1}\twoheadrightarrow M_i\hookrightarrow P_{i}$. По построению это проективная резольвента.\qedhere
 
 		\columnbreak\vspace*{\fill}
 		\noindent\begin{tikzcd}[cramped,sep=tiny]