Skip to main content
3 of 3
added latex formatting
Yonatan Harpaz
  • 9.5k
  • 36
  • 58

A question on the injectivity of a canonical map between galois cohomology groups

I'm currently reading the book "Galois theory of $p$-extensions" by Helmut Koch.

There, we calculate the cohomological dimension of the galois group $G(K/k)$ where $K$ is the maximal (normal) $p$-extension of $k$.

(Here $p$ is a prime and $k$ is a local field or global field of finite type, i.e finite extension of $\mathbb{Q}$ of $\mathbb{Q}_p$.)

As $G(K/k)$ is a pro-p group, we study $H^2(G(K/k), \mathbb{F}_p)$ where $\mathbb{F}_p$ is the finite field with $p$ elements with trivial group action.

Let $k'$ be the field generated by $k$ and the $p$'th roots of unity, and let $K'$ be the maximal $p$-extension of $k'$. Then there is a canonical group homomorphism from $G(K'/k')$ to $G(K/k)$ (restriction map). This induces a homomorphism from $H^2(G(K/k),\mathbb{F}_p)$ to $H^2(G(K'/k'),\mathbb{F}_p)$.

The question is, is this map injective?

gualterio
  • 1k
  • 6
  • 13