Restriction-corestriction identity in group cohomology
= Restriction-corestriction identity in group cohomology
For a subgroup $K\leq G$, restriction followed by corestriction acts on group cohomology as the sum over coset translates. For $K$ trivial, inner automorphisms act trivially on cohomology, so this sum is multiplication by $|G|$.