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!