What Is the Splitting Field for \(x^{p^{80}}-1\) Over \(\mathbb{F}_p\)?

  • Context: MHB 
  • Thread starter Thread starter mathmari
  • Start date Start date
  • Tags Tags
    Field Splitting
Click For Summary

Discussion Overview

The discussion revolves around finding the splitting field for the polynomial \(x^{p^{80}}-1\) over the field \(\mathbb{F}_p\), where \(p\) is a prime number. Participants explore the properties of the polynomial and its roots within the context of finite fields.

Discussion Character

  • Exploratory
  • Technical explanation
  • Conceptual clarification

Main Points Raised

  • Some participants inquire about the field over which the polynomial is considered, with one specifying \(\mathbb{Z}_p\).
  • One participant notes the relationship \((a + b)^p = a^p + b^p\) in \(\mathbb{F}_p\) and derives that \(x^{p^n} - 1 = (x - 1)^{p^n}\).
  • A participant proposes a step-by-step derivation of the polynomial's form, suggesting that the only root is \(x=1\).
  • Another participant asserts that the splitting field of \(x^{p^{80}} - 1\) over \(\mathbb{F}_p\) is the same as that of \(x - 1\), concluding it is \(\mathbb{F}_p\).

Areas of Agreement / Disagreement

There is a general agreement that the splitting field of \(x^{p^{80}} - 1\) over \(\mathbb{F}_p\) is \(\mathbb{F}_p\), although the derivation and understanding of the polynomial's roots involve some exploration and clarification.

Contextual Notes

The discussion includes assumptions about the properties of polynomials in finite fields and the implications of the derived forms, which may not be universally agreed upon or fully resolved.

mathmari
Gold Member
MHB
Messages
4,984
Reaction score
7
Hey! :o

Could you give me some hints how to find a splitting field for the polynomial $$x^{p^{80}}-1$$ where $p$ is prime?? (Wondering)
 
Physics news on Phys.org
mathmari said:
Hey! :o

Could you give me some hints how to find a splitting field for the polynomial $$x^{p^{80}}-1$$ where $p$ is prime?? (Wondering)

Over what field are viewing this polynomial? Is it over the rationals?
 
Euge said:
Over what field are viewing this polynomial? Is it over the rationals?

The polynomial is in $\mathbb{Z}_p$.
 
So you are looking at splitting field of $x^{p^n} - 1$ over $\Bbb F_p$. Note that $(a + b)^p = a^p + b^p$ in $\Bbb F_p$ so $x^{p^n} - 1 = \left ( x^{p^{n-1}} \right )^p - 1 = (x^{p^{n-1}} - 1)^p$. Continue in this fashion to derive $x^{p^n} - 1 = (x - 1)^{p^n}$. What should the splitting field look like then?
 
mathbalarka said:
So you are looking at splitting field of $x^{p^n} - 1$ over $\Bbb F_p$. Note that $(a + b)^p = a^p + b^p$ in $\Bbb F_p$ so $x^{p^n} - 1 = \left ( x^{p^{n-1}} \right )^p - 1 = (x^{p^{n-1}} - 1)^p$. Continue in this fashion to derive $x^{p^n} - 1 = (x - 1)^{p^n}$. What should the splitting field look like then?

Is it as followed?? (Wondering)

$$x^{p^{80}}-1=\left ( x^{p^{79}} \right )^p-1= \left ( x^{p^{79}}-1\right )^p=\left ( \left ( x^{p^{78}}\right )^p -1 \right )^p=\left ( \left ( x^{p^{78}}-1\right )^p \right )^p=\left ( x^{p^{78}}-1\right )^{p^2}= \dots = \left ( x^p-1 \right )^{p^{79}}=\left ( \left ( x-1 \right )^p \right )^{p^{79}}=\left ( x-1 \right )^{p^{80}}$$The only root is $x=1$, right??

Is then the splitting field $\mathbb{Z}_p$ ?? (Wondering)
 
Yes, the splitting field of $x^{p^{80}} - 1$ over $\Bbb F_p$ is the same as that of $x - 1$, which is just $\Bbb F_p$.
 
mathbalarka said:
Yes, the splitting field of $x^{p^{80}} - 1$ over $\Bbb F_p$ is the same as that of $x - 1$, which is just $\Bbb F_p$.

I see... Thank you very much! (Happy)
 

Similar threads

  • · Replies 16 ·
Replies
16
Views
4K
Replies
1
Views
1K
Replies
48
Views
5K
  • · Replies 5 ·
Replies
5
Views
3K
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 15 ·
Replies
15
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K