Let $K$ be a field complete with respect to some discrete valuation, with perfect residue field of characteristic $p$. Let $\mathbb{C}_p$ be the completion of an algebraic closure of $K$, and set $G_K := \text{Gal}(\mathbb{C}_p/K)$.
Let $V$ be a $\mathbb{C}_p$ vector space. Is it true in general that $\text{Hom}_K(V^{G_K}, K) \simeq \text{Hom}(V, \mathbb{C}_p)^{G_K}$?
Now let $T_p(X)$ be the Tate module of an abelian variety $X/K$. Then it is true that
$$\text{Hom}_K((T_p(X) \otimes_{\mathbb{Z}_p} \mathbb{C}_p)^{G_K}, K) \simeq \text{Hom}_{\mathbb{Z}_p}(T_p(X), \mathbb{C}_p)^{G_K}.$$
I'm looking for a proof of this which is somewhat elementary: I'm okay with using vanishing theorems for the Galois cohomology of $\mathbb{C}_p(i)$, but preferably not much more than that. Does anybody have such a simple way to see this?
Thanks!