If I have k algebraic integers like a_1, ..., a_k such that the sum of their npower are integer for n=1, ...m can we deduce that a_1, ..., a_k are integers? how large m should be? (how many power sum should be integers to deduce all a_i's are integers)

$\begingroup$ Consider roots of unity. Gerhard "Ask Me About System Design" Paseman, 2012.10.24 $\endgroup$– Gerhard PasemanOct 25, 2012 at 3:08

4$\begingroup$ Look at Lucas numbers for example. $$(\frac{1\sqrt{5}}{2})^n+(\frac{1+\sqrt{5}}{2})^n$$ is always an integer. $\endgroup$– Gjergji ZaimiOct 25, 2012 at 3:09
2 Answers
A common theme to all comments and answers prior to this is the fact that if the algebraic integers you start with are closed under algebraic conjugation, then the power sums are all necessarily (by Galois theory) rational, so they are always (rational) integers, as rational algebraic integers are integers.
Take any monic polynomial with integer coefficients and look at the roots.