Local Fields
《Local Fields》 · 第 168 页 · Chapter XI，Section 3「Fundamental Classes and Reciprocity Isomorphism」，Theorem 1；该书索引误列为第 148–149 页
We re-state only Tate's Theorem: Theorem 1. For every Galois extension $F/E$ and every integer $n$, the homomorphism $e^n(F/E):\widehat H^n(G_{F/E},\mathbb Z)\to\widehat H^{n+2}(G_{F/E},A_F)=\widehat H^{n+2}(F/E)$ defined by $x\mapsto u_{F/E}\cdot x$ (cup product) is bijective.