К теории размерности для комплексов

Переход от категории модулей к производной категории проясняет некоторые классические результаты гомологической теории размерности, а также позволяет доказать невырожденность умножения Ионеды $\operatorname{Ext}_A^p(k,\,\cdot\,)\times\operatorname{Ext}_A^{n-p}(\,\cdot\,,k)\to\operatorname{Ext}_A^n(k,k)=k$, где аргумент – нётеров модуль (конечный комплекс с нётеровыми гомологиями), $A$ – регулярное локальное кольцо.
Библиография: 9 названий.