Module of covariants

In algebra, given a group G, a G-module M and a G-algebra A, both over a field k, the module of covariants is the ${\displaystyle A^{G}}$-module

${\displaystyle (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.