Я, дорогой Фейсбук, думаю
Jul. 28th, 2017 12:25 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posicпро теории кокручения в категориях контрамодулей. Я про них уже писал не раз -- одна статья даже недавно вышла из печати в Journal of Algebra. И вот, опять. Теперь они мне понадобились для доказательства основной леммы об очень плоских модулях, и сейчас нужно писать соответствующей раздел в статье. Думаю я, что ограничиваться ссылками не годится, так что я напишу, наверное, несколько набросков доказательств для разных уровней общности, в порядке возрастания.
Еще я думаю, что быв сегодня в городе -- в смысле, на Адаре -- по делам (к врачу нужно было зайти, в банк, там, и т.д.) -- и сидя там в очереди, придумал новое слово -- факторотделимый. Факторотделимый r-контрамодульный R-модуль. Quotseparated, по английски. Означает -- факторконтрамодуль отделимого контрамодуля. Вот, самым высоким достижимым на сегодня в этом деле уровнем общности будет как раз построение очень плоской теории кокручения для факторотделимых контрамодулей.
Еще я думаю, что быв сегодня в городе -- в смысле, на Адаре -- по делам (к врачу нужно было зайти, в банк, там, и т.д.) -- и сидя там в очереди, придумал новое слово -- факторотделимый. Факторотделимый r-контрамодульный R-модуль. Quotseparated, по английски. Означает -- факторконтрамодуль отделимого контрамодуля. Вот, самым высоким достижимым на сегодня в этом деле уровнем общности будет как раз построение очень плоской теории кокручения для факторотделимых контрамодулей.
