Я, дорогой Фейсбук, думаю

про теории кокручения в категориях контрамодулей. Я про них уже писал не раз -- одна статья даже недавно вышла из печати в Journal of Algebra. И вот, опять. Теперь они мне понадобились для доказательства основной леммы об очень плоских модулях, и сейчас нужно писать соответствующей раздел в статье. Думаю я, что ограничиваться ссылками не годится, так что я напишу, наверное, несколько набросков доказательств для разных уровней общности, в порядке возрастания.

Еще я думаю, что быв сегодня в городе -- в смысле, на Адаре -- по делам (к врачу нужно было зайти, в банк, там, и т.д.) -- и сидя там в очереди, придумал новое слово -- факторотделимый. Факторотделимый r-контрамодульный R-модуль. Quotseparated, по английски. Означает -- факторконтрамодуль отделимого контрамодуля. Вот, самым высоким достижимым на сегодня в этом деле уровнем общности будет как раз построение очень плоской теории кокручения для факторотделимых контрамодулей.