Модуль ковариантов - Module of covariants

В алгебра, учитывая алгебраическая группа грамм, а грамм-модуль M и грамм-алгебра А, во всем поле k, то модуль ковариантов типа M это ${\displaystyle A^{G}}$-модуль

${\displaystyle (M\otimes _{k}A)^{G}.}$

куда ${\displaystyle -^{G}}$ относится к взятию элементов, зафиксированных действием грамм; таким образом, ${\displaystyle A^{G}}$ это кольцо инвариантов из А.

Смотрите также

• Локальные когомологии

Рекомендации

• М. Брион, Sur les modules de covariants, Анна. Sci. École Norm. Как дела. (4) 26 (1993), 1 21.
• М. Ван ден Берг, Модули ковариантов, Труды Международного конгресса математиков, Vol. 1, 2 (Цюрих, 1994), Birkhauser, Basel, стр. 352–362, 1995.