When is Galois cohomology free or trivial?

Let p be a prime and F a field containing a primitive pth root of unity. Let E/F be a cyclic extension of degree p and G_E < G_F the associated absolute Galois groups. We determine precise conditions for the cohomology group H^n(E)=H^n(G_E,Fp) to be free or trivial as an Fp[Gal(E/F)]-module. We examine when these properties for H^n(E) are inherited by H^k(E), k>n, and, by analogy with cohomological dimension, we introduce notions of cohomological freeness and cohomological triviality. We give examples of H^n(E) free or trivial for each n in N with prescribed cohomological dimension.

Abstract licence: CC0

A person counts once a day per paper. We keep no cookie and no address: a reader is a hash that changes every day. Any month under five reads shows no number.