Módulo de covariantes


En álgebra , dado un grupo algebraico G , un G -módulo M y un G -álgebra A , todo sobre un cuerpo k , el módulo de covariantes de tipo M es el -módulo

donde se refiere a tomar los elementos fijados por la acción de G ; por lo tanto, es el anillo de invariantes de A .