Реклама на проекте
\\ Математика - все новости
Пусть A -- нетерово коммутативное кольцо и I -- идеал в нем. Обозначим через X аффинную схему Spec A, через U -- открытое дополнение к замкнутой подсхеме Spec A/I в Spec A, и через R -- полное топологическое кольцо limn R/In в I-адической топологии, и через Z -- аффинную формальную схему Specf R.Одно из определений модулей кручения над R -- это квазикогерентные пучки над Spec A, зануляющиеся в ограничении на U. Контрамодули над R можно определить приблизительно как...