$\DeclareMathOperator{\Hom}{Hom}
\DeclareMathOperator{\Aut}{Aut}
\DeclareMathOperator{\Gal}{Gal}
\newcommand{\Z}{{\Bbb Z}}
\newcommand{\Q}{{\Bbb Q}}
\newcommand{\Fbar}{{\overline F}}
\newcommand{\G}{\Gamma}
$Let $F=\Q(\sqrt{7}\,)$, and consider the $\Gal(\Fbar/F)$-module $\mu\_8$.
The Galois group $\Gal(\Fbar/F)$ acts on $\mu\_8$ via a surjective homomorphism
$$\alpha\colon \Gal(\Fbar/F)\to\Aut(\mu\_8)=(\Z/8\Z)^\times.$$
Write $\G=(\Z/8\Z)^\times$, and let $E/F$ be the finite Galois extension in $\Fbar$
corresponding to $\ker\alpha$; then $\Gal(E/F)=\G$.
Note that $\G$ is a non-cyclic group of order 4.
The group $\G$ naturally acts on $E$ and on the set of places of $E$.


For each place $v$ of $F$, consider the decomposition group $\G\_v\subset \G$,
the stabilizer of $w$ in $\G$ where $w$ is a place of $E$ over $v$.



> 
> **Question.** Is it true that all decomposition groups $\G\_v$ are cyclic?
> 
> 
> 


If yes, I would be grateful for a reference or a proof.



Decomposition groups for the Galois module $\mu_8$
If I understand this, $E = \mathbf Q(\sqrt{7},\zeta\_8) = F(\zeta\_8)$. Since $\mathbf Q(\zeta\_8)/\mathbf Q$ ramifies only at $2$ (I am ignoring infinite places), $E/F$ can ramify only at a place over $2$, and there is just one such place in $F$ since $2$ is totally ramified in $F$: $(2) = \mathfrak p^2$ where $\mathfrak p = (2,1+\sqrt{7})$.
For all other finite places $v$, the decomposition group is cyclic since inertia is trivial (so the decomposition group is isomorphic to the Galois group of the residue field extension).


To figure out the ramification and decomposition groups at $\mathfrak p$, we can pass to completions and compute there. We have $F\_{\mathfrak p} = \mathbf Q\_2(\sqrt{7})$, which equals $\mathbf Q\_2(i)$ since $-7$ is a square in $\mathbf Q\_2$. Thus
$$
F\_{\mathfrak p}(\zeta\_8) = \mathbf Q\_2(\sqrt{7},\zeta\_8) = \mathbf Q\_2(i,\zeta\_8)= \mathbf Q\_2(\zeta\_8),
$$
which is a quadratic totally ramified extension of $F\_{\mathfrak p} = \mathbf Q\_2(i)$. So $\Gamma\_\mathfrak p$ has order $ef = 2$: it is cyclic.


