(5 intermediate revisions by 2 users not shown)
Line 1: Line 1:
*Show that <math>Phi_n(x)</math> is reducible if <math>n</math> is not prime.
+
[[Category:problem solving]]
 +
[[Category:Euler's formula]]
 +
[[Category:complex numbers]]
  
----
+
=Problem=
 +
Show that <math>Phi_n(x)</math> is reducible if <math>n</math> is not prime.
  
 +
----
 
Think I might be stumped on this problem.  I was thinking to show that Eisenstein fails when n isn't prime, but I'm not sure how to do that.
 
Think I might be stumped on this problem.  I was thinking to show that Eisenstein fails when n isn't prime, but I'm not sure how to do that.
 
---
 
---
Line 35: Line 39:
 
<math>\scriptstyle\Phi_6(x)\ =\ x^2-x+1</math>
 
<math>\scriptstyle\Phi_6(x)\ =\ x^2-x+1</math>
  
For example, let's look at <math>\scriptstyle\Phi_4(x)</math>. What are the primitive 4-th roots of unity? By inspection it's obvious that they are <math>\scriptstyle i</math> and <math>\scriptstyle -i</math>, since <math>\scriptstyle i^4\ =\ (-i)^4\ =\ 1</math>. We could also reach this answer by looking at the more general set of 4-th roots of unity (not necessarily primitive) <math>\scriptstyle\zeta_k\ \equiv\ e^{2\pi ik/4},\ k\equiv\{1,2,3,4\}</math> and then only take the roots for which <math>\scriptstyle k</math> and 4 are relatively prime. Then, <math>\scriptstyle k\equiv \{1,3\}</math>, and <math>\scriptstyle\zeta_k\ \equiv\ \{e^{\pi i/2}, e^{3\pi i/2}\}\ =\ \{i, -i\}</math> ([http://en.wikipedia.org/wiki/Euler's_formula Euler's Formula] helps out here). To check, we can expand the factors:
+
For example, let's look at <math>\scriptstyle\Phi_4(x)</math>. What are the primitive 4-th roots of unity? By inspection it's obvious that they are <math>\scriptstyle i</math> and <math>\scriptstyle -i</math>, since <math>\scriptstyle i^4\ =\ (-i)^4\ =\ 1</math>. We could also reach this answer by looking at the more general set of 4-th roots of unity (not necessarily primitive) <math>\scriptstyle\zeta_k\ \equiv\ e^{2\pi ik/4},\ k\equiv\{1,2,3,4\}</math> and then only take the roots for which <math>\scriptstyle k</math> and 4 are relatively prime. Then, <math>\scriptstyle k\equiv \{1,3\}</math>, and <math>\scriptstyle\zeta_k\ \equiv\ \{e^{\pi i/2}, e^{3\pi i/2}\}\ =\ \{i, -i\}</math> ([[more on Eulers formula| Euler's Formula]] helps out here). To check, we can expand the factors:
  
 
<math>\scriptstyle(x-i)(x+i)\ =\ x^2-ix+ix-i^2\ =\ x^2+1\ =\ \Phi_4(x)\ \checkmark</math>
 
<math>\scriptstyle(x-i)(x+i)\ =\ x^2-ix+ix-i^2\ =\ x^2+1\ =\ \Phi_4(x)\ \checkmark</math>
Line 42: Line 46:
  
  
So, I'm going to assume that instead of <math>\scriptstyle\Phi_n</math>, Uli meant the polynomial <math>\scriptstyle\frac{x^n-1}{x-1}</math>. Obviously <math>\scriptstyle1</math> is a root of <math>\scriptstyle x^n-1</math> and thus <math>\scriptstyle x-1</math> divides <math>\scriptstyle x^n-1</math>, so there are no problems there. Indeed for any prime <math>\scriptstyle n</math>, <math>\scriptstyle\Phi_n(x)\ =\ \frac{x^n-1}{x-1}\ =\ x^{p-1}+x^{p-2}+\ldots+x+1</math>, and is irreducible over <math>\scriptstyle\mathbb{Q}</math> (this is proved in the book on pp308-309). So, what happens when <math>\scriptstyle n</math> is composite?
+
So, I'm going to assume that instead of <math>\scriptstyle\Phi_n</math>, Uli meant the polynomial <math>\scriptstyle\frac{x^n-1}{x-1}</math>. Obviously <math>\scriptstyle1</math> is a root of <math>\scriptstyle x^n-1</math> and thus <math>\scriptstyle x-1</math> divides <math>\scriptstyle x^n-1</math>, so there are no problems there. Indeed for any prime <math>\scriptstyle n</math>, <math>\scriptstyle\frac{x^n-1}{x-1}\ =\ x^{n-1}+x^{n-2}+\ldots+x+1\ =\ \Phi_n(x)</math>, and is irreducible over <math>\scriptstyle\mathbb{Q}</math> (this is proved in the book on pp308-309). So, what happens when <math>\scriptstyle n</math> is composite?
  
 
If <math>\scriptstyle n</math> is composite, then there exists an integer <math>\scriptstyle a\geq2</math> such that <math>\scriptstyle a\mid n</math>. Consider the primitive <math>\scriptstyle a</math>-th root of unity <math>\scriptstyle\zeta_a</math>. We know that <math>\scriptstyle\zeta_a^a\ =\ 1</math>, from the definition of a primitive root of unity. Now consider the <math>\scriptstyle a</math>-th cyclotomic polynomial <math>\scriptstyle\Phi_a(x)</math>. Since <math>\scriptstyle\zeta_a</math> is a ''primitive'' <math>\scriptstyle a</math>-th root of unity, <math>\scriptstyle\Phi_a(x)</math> must therefore be a minimal, irreducible polynomial of <math>\scriptstyle\zeta_a</math>. This is important. Return [http://everything2.com/title/irreducibility%2520of%2520cyclotomic%2520polynomials here] to see why it must be minimal for <math>\scriptstyle\zeta_a</math> over <math>\scriptstyle\mathbb{Q}</math>.
 
If <math>\scriptstyle n</math> is composite, then there exists an integer <math>\scriptstyle a\geq2</math> such that <math>\scriptstyle a\mid n</math>. Consider the primitive <math>\scriptstyle a</math>-th root of unity <math>\scriptstyle\zeta_a</math>. We know that <math>\scriptstyle\zeta_a^a\ =\ 1</math>, from the definition of a primitive root of unity. Now consider the <math>\scriptstyle a</math>-th cyclotomic polynomial <math>\scriptstyle\Phi_a(x)</math>. Since <math>\scriptstyle\zeta_a</math> is a ''primitive'' <math>\scriptstyle a</math>-th root of unity, <math>\scriptstyle\Phi_a(x)</math> must therefore be a minimal, irreducible polynomial of <math>\scriptstyle\zeta_a</math>. This is important. Return [http://everything2.com/title/irreducibility%2520of%2520cyclotomic%2520polynomials here] to see why it must be minimal for <math>\scriptstyle\zeta_a</math> over <math>\scriptstyle\mathbb{Q}</math>.
Line 68: Line 72:
  
 
So, <math>\scriptstyle\frac{x^6-1}{x-1}\ =\ \Phi_2(x)\cdot(x^4+x^2+1)</math>, and is clearly reducible over <math>\scriptstyle\mathbb{Q}</math>. <math>\scriptstyle\checkmark</math>
 
So, <math>\scriptstyle\frac{x^6-1}{x-1}\ =\ \Phi_2(x)\cdot(x^4+x^2+1)</math>, and is clearly reducible over <math>\scriptstyle\mathbb{Q}</math>. <math>\scriptstyle\checkmark</math>
 +
 +
(By the way, Chapter 33 in the book will help a lot too if you're still confused; it focuses completely on cyclotomic field extensions.)
 
:--[[User:Narupley|Nick Rupley]] 01:58, 9 April 2009 (UTC)
 
:--[[User:Narupley|Nick Rupley]] 01:58, 9 April 2009 (UTC)

Latest revision as of 05:11, 23 September 2011


Problem

Show that $ Phi_n(x) $ is reducible if $ n $ is not prime.


Think I might be stumped on this problem. I was thinking to show that Eisenstein fails when n isn't prime, but I'm not sure how to do that. ---

something by using the counter...?


I'm working on it, will update in a little while...

--Nick Rupley 23:21, 8 April 2009 (UTC)

Eisenstein's Criterion gives sufficient conditions for a polynomial to be irreduible over $ \scriptstyle\mathbb{Q} $, but not necessary conditions. That is, you can't use the inverse of Eisenstein's Criterion to show that a polynomial is reducible.

Now, onto cyclotomic polynomials. I'm pretty sure Uli has a typo in the homework question, because $ \scriptstyle\Phi_n(x) $ is irreducible over $ \scriptstyle\mathbb{Q} $ for all $ \scriptstyle n\in\mathbb{N} $. For any positive integer $ \scriptstyle n $, the $ \scriptstyle n $-th cyclotomic polynomial $ \scriptstyle\Phi_n(x) $ is defined as:

$ \scriptstyle\Phi_n(x)\ =\ \prod_\zeta(x-\zeta) $, where $ \scriptstyle\zeta $ ranges through the primitive $ \scriptstyle n $-th roots of unity.

I could go into detail, but it is much better explained here: Cyclotomic Polynomials

For reference, here are some of the first $ \scriptstyle n $-th cyclotomic polynomials:

$ \scriptstyle\Phi_1(x)\ =\ x-1 $

$ \scriptstyle\Phi_2(x)\ =\ x+1 $

$ \scriptstyle\Phi_3(x)\ =\ x^2+x+1 $

$ \scriptstyle\Phi_4(x)\ =\ x^2+1 $

$ \scriptstyle\Phi_5(x)\ =\ x^4+x^3+x^2+x+1 $

$ \scriptstyle\Phi_6(x)\ =\ x^2-x+1 $

For example, let's look at $ \scriptstyle\Phi_4(x) $. What are the primitive 4-th roots of unity? By inspection it's obvious that they are $ \scriptstyle i $ and $ \scriptstyle -i $, since $ \scriptstyle i^4\ =\ (-i)^4\ =\ 1 $. We could also reach this answer by looking at the more general set of 4-th roots of unity (not necessarily primitive) $ \scriptstyle\zeta_k\ \equiv\ e^{2\pi ik/4},\ k\equiv\{1,2,3,4\} $ and then only take the roots for which $ \scriptstyle k $ and 4 are relatively prime. Then, $ \scriptstyle k\equiv \{1,3\} $, and $ \scriptstyle\zeta_k\ \equiv\ \{e^{\pi i/2}, e^{3\pi i/2}\}\ =\ \{i, -i\} $ ( Euler's Formula helps out here). To check, we can expand the factors:

$ \scriptstyle(x-i)(x+i)\ =\ x^2-ix+ix-i^2\ =\ x^2+1\ =\ \Phi_4(x)\ \checkmark $

The cyclotomic polynomials are actually irreducible over $ \scriptstyle\mathbb{Q} $ for all positive integers. Here is a proof of that statement.


So, I'm going to assume that instead of $ \scriptstyle\Phi_n $, Uli meant the polynomial $ \scriptstyle\frac{x^n-1}{x-1} $. Obviously $ \scriptstyle1 $ is a root of $ \scriptstyle x^n-1 $ and thus $ \scriptstyle x-1 $ divides $ \scriptstyle x^n-1 $, so there are no problems there. Indeed for any prime $ \scriptstyle n $, $ \scriptstyle\frac{x^n-1}{x-1}\ =\ x^{n-1}+x^{n-2}+\ldots+x+1\ =\ \Phi_n(x) $, and is irreducible over $ \scriptstyle\mathbb{Q} $ (this is proved in the book on pp308-309). So, what happens when $ \scriptstyle n $ is composite?

If $ \scriptstyle n $ is composite, then there exists an integer $ \scriptstyle a\geq2 $ such that $ \scriptstyle a\mid n $. Consider the primitive $ \scriptstyle a $-th root of unity $ \scriptstyle\zeta_a $. We know that $ \scriptstyle\zeta_a^a\ =\ 1 $, from the definition of a primitive root of unity. Now consider the $ \scriptstyle a $-th cyclotomic polynomial $ \scriptstyle\Phi_a(x) $. Since $ \scriptstyle\zeta_a $ is a primitive $ \scriptstyle a $-th root of unity, $ \scriptstyle\Phi_a(x) $ must therefore be a minimal, irreducible polynomial of $ \scriptstyle\zeta_a $. This is important. Return here to see why it must be minimal for $ \scriptstyle\zeta_a $ over $ \scriptstyle\mathbb{Q} $.

Now, remember that $ \scriptstyle a\mid n $. This implies that for some positive integer $ \scriptstyle b $, $ \scriptstyle n\ =\ ab $.

$ \scriptstyle\Rightarrow\ \zeta_a^n\ =\ \zeta_a^{ab}\ =\ (\zeta_a^a)^b\ =\ 1^b\ =\ 1 $. This means that $ \scriptstyle\zeta_a $ is actually an $ \scriptstyle n $-th root of unity as well! What does this mean? Recall that a number $ \scriptstyle r $ is an $ \scriptstyle n $-th root of unity if $ \scriptstyle r^n\ =\ 1 $. But that is equivalent to saying that $ \scriptstyle r $ is a zero of the polynomial $ \scriptstyle x^n-1 $. So, since $ \scriptstyle\Phi_a(x) $ is the minimal polynomial over the primitive $ \scriptstyle a $-th root of unity $ \scriptstyle\zeta_a $, $ \scriptstyle\Phi_a(x) $ must therefore divide $ \scriptstyle x^n-1 $.

Now return to the polynomial $ \scriptstyle\frac{x^n-1}{x-1} $. We know that if $ \scriptstyle n $ is composite, there exists a divisor $ \scriptstyle a\geq2 $ such that $ \scriptstyle a\mid n $. We now also know that this implies that $ \scriptstyle\Phi_a(x)\textstyle\mid\scriptstyle\frac{x^n-1}{x-1} $.

It follows that $ \scriptstyle\frac{x^n-1}{x-1} $ can be expressed as a product $ \scriptstyle\Phi_a(x)\cdot g(x) $ for some $ \scriptstyle g(x) $. It therefore must be reducible over $ \scriptstyle\mathbb{Q} $. $ \scriptstyle\Box $


For futher clarification, look at $ \scriptstyle f(x)\ =\ \frac{x^6-1}{x-1} $ for an example. We know that $ \scriptstyle2\mid6 $, so $ \scriptstyle\Phi_2(x)\ =\ x+1 $ must divide $ \scriptstyle\frac{x^6-1}{x-1}\ =\ x^5+x^4+x^3+x^2+x+1 $. By long division:

    $ \scriptstyle x^4\ \ \ +x^2\ \ \ \ \ +1 $

$ \scriptstyle x+1)\overline{x^5+x^4+x^3+x^2+x+1} $

  $ \scriptstyle-\underline{x^5+x^4} $
      $ \scriptstyle0\ +x^3+x^2 $
       $ \scriptstyle-\ \underline{x^3+x^2} $
            $ \scriptstyle0\ +x+1 $
             $ \scriptstyle-\ \underline{x+1} $
                 $ \scriptstyle0 $

So, $ \scriptstyle\frac{x^6-1}{x-1}\ =\ \Phi_2(x)\cdot(x^4+x^2+1) $, and is clearly reducible over $ \scriptstyle\mathbb{Q} $. $ \scriptstyle\checkmark $

(By the way, Chapter 33 in the book will help a lot too if you're still confused; it focuses completely on cyclotomic field extensions.)

--Nick Rupley 01:58, 9 April 2009 (UTC)

Alumni Liaison

Correspondence Chess Grandmaster and Purdue Alumni

Prof. Dan Fleetwood