Continuous cohomology of a profinite group

ID: continuous-cohomology-of-a-profinite-group

For a profinite group and a discrete module with continuous action, continuous cohomology is computed by continuous cochains. On a compact domain these cochains have finite image. Positive-degree classes become zero on a sufficiently small open subgroup and hence are torsion by restriction followed by corestriction.

New to topics? Read the docs here!