http://posic.livejournal.com/1106295.html и всей серии http://posic.livejournal.com/1115798.html
Пусть С -- кокольцо над ассоциативным кольцом A, проективное (или, хотя бы, плоское) как правый A-модуль и пусть D -- кокольцо над ассоциативным кольцом B, проективное как левый В-модуль. Можно считать, что все происходит над базовым коммутативным кольцом k. Конечный комплекс C-D-бикомодулей G называется дедуализирующим (антидуализирующим) комплексом для пары коколец C и D, если выполнены следующие условия:
- G является конечным комплексом C-D бикомодулей над k;
- имеющим конечную проективную размерность как объект C-comod и конечную проективную (или, хотя бы, контраплоскую) размерность как объект comod-D;
- ...
(Продолжение следует)
Продолжение постинга Другие новости от posic.livejournal.com
Реклама на проекте
Комментарии (0)