MHB The polynomial is irreducible iff the condition is satisfied

Click For Summary
The polynomial f(x) = x^n + 1 in Q[x] is irreducible if and only if n is a power of two, specifically n = 2^k for some integer k ≥ 0. When n is expressed as 2^k * ℓ, where ℓ is odd, if ℓ > 1, then f(x) can be factored, indicating reducibility. For ℓ = 1, the irreducibility can be shown using polynomial factorizations and Gauss's lemma. The discussion emphasizes that while Eisenstein's criterion is a valid approach, simpler methods can also effectively demonstrate the irreducibility of the polynomial. Understanding these conditions is crucial for determining the polynomial's factorization properties.
mathmari
Gold Member
MHB
Messages
4,984
Reaction score
7
Hey! :o

I need some help at the following exercise:

Show that the polynomial $f(x)=x^n+1 \in \mathbb{Q}[x]$ is irreducible if and only if $n=2^k$ for some integer $k \geq 0$.

Could you give me some hints what I could do?? (Wondering)
 
Physics news on Phys.org
This is a fairly straightforward algebra exercise. Hint : show that

$$x^{2n+1} + 1 = (x + 1)\left ( x^{2n} - x^{2n-1} + \cdots - x + 1 \right)$$
 
mathmari said:
Hey! :o

I need some help at the following exercise:

Show that the polynomial $f(x)=x^n+1 \in \mathbb{Q}[x]$ is irreducible if and only if $n=2^k$ for some integer $k \geq 0$.

Could you give me some hints what I could do?? (Wondering)

Hi mathmari,

Note that $n$ is of the form $2^k \ell$, where $k \ge 0$ and $\ell$ is odd. Thus $x^n + 1 = x^{2^k \ell} + 1 = (x^{2^k})^{\ell} + 1$. Hence, if $\ell > 1$, $x^{2^k} + 1$ is a proper factor of $x^n + 1$. In case $\ell = 1$, show that $(x + 1)^n + 1$ is irreducible by application of Eisenstein's criterion with $p = 2$. Show that this implies $x^n + 1$ is irreducible.
 
Eh, Eisenstein's criterion is a bit too much. Some easy polynomial factorizations, Gauss lemma and a pack of popcorns does the trick.
 
Thread 'How to define a vector field?'
Hello! In one book I saw that function ##V## of 3 variables ##V_x, V_y, V_z## (vector field in 3D) can be decomposed in a Taylor series without higher-order terms (partial derivative of second power and higher) at point ##(0,0,0)## such way: I think so: higher-order terms can be neglected because partial derivative of second power and higher are equal to 0. Is this true? And how to define vector field correctly for this case? (In the book I found nothing and my attempt was wrong...

Similar threads

Replies
48
Views
4K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 16 ·
Replies
16
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 12 ·
Replies
12
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K