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 formula_1-module
where formula_3 refers to taking the elements fixed by the action of "G"; thus, formula_1 is the ring of invariants of "A".