## is there any bound on the absolute number of algebraic integer in terms of its degree?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

If Z is a sum of t distinct roots of unity and |Z| is a rational integer, can someone find a bound on |Z| in terms of k=deg(Q(Z):Q))?

Clearly we need to have distinct roots of unity otherwise this won't work!

Correction: Let assume that Z is not rational itself otherwise obviously it's wrong. Here I hope to extend the proof of Kronecker thm! I have "Z is a sum of t distinct roots of unity and |Z| is a rational integer" I conjecture that either Z is rational or a root of unity!

-
Not sure what you are asking but you might want to check: Loxton, J. H. On two problems of R. W. Robinson about sums of roots of unity. Acta Arith. 26 (1974/75), 159–174. – Felipe Voloch Oct 9 at 2:04

1
Even with the correction, all you have to do is multiply Will Sawin's sum by, say, a nonreal cube root of 1, $\omega$. Then $Z=-n\omega$ is not rational, $|Z|=n$ is a rational integer, and $k=2$. – Gerry Myerson Oct 10 at 4:06
@Gerry: sorry I edited my answer to fix it before seeing your identical comment. – Will Sawin Oct 14 at 17:20

## 1 Answer

If you multiply all the primitive roots of unity for the first $n$ primes by $-i$, then add them, you get $in$, whose degree is $2$ and whose absolute value is $n$, rational and unbounded.

-

3
Dear Will, Doesn't the question ask that $|Z|$ (where $Z$ is the sum of roots of unity in question) be an integer? Regards, – Emerton Oct 9 at 2:25

1
I edited it to a more elegant solution that deals with that issue. – Will Sawin Oct 9 at 3:17
In fact, this construction allows you to write any sum of roots of unity as a sum of distinct roots of unity. – Will Sawin Oct 14 at 22:46
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 11, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.932849645614624, "perplexity_flag": "middle"}