**Q** is the rational number field.
p is a prime number.
q is a prime number other than p.
$k_{p^r}$ is a cyclotomic field.
$k_{p^r}$=**Q**(x) where x is exp(2$\pi$i/$p^r$).
[$k_{p^r}$:**Q**]=$p^{r-1}(p-1)$.

Question: Does q remain a prime in the integer ring of $k_{p^r}$?