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 $A^{G}$-module

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