'Reciprocity' in $\mathbb{Z}[\zeta_n]$

Let $K=\mathbb{Q}(\zeta_n)$ where $\zeta_n$ is an $n^{th}$ root of unity, let $\mathfrak{p}$ be a prime ideal in $K$ over the rational prime $p$, and let $\alpha\in \mathbb{Z}[\zeta_n]$. Then is there a way to determine weather or not there exists an $\eta\in\mathbb{Z}[\zeta_n]$ such that $\eta^p\equiv \alpha \pmod{ \mathfrak{p}}$?

More generally, if $\mathfrak{a}$ is an arbitrary (integral) ideal in $K$ and $t$ is a positive integer, then is there a way of determining wether or not there is a solution to $\eta^t\equiv \alpha\pmod{\mathfrak{a}}$ for some $\eta\in\mathbb{Z}[\zeta_n]$?

(It seems that the power residue symbol gives an answer when $t=n$.)

The quotient ring $k=\Bbb Z[\zeta_n]/\mathfrak{p}$ is a finite field of characteristic $p$. Within $k$ the map $\eta\mapsto\eta^p$ is an automorphism (the Frobenius automorphism). So the answer to whether there is an $\eta\in\Bbb Z[\zeta_n]$ such that $\eta^p\equiv\alpha\pmod{\mathfrak p}$ is "always".
$\eta \mapsto \eta^p$ is the Frobenius automorphism of $\mathbb{Z}[\zeta_n]/\mathfrak{p}$ and $\alpha^{p^f} \equiv \alpha\bmod \mathfrak{p}$ so $\eta \equiv \alpha^{p^{f-1}}\bmod \mathfrak{p}$ where $f = [\mathbb{Z}[\zeta_n]/\mathfrak{p}:\mathbf{F}_p]=[\mathbf{F}_p(\zeta_n):\mathbf{F}_p] = \text{ord}(p \bmod n)$.
That there is a solution for $\eta^t \equiv \alpha\bmod \mathfrak{b}$ depends of course on $t$ and $\text{ord}(\alpha \bmod \mathfrak{b})$.
• Is there a way to deal with prime powers? That is,is there a way of determining if the congruence $\eta^p\equiv \alpha\pmod{\mathfrak{p}^r}$ has solutions? – Tristan Phillips Nov 9 '17 at 19:56
• Hensel lemma. ${}{}$ – reuns Nov 9 '17 at 20:09
• I could be overlooking something, but I don't think that $\alpha^{p^{f-1}}$ is a simple root of $\eta^p-\alpha \pmod{\mathfrak{p}}$; so how would we apply Hensel's lemma? – Tristan Phillips Nov 9 '17 at 20:31