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 AG{\displaystyle A^{G}}-module