Module of covariants

In algebra, given an algebraic group G, a G-module M and a G-algebra A, all over a field k, the module of covariants of type M is the $A^{G}$-module

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

See also

• Local cohomology

References

• M. Brion, Sur les modules de covariants, Ann. Sci. École Norm. Sup. (4) 26 (1993), 1 21.
• M. Van den Bergh, Modules of covarariants, Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Zurich, 1994), Birkhauser, Basel, pp. 352-362, 1995.