Правило Лейбница в алгебраической $K$-теории

Статья может рассматриваться как дополнение к работе Томасона и Тробо, в которой $K$-теория алгебраических многообразий снабжена относительными $K$-группами. Проверено, что эта расширенная $K$-теория удовлетворяет аксиомам Панина и Смирнова для кольцевых теорий когомологий алгебраических многообразий и, в частности, что для нее выполнено правило Лейбница, описывающее взаимодействие умножения с дифференциалом. Использован язык симметрических спектров и моноидальных модельных категорий. Библ. – 7 назв.