Модуль ковариантов

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

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

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

См. также

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

Ссылки

• М. Брайон, О ковариантных модулях , Ann. наук. Нормальная школа. Как дела. (4) 26 (1993), 1 21.
• М. Ван ден Берг, Модули ковариантов , Труды Международного конгресса математиков, Vol. 1, 2 (Цюрих, 1994), Биркхаузер, Базель, стр. 352–362, 1995.