Let $p$ be a rational prime and $\zeta_p$ a primitive $p$th root of unity.
What do we know about the set ${z\in\mathbb{Q}(\zeta_p):|z|=1}$?