Rest Ī“ naturality
groupCohomology.rest_Γ_naturality
Plain-language statement
Given any short exact sewuence 0 ā A ā B ā C ā 0 in Rep R G and any subgroup H of G, the following diagram is commutative Hāæ(G,C) ā¶ H^{n+1}(G A) | | ā ā Hāæ(H,C) ā¶ H^{n+1}(G A). The vertical arrows are restriction and the horizontals are connecting homomorphisms. For this, it would be sensible to define restriction as a natural transformation, so t...
Source project: Class Field Theory
Person-level attribution pending.