Лемма о подъеме идемпотентов по модулю ниль-идеала

[posic]

Правда, поразительное доказательство -- второе по ссылке https://stacks.math.columbia.edu/tag/00J9 ? Такое впечатление, что его придумали в какую-то другую эпоху, от нас очень далекую. Откуда взялись эти формулы, со всеми этими двойками, тройками, четверками? Как такое можно придумать, исходя из чего? Почему никто этого не объясняет?

Это -- очень хорошее доказательство. Авторов Stacks Project по ссылке интересует случай коммутативного кольца, но это доказательство никакой коммутативности не использует, конечно. (Точнее сказать, коммутативность не используется в интересующей нас части рассуждения по ссылке, касающейся существования подъема -- единственности нет в некоммутативном случае.)

Поиск на "lifting idempotents modulo nil ideal" выводит на разные рассуждения, такие как, например, http://www.math.hawaii.edu/~lee/algebra/idempotent.pdf . Это второе доказательство на первый взгляд кажется лучше -- прозрачнее, все формулы более-менее очевидные и никаких недоуменных вопросов не вызывают. Легче придумать, легче запомнить.

Но на самом деле лучше доказательство по первой ссылке, с загадочными формулами. Потому, что в нем нет произвольного выбора момента остановки процесса. Зависимости от показателя нильпотентности нет. Просто -- однозначно определенный, сходящийся итерационный процесс, дающий "канонический", функториальный ответ. Автоматически согласованный с гомоморфизмами колец, и легко обобщаемый на случай топологического кольца с топологически-ниль идеалом, например.

То же доказательство (с теми же странными формулами, слегка по-другому записанными) обнаруживается в Proposition 10.3.1 на странице 233 в книжке Hazewinkel, Gubareni, Kirichenko "Algebras, Rings and Modules" vol.1, Kluwer, 2004. Жалко, что никто не цитирует оригинальный первоисточник. Кто это придумал-то? Интересно же.

Comments

[buddha239.livejournal.com]

Что же в этих формулах странного? Обычное линейное представление НОД.:)

[posic.livejournal.com]

Ничего не понял. Где вы видите НОД? Где -- линейное представление?

[buddha239.livejournal.com]

Найти многочлен, который имеет остаток 0 по модулю t^2 и 1 по модулю (t-1)^2.

[posic.livejournal.com]

Ага. Но почему надо искать именно такой многочлен?

[buddha239.livejournal.com]

Потому, что он идемпотент по модулю (t^2-t)^2.

Кстати, этот многочлен у меня на странице 40: https://arxiv.org/pdf/0704.4003.pdf :)

[posic.livejournal.com]

Там еще используется, что этот многочлен сравним с t по модулю t^2-t. Что, конечно, тоже следует из того же самого.

[oskar-808.livejournal.com]

A First proof по первой ссылке чем плохо? Не обобщается на топологические кольца?

[posic.livejournal.com]

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

[posic.livejournal.com]

https://www.facebook.com/posic/posts/2052287291452761