| |||
|
|
>дифференциал - сумма граней с присущей им ориентацией А почему оно считает то, что надо? Я сходу не помню, но в принципе не должно бы: потому что иначе у тебя был бы функториальный коммутативный ассоциативный квазиизоморфизм Кюннета, определенный над Z, а такого не бывает. Т.е. или компекс не то считает, или очевидное отображение Кюннета не квазиизоморфизм. Что я точно знаю, это что если написать бар-комплекс для группы с кубами вместо симплексов, то -- хотя для абелевой группы так сделать можно -- ответ будет совершенно не тот. Добавить комментарий: |
||||