Lemma 2.
${H}^{0}\left({G}_{d},\mathbb{Z}/n\left(k\right)\right)=\mathbb{Z}/\left(m(d,k)\right),$
and
${H}^{2r}\left({G}_{d},\mathbb{Z}/n\left(k\right)\right)=\{\begin{array}{ccc}\mathbb{Z}/(d,k)& \text{if}& d\text{is odd or}k\text{is even or}4m\\ \mathbb{Z}/2(d,k)& \text{if}& d\text{is even and}k\text{is odd and}4\mathbb{\nmid}m\end{array}$
and
${H}^{2r+1}\left({G}_{d},\mathbb{Z}/n\left(k\right)\right)=\{\begin{array}{ccc}\mathbb{Z}/(d,k)& \text{if}& d\text{is odd or}k\text{is even or}4m\\ \mathbb{Z}/2(d,k)& \text{if}& d\text{is even and}k\text{is odd and}4\mathbb{\nmid}m\end{array}$

Proof.
The standard resolution used to calculate the cohomology of a cyclic group
${G}_{d}$
on
$\mathbb{Z}/n\left(k\right)$
is used to carry out this calculation. Our dictionary allows us to calculate
${N}_{k}={\sum}_{i=0}^{d1}{\sigma}^{ik}:\mathbb{Z}/n\to \mathbb{Z}/n$
and
${T}_{k}=1{\sigma}^{k}:\mathbb{Z}/n\to \mathbb{Z}/n$
as
$$\begin{array}{ccc}{T}_{k}\left(j\right)& =& jj\left(1+km\right)=kmj\end{array}$$  
$$\begin{array}{ccc}{N}_{k}\left(j\right)& =& j\left({\sum}_{i=0}^{d1}\left(1+ikm\right)\right)\end{array}$$  
$$\begin{array}{ccc}& =& j\left(d+km\frac{d\left(d1\right)}{2}\right)\end{array}$$  
$$\begin{array}{ccc}& =& \{\begin{array}{ccc}jd& \text{if}& d\text{is odd or}k\text{is even}\\ j\left(dm\frac{d}{2}\right)& \text{if}& d\text{is even and}k\text{is odd}\end{array}\text{}\end{array}$$  
In the case when
$d$
is even and
$k$
is odd, we note that
$$\left(m,1\frac{m}{2}\right)=\{\begin{array}{cc}2& \text{if}4\mathbb{\nmid}m\\ 1& \text{otherwise}\end{array}.$$
Then the sequence that calculates the cohomology groups is
$$\cdots \mathbb{Z}/n\to {N}_{k}\mathbb{Z}/n\to {T}_{k}\mathbb{Z}/n\to {N}_{k}\mathbb{Z}/n\to {T}_{k}\mathbb{Z}/n\cdots ,$$
and we find
$$\begin{array}{ccc}\text{Ker}{T}_{k}& =& \frac{d}{\left(d,k\right)}\mathbb{Z}/n\sim =\mathbb{Z}/\left(m\left(d,k\right)\right)\end{array}$$  
$$\begin{array}{ccc}\text{Im}{T}_{k}& =& km\mathbb{Z}/n=\left(d,k\right)\cdot m\mathbb{Z}/n\end{array}$$  
$$\begin{array}{ccc}\text{Ker}{N}_{k}& =& \{\begin{array}{ccc}m\mathbb{Z}/n& \text{if}& d\text{is odd or}k\text{is even or}4m\\ \frac{m}{2}\mathbb{Z}/n& \text{if}& d\text{is even,}k\text{is odd, and}4\mathbb{\nmid}m\end{array}\text{}\end{array}$$  
$$\begin{array}{ccc}\text{Im}{N}_{k}& =& \{\begin{array}{ccc}d\mathbb{Z}/n& \text{if}& d\text{is odd or}k\text{is even or}4m\\ 2d\mathbb{Z}/n& \text{if}& d\text{is even,}k\text{is odd, and}4\mathbb{\nmid}m\end{array}\text{}\end{array}$$  
The rest is straightforward. □
Corollary 6.
Let
$A$
be a regular, connected semilocal domain, and let
$n$
be an odd positive integer relatively prime to the residue characteristics of
$A$
. Suppose that
$m$
is the largest divisor of
$n$
such that
${\zeta}_{m}\in A$
. Let
${A}_{n}=A\left[{\zeta}_{n}\right],$
and let
$G=$
Gal
$({A}_{n}/A).$
Then
${H}^{p}\left(G,\mathbb{Z}/n\left(2\right)\right)=\{\begin{array}{ccc}\mathbb{Z}/m\left(2\right)& \text{if}& p=0\\ 0& \text{if}& p>0\end{array}$

Proof.
If
$m=n,$
we are done. Suppose that
$n=\ell {n}^{\prime}$
where
$\ell $
is the smallest prime divisor of
$\frac{n}{m}.$
Then there is a cyclic subgroup
$H\u22b3G$
such that
${A}_{{n}^{\prime}}:={A}^{H}=A\left[{\zeta}_{{n}^{\prime}}\right],$
and
${A}_{{n}^{\prime}}$
is a Galois extension of
$A$
with abelian Galois group
$G/H.$
If
${\zeta}_{\ell}\in {A}_{{n}^{\prime}},$
then
${A}_{n}$
and
${A}_{{n}^{\prime}}$
satisfy the hypothesis of the lemma.
Hence
$${H}^{p}(H,\mathbb{Z}/n(2\left)\right)=\{\begin{array}{ccc}\mathbb{Z}/{n}^{\prime}\left(2\right)& \text{if}& p=0\\ 0& \text{if}& p>0\end{array}.$$
If
${\zeta}_{\ell}\ne {A}_{{n}^{\prime},}$
then
$\left[{A}_{n}:{A}_{{n}^{\prime}}\right]=\ell 1$
is relatively prime to
${n}^{\prime}.$
Hence
$${H}^{p}(H,\mathbb{Z}/n(2)=\{\begin{array}{ccc}\mathbb{Z}/{n}^{\prime}\left(2\right)& \text{if}& p=0\\ 0& \text{if}& p>0\end{array}.$$
Now by using the HochschildSerre spectral sequence,
$${E}_{2}^{p,q}={H}^{p}\left(G/H,{H}^{q}\left(H,\mathbb{Z}/n\left(2\right)\right)\right)\Rightarrow {H}^{p+q}\left(G,\mathbb{Z}/n\left(2\right)\right),$$
and the above calculations, we conclude that
${H}^{p}\left(G/H,{H}^{0}\left(H,\mathbb{Z}/n\left(2\right)\right)\right)\to \mathbb{\approx}{H}^{p}\left(G,\mathbb{Z}/n\left(2\right)\right).$
Since
${H}^{0}\left(H,\mathbb{Z}/n\left(2\right)\right)=\mathbb{Z}/{n}^{\prime}\left(2\right),$
we may apply an induction hypothesis and thus prove the corollary. □
Lemma 3.
Let
$A$
be a regular, connected, semilocal domain with quotient field
$K,$
$n$
a positive integer relatively prime to the residue characteristics of
$A$
. Let
$B$
be a Galois extension of
$A$
with quotient field
$L$
, and let
$G=Gal(B/A).$
Suppose
${\zeta}_{n}\in B.$
Then
$${H}^{1}(G,{H}^{1}\left(B,\mathbb{Z}/n\left(2\right)\right))\to {H}^{1}(G,{H}^{1}\left(L,\mathbb{Z}/n\left(2\right)\right))$$
is injective.

Proof.
Since
$A$
is a UFD, we have an exact sequence
$$0\to {A}^{*}\to {K}^{*}\to \prod or{d}_{x}{\prod}_{x\in {A}^{\left(1\right)}}{i}_{x*}\mathbb{Z}\to 0$$
where
${A}^{\left(1\right)}=\left\{x\in Spec\left(A\right)/ht\left(x\right)=1\right\}$
and
$or{d}_{x}:{K}^{*}\to {i}_{x*}\mathbb{Z}$
calculates the order of
$f\in {K}^{*}$
at the discrete valuation associated to
$x,$
and
${i}_{x}:Spec\left(k\right(x\left)\right)\to Spec\left(A\right)$
is the inclusion of the residue field of
${A}_{x}.$
If we map this sequence to itself by multiplication by
$n$
, the cokernels form the short exact sequence
$$0\to {A}^{*}/{A}^{*n}\to {K}^{*}/{K}^{*n}\to \prod or{d}_{x}{\prod}_{x\in {A}^{\left(1\right)}}{i}_{x*}\mathbb{Z}/n\to 0.$$
There is a sequence of
$G$
modules obtained by twisting the sequence for
$B$
with the cyclotomic character
$$0\to {B}^{*}/{B}^{*n}\left(1\right)\to {L}^{*}/{L}^{*n}\left(1\right)\to {\prod}_{y\in {B}^{\left(1\right)}}{i}_{y*}\mathbb{Z}/n\left(1\right)\to 0,$$
relating
$B{/}^{*}{B}^{*n}\left(1\right)={H}^{1}\left(B,\mathbb{Z}/n\left(2\right)\right)$
to
${L}^{*}/{L}^{*n}\left(1\right)={H}^{1}\left(L,\mathbb{Z}/n\left(2\right)\right)$
since
${\zeta}_{n}\in {L}^{*}.$
Thus we need only show that
$${H}^{0}\left(G,{L}^{*}/{L}^{n*}\left(1\right)\right)\to {H}^{0}(G,{\prod}_{y\in {B}^{\left(1\right)}}{i}_{y*}\mathbb{Z}/n(1\left)\right)$$
is onto to complete the proof of the lemma. But
$${H}^{0}(G,{\prod}_{y\in {B}^{\left(1\right)}}{i}_{y*}\mathbb{Z}/n(1\left)\right)\mathbb{\approxeq}{\prod}_{x\in {A}^{\left(1\right)}}{H}^{0}\left({D}_{yx},{i}_{y*}\mathbb{Z}/n\left(1\right)\right)\mathbb{\approxeq}{\prod}_{x\in {A}^{\left(1\right)}}{i}_{x*}\mathbb{Z}/{m}_{x}\left(1\right)$$
where
${D}_{yx}$
is the decomposition group of a choice of
$y\in {B}^{\left(1\right)}$
lying over
$x\in {A}^{\left(1\right)}$
and
$\mathbb{Z}/{m}_{x}\left(1\right)$
is the group of roots of unity of order
$n$
in
$k\left(y\right)$
fixed by
${D}_{yx}$
(expressed in the above notation).
Any element
$\alpha \in {\prod}_{x\in {A}^{\left(1\right)}}{i}_{x*}\mathbb{Z}/{m}_{x}\left(1\right)$
can be written as
$$\alpha ={\sum}_{x\in {A}^{\left(1\right)}}{\delta}_{x}\cdot {\zeta}_{n}^{{r}_{x}}$$
where the sum is finite and
${\delta}_{x}=0$
for
${x}^{\prime}\in {A}^{\left(1\right)}$
if
${x}^{\prime}\ne x$
and
${\delta}_{x}=1\in {i}_{x*}\mathbb{Z}/n$
at
$x\in {A}^{\left(1\right)}.$
Then there is
${f}_{x}\in {K}^{*}/{K}^{*n}$
with
$or{d}_{x}\left({f}_{x}\right)={\delta}_{x}$
and
$or{d}_{{x}^{\prime}}\left({f}_{x}\right)=0$
if
${x}^{\prime}\ne x.$
Hence
${\sum}_{x\in {A}^{\left(1\right)}}\left({\sum}_{\sigma \in G/{D}_{yx}}{f}_{x}\sigma \left({\zeta}_{n}^{{r}_{x}}\right)\right)$
has image
$\alpha .$
□
Remark 1.
The proof amounts to first reducing to the case of a dvr
$A$
by using the UFD sequence and then solving the problem at the completion where
${D}_{yx}$
becomes the Galois group and finally spreading that solution around using the transitivity of the action of
$G$
on
$\left\{y\in {B}^{\left(1\right)}/y\text{lies over a fixed}x\in {A}^{\left(1\right)}\right\}.$

Proof.
If
${\zeta}_{n}\in A,$
the theorem reduces to the well known result
$Br\left(A\right)\subset Br\left(K\right)$
since
${H}^{2}\left(A,\mathbb{Z}/n\left(k\right)\right)\mathbb{\approxeq}{H}^{2}\left(A,\mathbb{Z}/n\left(1\right)\right){\mathbb{\approxeq}}_{n}Br\left(A\right)$
and similarly for
$K.$
We reduce the theorem to this case by analyzing the cohomology of a cyclic Galois covering
$A\left[{\zeta}_{n}\right]/A$
with Galois group
$G.$
There is a spectral sequence for this covering
$${E}_{2}^{p,q}={H}^{p}\left(G,{H}^{q}\left(A\left[{\zeta}_{n}\right],\mathbb{Z}/n\left(2\right)\right)\right)\Rightarrow {H}^{n}\left(A,\mathbb{Z}/n\left(2\right)\right).$$
Suppose
$x\in Ker\left[{H}^{2}(A,\mathbb{Z}/n(2\left)\right)\to {H}^{2}(K,\mathbb{Z}/n(2\left)\right)\right].$
Then
$x=0$
in
${H}^{2}{\left(A\left[{\zeta}_{n}\right],\mathbb{Z}/n\left(2\right)\right)}^{G}$
by the above remarks. But Lemma 3 shows that
$x=0$
also in
${E}_{\infty}^{1,1}\subseteq {H}^{1}\left(G,{H}^{1}\left(A\left[{\zeta}_{n}\right],\mathbb{Z}/n\left(2\right)\right)\right).$
Finally Corollary 6 shows that
$x\in {E}_{\infty}^{2,0}\subseteq {H}^{2}\left(G,\mathbb{Z}/m\left(2\right)\right)$
where
${\zeta}_{m}\in A.$
But
${H}^{2}\left(G,\mathbb{Z}/m\left(2\right)\right)$
is the same for the Galois covering
$A\left[{\zeta}_{n}\right]/A$
and
$K\left[{\zeta}_{n}\right]/K.$
Hence
$x=0$
and the theorem follows. □
References

S. Bloch and A. Ogus “Gersten's conjecture and the homology of schemes”, Ann Sci Ecole Norm Sup., 4th sér. 7(1974). 181202.

JL ColliotThélène and M. Ojanguren “Espaces Principaux homogènes localement triviaux”, Publications Mathematiques de l'IHES, 75(1992), 97122.

J.L. ColliotThélène, R.T. Hoobler, and B. Kahn, “The Bloch—Ogus—Gabber Theorem”, Algebraic KTheory, Fields Inst. Commun., Vol. 16, Amer. Math. Soc., Providence, RI, 1997, 31–94.

O. Gabber, “Ktheory of henselian local rings and henselian pairs”, a letter from Ofer Gabber to M. Karoubi, 83, AMS Contemp Math, 1989.

O. Gabber, “Affine analog of the proper base change theorem”, Israel J. of Math., 87(1994),325335.

H. Gillet, “Gersten's conjecture for the Ktheory with torsion coefficients of a discrete valuation ring”, J Algebra, 103(1986), 377380.

H. Gillet,.and M. Levine, “The relative form of Gersten's conjecture over a discrete valuation ring:The smooth case”, J Pure Appl Algebra, 46(1987), 5971.

H. Gillet, personal communication, July 1995.

D. Grayson, “Universal exactness in algebraic Ktheory”, J Pure Appl Algebra, 36(1985), 139141.

U. Jannsen, “Continuous étale cohomology”, Math Ann, 280(1988), 207245.

B. Kahn, “Deux théorèmes de comparision en cohomologie étale; applications”, Duke Math J, 69(1993), 137165.

J. Milne, Étale Cohomology, Princeton University Press, 1980, Princeton, NJ.

C. Pedrini, and C. Weibel, “Invariants of real curves”, Rend Sem Mat Univers Politecn Torino, 49(1991), 139173.

D. Quillen, “Higher Algebraic Ktheory I”, Algebraic Ktheory I: Higher Ktheories, Lecture Notes in Math, 341, SpringerVerlag, Berlin, 1973, 85147.

Michel Raynaud, Anneaux Locaux Hensélien, Lecture Notes in Math, 169, SpringerVerlag, Berlin, 1970.

SGA4:Theorie des Topos et Cohomologie Étale des Schemas, Lecture Notes in Math, 305, SpringerVerlag, Berlin, 1973.

C. Soulé, “Kthéorie des anneaux d'entiers de corps de nombres et cohomologie étale”, Inventiones math, 55(1979), 251295.

R. Strano,“On the étale cohomology of hensel rings”, Comm in Alg, 12, 21952211.

A. Suslin, “Torsion in
${K}_{2}$
of fields”, Ktheory, 1(1987), 529.

J. Tate, “Relations between
${K}_{2}$
and Galois cohomology”, Inv Math 36(1976), 257274.

C. Weibel, “Étale Chern classes at the prime 2”, Proceedings of the Lake Louise Conference on Algebraic KTheory, NATO ASI Series C, 407, Kluwer Academic Publishers, Dordrecht 1993, 249286.
City College of New York, New York, New York 10031