| @@ -20,9 +20,9 @@
\definecolor{coolblack}{rgb}{0.0, 0.18, 0.39}
\definecolor{cadmiumgreen}{rgb}{0.0, 0.42, 0.24}
\definecolor{pigmentblue}{rgb}{0.2, 0.2, 0.6}
\definecolor{brightblue}{HTML}{006699}
+\definecolor{applegreen}{rgb}{0.55, 0.71, 0.0}
+\definecolor{silver}{rgb}{0.75, 0.75, 0.75}
\hypersetup{ %use colored text instead of ugly boxes
colorlinks,
linkcolor={cadmiumgreen},
@@ -563,7 +563,6 @@ Cтрелка по построению получается единствен
\cdots \to T_2P\to T_2X\to T_1K_X\to T_1P\to T_1X\to FK_X\to F
\]
По пункту~\ref{derfunct_prop_middle} $T_1P=0$, поэтому $T_1X=\
\end{proof}
\section*{Практика 2: плоские конечно представимые модули}
\addcontentsline{toc}{section}{Практика 2: плоские конечно предста
@@ -749,7 +748,7 @@ $\Q$ над $\Z$ плоский, но не проективный.
\item $\sup\{\fd_R(M)\,|\,M\text{~-- правый }R\text{-модул
\item $\sup\{n\,|\,\exists X,Y\text{ такие, что }\Tor_n^R(
\end{itemize}
+ Это число называется {\bfseries\itshape $\Tor$-размерностью $R
\item* Докажите, что $$\Tordim(R)=\sup\{\fd_R(M)\,|\,M\text{~-
\item Докажите, что $$\gldim(R)=\sup\{\pd_R(M)\,|\,M\text{~--
\item Пусть $R$~-- нётерово слева кольцо, а $M$~-- конечно пор |