for $p$ given, $\zeta_p$ a primitive root of unity, fow which $d\in \mathbb{Z}$ does $\zeta_p \in \mathbb{Q}(\sqrt{d})$?

Question

Here is a question that I am trying to answer:

Let $p$ be a prime greater than $2$. For which $d \in \mathbb{Z}$ contains $\mathbb{Q}(\sqrt{d})$ a primitive root of power $p$?

---

What I did

If $\mathbb{Q}(\sqrt{d})$ contains a primitive root of power $p$, lets say $\zeta$, then we also know, be rewriting, that $\sqrt{d} \in \mathbb{Q}(\zeta)$. (I don't think that this statement doesn't hold in the opposite way.) So then there are $a_0, \cdots , a_{p-1}$ such that $$ d \quad = \quad (a_0 + a_1 \zeta + a_2 \zeta^2 + \cdots + a_{p-2}\zeta^{p-2})^2 $$ I know how I can rewrite it but I don't know if it would be useful to do so. Could you give me some advice. (I need rather advice than a whole answer)

Answer 1

$\mathbb{Q}(\sqrt{d})$ has degree two over $\mathbb{Q}$, while $\zeta_p$ is an algebraic number with degree $\varphi(p)=p-1$.

So $\zeta_p$ belongs to a quadratic extension of $\mathbb{Q}$ iff $p=3$, and in such a case $d$ is just the discriminant of the minimal polynomial of $\zeta_p$ over $\mathbb{Q}$, i.e. $d=-3$.