The following question was motivated by this MO-post.

I hope that the answer should be known to experts (because of very simple formulation)...

Problem.Let $n\ge 2$. Is the set of complex numbers $\{e^{i\pi k/2^n}:0\le k<2^n\}$ linearly independent over the field of rationals?