14-10-2023
В алгебре дифференцирование — это операция, обобщающая свойства различных классических производных и позволяющая ввести дифференциально-геометрические идеи в алгебраическую геометрию. Изначально это понятие было введено для исследования интегрируемости выражений в элементарных функциях алгебраическими методами.
Содержание |
Пусть — алгебра над кольцом . Дифференцирование алгебры — это -линейное отображение , удовлетворяющее тождеству Лейбница:
В более общем случае дифференцирование коммутативной со значениями в -модуле — это -линейное отображение , удовлетворяющее тождеству Лейбница. В этом случае называют дифференциальным модулем над Множество всех дифференцирований со значениями в обозначается (, ) и является -модулем. Функтор является представимым, его представляющий объект обозначается или и называется модулем кэлеровых дифференциалов. является начальным объектом в категории дифференциальных модулей над , то есть существует такое дифференцирование , что любое дифференцирование пропускается через :
Пусть — -градуированная алгебра, градуировку элемента обозначим . Правильным аналогом дифференцирований в этом случае являются градуированные дифференцирования, порождённые однородными отображениями степени , удовлетворяющими следующему градуированному тождеству Якоби ():
Если , то градуированные дифференцирования совпадают с обычными. Если , то их обычно называют супердифференцированиями. Супердифференцирования образуют супералгебру Ли относительно суперкоммутатора
Примерами супердифференцирований являются внешнее и внутреннее дифференцирование на кольце дифференциальных форм.
Это заготовка статьи по алгебре. Вы можете помочь проекту, исправив и дополнив её. |
Дифференцирование (алгебра).