4
$\begingroup$

How do you characterize all the linear relations satisfied by $n$th roots of unity with real, integral and non-negative integral coefficients?

Here are two examples for 3rd and 4th root:

Let $\omega_{i}$ be the primitive $i$th root of unity, then

For $2$nd root, $1 + \omega_{2} = 0$;

For $3$rd root, $1+ \omega_{3} + \omega_{3}^{2}=0$

  • 0
    I'm not sure what you're trying to say, but given the equation $\omega^n - 1 = 0$, we can factor it as $(\omega-1)(1+\omega + \omega^2 + \ldots + \omega^{n-1}) = 0$. If $\omega \neq 1$, then the latter factor must be zero.2012-12-07
  • 5
    Look up [*cyclotomic polynomials*](http://en.wikipedia.org/wiki/Cyclotomic_polynomial). In characteristic zero (presumably your main case of interest) that is all there is to is. In positive characteristic the cyclotomic polynomials are no longer irreducible, and there is more.2012-12-07
  • 0
    @Ben Here for example for $3$rd root of unity, $1+\omega_{3} +\omega_{3}^{2}$ determine all linear relation means if $a_0 + a_1\omega_{3} + a_2\omega_{3}^{2} =0$ means $a_0 = a_1 = a_2$2012-12-07
  • 1
    Do you insist on integer coefficients in your linear relations?2012-12-08
  • 0
    may be I should add for integer coefficients and non-negative integer coefficients to the question.2012-12-08
  • 0
    For integer coefficients, see the comment by @Jyrki.2012-12-08
  • 0
    @JyrkiLahtonen, please post as an answer for visibility, there's no sense for everyone else to do it.2013-02-16
  • 1
    @AndreasCaranti: Your vote of confidence is appreciated. Yet, the OP edited the question an added *non-negativity* of the coefficients. Yes, we can still describe the answer as the set of polynomials with non-neg coefficients in the ideal generated by the relevant cyclotomic polynomial, but such a description doesn't feel very useful at this point :-)2013-02-17

1 Answers 1