Доказал (вроде) теорему. Порадовался. Решил проверить специальный случай. "Освоил" пакет HAP (Homological Algebra Programming), где черт ногу сломит, а заодно и GAP , где он сломит две. Посчитал, получил противоречие с утверждением теоремы. Не знаю, что и думать. теперь.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
branchandroot