Cohomology continuity at closed subgroups
ID: cohomology-continuity-at-closed-subgroups
For a closed subgroup of a profinite group and a discrete -module , restriction gives . Thus a class restricting to zero on already restricts to zero on one such open subgroup. The property follows by extending continuous finite-image cochains and their identities to a sufficiently small open neighborhood of .
New to topics? Read the docs here!