Из серии "как писать хорошие работы, чтобы они плохо печатались"

[posic]

Допустим, надо доказать, что всякое топологическое кольцо определенного класса можно получить как кольцо эндоморфизмов некоторого модуля, с естественной топологией на кольце эндоморфизмов. Как может выглядеть раздел статьи, посвященный доказательству этого факта?

Конечно, он начинается с полуторастраничного обсуждения вопроса о топологиях на кольцах эндоморфизмов функторов со значениями в категории абелевых групп. И в особенности, как бороться с теоретико-множественными трудностями, возникающими, если категория, из которой действуют такие функторы, большая. Обсуждения, целиком базирующегося на намного более абстрактной категорной технике, развитой в предшествующей работе того же автора.

А закончиться все это должно, естественно, явным предъявлением модуля, строящегося по топологическому кольцу. И что это за модуль, в сущности, вполне очевидно с самого начала...

Comments

[oskar-808.livejournal.com]

Речь идёт про уже написанную работу?

[posic.livejournal.com]

Нет, про пишущуюся в данный момент (отсюда оборот "закончиться это должно...", указывающий на будущее время).

[posic.livejournal.com]

Но "предшествующая работа того же автора" уже (отчасти) написана -- имеется в виду последний, девятый раздел (секции 9.1 и 9.3) препринта https://arxiv.org/abs/1710.02230v2 .

[oskar-808.livejournal.com]

Спасибо.