Welcome to MathOverflow

Question

2

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!

edited Oct 9 at 14:46

asked Oct 9 at 1:37

katie
223●3

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

Will Sawin · Answer 1 · 2012-10-14 17:19:18Z UTC

3

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.

edited Oct 14 at 17:19

answered Oct 9 at 2:03

Will Sawin
18.6k●1●24●48

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

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)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.