![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posicТекст в очередной раз дописывается (предыдущий раз он дописывался полтора года назад). Текущая версия -- http://positselski.narod.ru/matrix.ps -- на восемь страниц длиннее последней архивной (76 vs 68).
Четыре из этих восьми страниц приращения занимает (довольно сложное) доказательство утверждения с тавтологической формулировкой "локальная свободность (когерентной) матричной факторизации является локальным свойством". Не все тавтологии одинаково тавтологичны!
Ожидается еще новое приложение (в смысле, appendix) про (ко)гомологии Хохшильда матричных факторизаций (статья в Transactions не исчерпала сюжета), и потом это дело пойдет в Архив. Впрочем, у нас начинается сессия, так что процесс сейчас притормозится.
Четыре из этих восьми страниц приращения занимает (довольно сложное) доказательство утверждения с тавтологической формулировкой "локальная свободность (когерентной) матричной факторизации является локальным свойством". Не все тавтологии одинаково тавтологичны!
Ожидается еще новое приложение (в смысле, appendix) про (ко)гомологии Хохшильда матричных факторизаций (статья в Transactions не исчерпала сюжета), и потом это дело пойдет в Архив. Впрочем, у нас начинается сессия, так что процесс сейчас притормозится.
