September 4th, 2021

Перечитал доказательство контрамодульной леммы Накаямы

Той, которая про топологическое кольцо со счетной базой окрестностей нуля, в статье с Й.Р. (Journ. of Algebra, 2017). Ну, что сказать: всего страничка текста с небольшим. Внешних ссылкок нет, вообще никаких ссылок нет -- вот оно, все рассуждение целиком.

Тяжелое, сложное вычисление со многими индексами и квадратными скобками. Когда-то давно, в глубине десятилетий, все начиналось с простой, прозрачной идеи, то что называется по-английски cancellation trick. Но много формул нужно написать, чтобы применить эту простую идею на подобном уровне общности.

Трудно, но полезно было бы как-нибудь рассказать это с мелом по доске. Пришлось бы продумать обозначения так, чтобы было меньше зубодробительных индексов. Если это возможно вообще. Нелегко проследить за всеми деталями -- какие предположения там важны, какие не очень. Придумаешь, как упростить, а на доске как раз и вылезет, что упрощенная форма не проходит. Но в том и польза.

На этой лемме стоят, как минимум:
1. вся теория плоских контрамодулей над топологическими кольцами со счетной базой (отделимость плоских контрамодулей и т.д.);
2. теорема о полной строгости контрамодульных забывающих функторов для пополнений по топологиям Габриэля со счетной базой конечно-порожденных правых идеалов.

Истечение годов

https://posic.livejournal.com/2000255.html

2014 и 2016 годы закончились. 1992 подходит к концу. 2015 частью реализовался, частью завис в редакции и не движется. 2012 пока отложен в долгий ящик. 2017 истекает-истекает, да никак не истечет. 2018-19 сильно продвинулись вперед. 2020-21, естественно, продолжаются.