Let $K$ be a number field,$\nu$ a nonarchimedian prime of $K$, $K\_{\nu} $ the completion of $K $ at $\nu $ with maximal unramified extension $K\_{\nu}^{unr} $. Let $E $ be an elliptic curve defined over $K $, and let $E\_{p^n} $ denote its $p^n $-divisors, where $p $ is a (rational) prime that is not a multiple of $\nu $.


The authors of the paper that I'm studying claim that
$$H^1 (K\_{\nu}^{unr}/K\_{\nu},E\_{p^n})\subseteq ker (H^1 (K\_{\nu}, E\_{p^n})\rightarrow H^1 (K\_{\nu},E)) $$.
It totally escapes me why that is the case. I might not be seeing the wood for all the trees here.
Can someone help me out?



A question on the cohomology of elliptic curves over local fields
By the Kummer sequence, your kernel is isomorphic to $E(K\_\nu)/p^nE(K\_\nu)$ via the connecting homomorphism. If you also assume that your elliptic curve has good reduction ath $\nu$, then the cocycle you get via the connecting homomorphism will be unramified, which I think is what you want (plus use inflation-restriction). This all comes down to the fact that the $p^n$-torsion generates an unramified extension of $K\_\nu$ provided that (1) $E$ has good reduction at $\nu$ and (2) $\nu$ does not divide $p$. (However, you didn't say that $E$ has good reduction at $\nu$, in which case I don't immediately see why your inclusion should be true.)


