I'm having trouble following one step in a proof I'm studying. I'm sure I'm missing something obvious, but I just can't get it to work out (it supposed to be "obvious" which is why they left out the details).(adsbygoogle = window.adsbygoogle || []).push({});

Anyway, it's part of a proof showing that if you have a monic polynomial with all integer coefficients and all the zeros have absolute value 1 then all the zeros are roots of unity.

So say we have our polynomial:

[itex]f(t)=(t-\alpha_1)...(t-\alpha_k)[/itex]

A simple argument is then used to show that you can create new monic integer polynomials from this by raising the alpha's to powers. For example:

[itex]f_m(t)=(t-\alpha^m_1)...(t-\alpha^m_k)[/itex]

Then it's easy to put a finite limit on the the absolute value of the coefficients, from which you get a finite set of inequalities which have a finite set of solutions, and then it is an easy leap to see that there must be two different of these "power polynomials" that are equal, for different m.

So far so good (rushing through the proof here). We then create a permutation function [itex]\pi[/itex] so we end up with for m not equal to g:

[itex]\alpha^m_j = \alpha^g_{\pi (j)}[/itex]

And then comes the next step that I don't really see. I think you only need the above, and not all the background. But my book claims that a simple induction argument gives you from the above that:

[itex]\alpha^{m^r}_j = \alpha^{g^r}_{\pi^r (j)}[/itex]

And I just can't see how to get this. The rest of the proof is also easy. It's just this one step that is bugging me. So I would really appreciate an explanation. Thanks.

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Roots of unity proof

Loading...

Similar Threads - Roots unity proof | Date |
---|---|

Roots of unity, Roots of complex equations of the form z^n = 1 | Nov 18, 2014 |

Roots of unity form a cyclic group | Jun 1, 2012 |

Galois Groups of Extensions by Roots of Unity | Apr 24, 2012 |

Roots of unity of matrices | Dec 5, 2009 |

Is e^ix multivalued, roots of unity, etc | Jan 9, 2009 |

**Physics Forums - The Fusion of Science and Community**