![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posicЭто важный вопрос, который мы здесь рассмотрим только в частном случае. Пусть R -- коммутативное кольцо, s∈R -- элемент. R-модуль P называется s-контрамодулем, если ExtRi(R[s−1],P) = 0 для i = 0 и 1.
Предположим, что s не является делителем нуля в R. Тогда утверждается, что плоское покрытие и оболочка кокручения R-модуля, являющегося s-контрамодулем, также являются s-контрамодулями.
В самом деле, пусть K -- R-модуль кокручения. Тогда имеется точная последовательность 0 → HomR(R[s−1]/R, K) → HomR(R[s−1], K) → HomR(R,K) = K → ExtR1(R[s−1]/R, K) → 0, поскольку ExtR(R[s−1], K) = 0. Если теперь K -- подмодуль плоского R-модуля F, то HomR(R[s−1]/R, F) = 0 (поскольку в F нет ненулевых элементов, аннулируемых s, вследствие предположения, что s не делит ноль в R), откуда HomR(R[s−1]/R, K) = 0.
Аналогично, если в K имеется подмодуль P, являющийся s-контрамодулем, а фактормодуль F= K/P плоский, то HomR(R[s−1]/R, F) = 0 и HomR(R[s−1]/R, P) = 0 (поскольку HomR(R[s−1], P) = 0), откуда HomR(R[s−1]/R, K) = 0. В обоих случаях получаем короткую точную последовательность 0 → HomR(R[s−1], K) → K → ExtR1(R[s−1]/R, K) → 0.
Покажем теперь, что R-модуль ExtR1(R[s−1]/R, K) является модулем кокручения. В самом деле, если HomR(R[s−1]/R, K) = 0 и F -- плоский R-модуль, то ExtRi(F, ExtR1(R[s−1]/R, K)) = ExtRi+1(F ⊗R (R[s−1]/R), K)) = 0 при i > 0, т.к. R-модуль F ⊗R (R[s−1]/R) имеет двучленную плоскую резольвенту F → F ⊗R R[s−1], а K -- R-модуль кокручения.
Для любого R-модуля M, будем называть подмодулем s-делимых элементов в M и обозначать через M(s) образ отображения HomR(R[s−1],M) → HomR(R,M) = M. Другими словами, элемент m ∈ M называется s-делимым, если он допускает согласованную систему частных при делении на все степени s в M. Это более сильное условие, чем возможность поделить m на любую отдельно взятую степень s: например, для s-контрамодуля P подмодуль P(s) равен нулю по определению, в то время как элементы, которые можно поделить на любую степень s, в P могут существовать.
Приступим теперь к доказательству изначально заявленных утверждений. Пусть P → K → F -- оболочка кокручения R-модуля F, являющегося s-контрамодулем. Согласно доказанному выше, R-модуль K/K(s) = ExtR1(R[s−1]/R, K) является R-модулем кокручения. Если элемент модуля P принадлежит K(s), то все элементы его согласованной системы частных в K тоже принадлежат P, поскольку иначе образ одного из них был бы ненулевым элементом F, аннулируемым s. Поскольку P(s) = 0, мы заключаем, что K(s) не пересекается с P. [Но этого мало -- вроде надо еще знать, что фактормодуль F по F(s) = образу K(s) плоский.]
Пусть K → F → P -- плоское покрытие R-модуля P, являющегося s-контрамодулем. Поскольку P(s) = 0, всякий s-делимый элемент F принадлежит K, где тоже является s-делимым элементом (поскольку все элементы в согласованной системе частных s-делимы). Таким образом, K(s) = F(s). Согласно доказанному выше, R-модуль K/K(s) = ExtR1(R[s−1]/R, K) является R-модулем кокручения. [Но этого мало -- надо бы еще знать, что R-модуль F/F(s) плоский.]
Предположим, что s не является делителем нуля в R. Тогда утверждается, что плоское покрытие и оболочка кокручения R-модуля, являющегося s-контрамодулем, также являются s-контрамодулями.
В самом деле, пусть K -- R-модуль кокручения. Тогда имеется точная последовательность 0 → HomR(R[s−1]/R, K) → HomR(R[s−1], K) → HomR(R,K) = K → ExtR1(R[s−1]/R, K) → 0, поскольку ExtR(R[s−1], K) = 0. Если теперь K -- подмодуль плоского R-модуля F, то HomR(R[s−1]/R, F) = 0 (поскольку в F нет ненулевых элементов, аннулируемых s, вследствие предположения, что s не делит ноль в R), откуда HomR(R[s−1]/R, K) = 0.
Аналогично, если в K имеется подмодуль P, являющийся s-контрамодулем, а фактормодуль F= K/P плоский, то HomR(R[s−1]/R, F) = 0 и HomR(R[s−1]/R, P) = 0 (поскольку HomR(R[s−1], P) = 0), откуда HomR(R[s−1]/R, K) = 0. В обоих случаях получаем короткую точную последовательность 0 → HomR(R[s−1], K) → K → ExtR1(R[s−1]/R, K) → 0.
Покажем теперь, что R-модуль ExtR1(R[s−1]/R, K) является модулем кокручения. В самом деле, если HomR(R[s−1]/R, K) = 0 и F -- плоский R-модуль, то ExtRi(F, ExtR1(R[s−1]/R, K)) = ExtRi+1(F ⊗R (R[s−1]/R), K)) = 0 при i > 0, т.к. R-модуль F ⊗R (R[s−1]/R) имеет двучленную плоскую резольвенту F → F ⊗R R[s−1], а K -- R-модуль кокручения.
Для любого R-модуля M, будем называть подмодулем s-делимых элементов в M и обозначать через M(s) образ отображения HomR(R[s−1],M) → HomR(R,M) = M. Другими словами, элемент m ∈ M называется s-делимым, если он допускает согласованную систему частных при делении на все степени s в M. Это более сильное условие, чем возможность поделить m на любую отдельно взятую степень s: например, для s-контрамодуля P подмодуль P(s) равен нулю по определению, в то время как элементы, которые можно поделить на любую степень s, в P могут существовать.
Приступим теперь к доказательству изначально заявленных утверждений. Пусть P → K → F -- оболочка кокручения R-модуля F, являющегося s-контрамодулем. Согласно доказанному выше, R-модуль K/K(s) = ExtR1(R[s−1]/R, K) является R-модулем кокручения. Если элемент модуля P принадлежит K(s), то все элементы его согласованной системы частных в K тоже принадлежат P, поскольку иначе образ одного из них был бы ненулевым элементом F, аннулируемым s. Поскольку P(s) = 0, мы заключаем, что K(s) не пересекается с P. [Но этого мало -- вроде надо еще знать, что фактормодуль F по F(s) = образу K(s) плоский.]
Пусть K → F → P -- плоское покрытие R-модуля P, являющегося s-контрамодулем. Поскольку P(s) = 0, всякий s-делимый элемент F принадлежит K, где тоже является s-делимым элементом (поскольку все элементы в согласованной системе частных s-делимы). Таким образом, K(s) = F(s). Согласно доказанному выше, R-модуль K/K(s) = ExtR1(R[s−1]/R, K) является R-модулем кокручения. [Но этого мало -- надо бы еще знать, что R-модуль F/F(s) плоский.]
