This question is inspired from the post linked below:

Can an algebraic number on the unit circle have a conjugate with absolute value different from 1?

What I am curious about is the following: let $\alpha$ be an algebraic integer lying in a kroneckerian Galois extension $K/\mathbb Q$ (i.e. wherein complex conjugation commutes with the rest of the Galois group, more specifically, in a CM-field). If $|\alpha|<1$, must all the other conjugates of $\alpha$ also lie inside the unit circle?

It seems I am getting heurstic arguments both for and against the statement I am trying to investigate! (Of course, one of them is more naive than the other.)

On one hand, the answer would be positive if I can show that for any $\alpha$ lying in a CM field all conjugates of $\alpha$ must lie on the same circle as $\alpha$. I did manage to show that if $\alpha$ lies on a circle of radius $r$ for some $r>0$ such that $r^n \in \mathbb Q \text{ for some }n$ $\in \mathbb N$ (i.e. $|\alpha| \in \sqrt{\mathbb Q}$), then all conjugates of $\alpha$ must also lie on the same circle, simply because

\begin{multline*} |\sigma\alpha|^2 = \sigma\alpha \cdot \overline{\sigma\alpha}= \sigma(\alpha)\sigma(\overline{\alpha}) = \sigma(\alpha\overline{\alpha}) = \sigma(|\alpha|^2) \\ = \sigma(r^2) = \sigma(r^{2n})^{1/n} = (r^{2n})^{1/n} = r^2 = |\alpha|^2 \end{multline*}

for every $\sigma \in \text{Gal}(K/\mathbb Q)$, hence all conjugates lie on the same circle. So things look somewhat promising, though I am stuck at this point. I am not sure if there is some continuity argument involved either. (Are Galois elements in CM fields continuous maps with respect to archimedean absolute values?). Also, it is to be noted that I haven't used the assumption that $\alpha$ is an algebraic integer, yet.

On the other hand, the Weak Approximation Theorem yields an $\alpha \in K$ for which $|\alpha|>1$ but $|\alpha|_v<1$ for every other archimedean place $v$ of $K$. This would give us an $\alpha$ which serves as a counterexample ... but $\alpha$ need not be an algebraic integer. I tried using the Strong Approximation Theorem (the only version of which I know being Bombieri-Gubler's Theorem 1.4.5.) to choose $\beta$ sufficiently close to $\alpha^{-1}$ at those nonarchimedean places $w$ for which $|\alpha|_w>1$, which gave me an algebraic integer $\beta$ but I lose control over archimedean values of $\beta$. Maybe I'm missing something really simple... In this argument, I haven't gotten any obstruction from the "CM-ness" of $K$ either.

Having said all that, it is possible that there are easy proofs/counterexamples to the statement that I am missing, although I haven't been come up with one of the latter either. I would really appreciate any suggestion or help. Thanks.