Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

If I have k algebraic integers like a_1, ..., a_k such that the sum of their n-power 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)

share|improve this question

closed as too localized by Gjergji Zaimi, Andreas Blass, Andres Caicedo, Qiaochu Yuan, Dan Petersen Oct 25 '12 at 6:27

This question is unlikely to help any future visitors; it is only relevant to a small geographic area, a specific moment in time, or an extraordinarily narrow situation that is not generally applicable to the worldwide audience of the internet. For help making this question more broadly applicable, visit the help center.If this question can be reworded to fit the rules in the help center, please edit the question.

    
Consider roots of unity. Gerhard "Ask Me About System Design" Paseman, 2012.10.24 –  Gerhard Paseman Oct 25 '12 at 3:08
4  
Look at Lucas numbers for example. $$(\frac{1-\sqrt{5}}{2})^n+(\frac{1+\sqrt{5}}{2})^n$$ is always an integer. –  Gjergji Zaimi Oct 25 '12 at 3:09
add comment

2 Answers 2

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.

share|improve this answer
add comment

Take any monic polynomial with integer coefficients and look at the roots.

share|improve this answer
add comment

Not the answer you're looking for? Browse other questions tagged or ask your own question.