If is finite and , multiplication by annihilates . Indeed, restriction to the trivial subgroup is zero in positive degree, while the restriction-corestriction composite is multiplication by .
Let be a finite-index subgroup of a group and a -module. The restriction map in group cohomology followed by the corestriction map in group cohomology satisfies
on . The corestriction map in group cohomology sums the coset contributions, and the inner-conjugation maps on the original group cohomology are the identity.
The opposite composite has a different domain. When is normal, on is the sum of the conjugation actions of the cosets in . Those actions need not be trivial. For finite and , positive-degree group cohomology of vanishes, so the first composite proves that annihilates for .

Articles by others on the same topic (0)

There are currently no matching articles.