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!