Функтор полувариантов для конечных групп

Пусть G — конечная группа и H — ее подгруппа. (На самом деле мне неважно будет, что G конечна, но важно, что H конечна). Я хочу определить группу (G,H)-полувариантов G-модуля M так чтобы, в частности, когда подгруппа H нормальна, это была группа G/H-коинвариантов в H-инвариантах M. Вот как это делается. ( Read more... )

Производным функтором этого дела будут полубесконечные когомологии (дискретной или конечной) группы относительно конечной подгруппы. Вот уж не знаю, на что могут быть похожи такие штуки. Все это должно обобщаться, быть может, на топологические группы с открытыми проконечными подгруппами, с одной стороны, и на конечномерные алгебры Хопфа, с другой.