The following problem was posted to the [NMBRTHRY mailing list](https://listserv.nodak.edu/cgi-bin/wa.exe?A2=nmbrthry;94f18b90.1312) about a week ago, without eventually getting a satisfactory solution.


Suppose that $p=(n^2+1)/2$ is a prime, with $n\ge 5$ integer. Does the cyclotomic field ${\mathbb Q}(\zeta\_p)$ contain integers with modulus $\sqrt{(n\pm\sqrt{p})/2}\:$? If so, can these integers be described explicitly? 


It may be worth mentioning that the norm of such integer must be equal to $((p-1)/4)^{(p-1)/4}$.



Cyclotomic integers with given modulus
As it turned out by the end of the day, this question admits an exhaustive answer: for ${\mathbb Q}(\zeta\_p)$ to contain an algebraic integer $\alpha$ with $|\alpha|=\sqrt{(n\pm\sqrt p)/2}$ (whatever the sign is), it is necessary and sufficient that for every prime $q$ dividing $p-1=(n^2-1)/2$ to an odd power, the order of $q$ modulo $p$ were also odd. This can be shown by interpreting $|\alpha|^2$ as the norm of $\alpha$ from the cyclotomic field ${\mathbb Q}(\zeta\_p)$ down to its real subfield ${\mathbb Q}(\zeta\_p)\cap{\mathbb R}$, and applying the Hasse norm theorem which says that if $\mathbb K$ is a cyclic extension of a number field $\mathbb L$, then an element of $\mathbb L$ is the norm (from $\mathbb K$ to $\mathbb L$) of an element of $\mathbb K$ if and only if it is a norm locally everywhere. Indeed, necessity can be established using a simple argument not based on the Hasse theorem. 


Details can be found [here](http://arxiv.org/abs/1502.06833) (see Proposition 2 in the Appendix).


