Calculate a galois group I am trying to calculate the galois group $\operatorname{Gal}( \mathbb{Z}_q (\vartheta_p) : \mathbb{Z}_q) $, where $p$ and $q$ are different primes, $\mathbb{Z}_q$ $q$-adic ring, $\vartheta_p$ a primitive $p$-th root of unity, but I just get, that it is embedded in $\mathbb{Z}/(p)$ and no equality. How could one solve this?
 A: Sorry for posting my thoughts in the comments instead of just answering the question, but I found the references I was looking for in my notes.
Here is the version of Hensel's lemma I want to use:

Let $f(x)\in \mathbb{Z}_q[x]$ be not divisible by $q$. Suppose $f(x) \equiv \overline{g}(x)\overline{h}(x) \bmod q$ where $(\overline{g}(x), \overline{h}(x)) = 1$. Then we can find lifts $g(x)$ and $h(x)\in \mathbb{Z}_q[x]$ such that $f = gh$ and $\deg(g) = \deg(\overline{g})$.

Let $\Phi_p(x)$ be the $p$th cyclotomic polynomial. By the theory of cyclotomic fields, $\Phi_p$ factors as a product of $(p-1)/f$ monic irreducible polynomials of degree $f$ modulo $q$ where $f$ is the order of $q$ in $(\mathbb{Z}/(p))^\times$. These irreducible polynomials will be pairwise relatively prime in $\mathbb{Z}[x]/q\mathbb{Z}[x]$. Then Hensel implies this factorization lifts to a factorization of $\Phi_p(x)$ in $\mathbb{Z}_q[x]$.
Adjoining $\zeta_p$ to $\mathbb{Q}_q$ will then be a degree $f$ extension with Galois group isomorphic to the Galois group of the local extension $\mathbb{F}_q(\zeta_p)/\mathbb{F}_q$. This Galois group is cyclic, generated by the Frobenius element $x \mapsto x^q$.
Thus, unless I have myself confused,
$$\operatorname{Gal}(\mathbb{Q}_q(\zeta_p)/\mathbb{Q}_q) \cong \mathbb{Z}/f\mathbb{Z},$$
generated by $\sigma(x) = x^q$. Where $f$ is the order of $q$ in $(\mathbb{Z}/(p))^\times$.
