Splitting field of a polynomial over a finite field

Click For Summary
SUMMARY

The discussion centers on demonstrating that the splitting field for an irreducible polynomial f over a finite field F of size p^r is F[x]/(f). The user references Kronecker's theorem, which states that f has a root in some extension field of F, and emphasizes the importance of showing that this root exists in F[x]/(f). The conclusion drawn is that since finite extensions of finite fields are Galois, the polynomial f splits in F[x]/(f), confirming the splitting field assertion.

PREREQUISITES
  • Understanding of finite fields and their properties
  • Familiarity with irreducible polynomials in F[x]
  • Knowledge of Galois theory and finite extensions
  • Comprehension of Kronecker's theorem
NEXT STEPS
  • Study the properties of finite fields and their extensions
  • Learn about Galois theory and its application to finite fields
  • Explore the implications of Kronecker's theorem in polynomial splitting
  • Investigate the structure of F[x]/(f) and its relationship to field extensions
USEFUL FOR

Mathematicians, particularly those studying algebra, field theory, and anyone involved in polynomial algebra over finite fields.

resolvent1
Messages
24
Reaction score
0

Homework Statement


Assume F is a field of size p^r, with p prime, and assume f \in F[x] is an irreducible polynomial with degree n (with both r and n positive).

Show that a splitting field for f over F is F[x]/(f).

Homework Equations


Not sure.

The Attempt at a Solution


I know from Kronecker's theorem that f has a root in some extension field of F, but I don't know that this root is necessarily in F[x]/(f). If I could obtain this, I could use the fact that finite extensions of finite fields are Galois, therefore normal (and separable), so f splits in F[x]/(f).
I also know that finite extensions of finite fields are simple, so F[x]/(f) \cong F(\alpha) for some \alpha. Then the substitution homomorphism (g \rightarrow g(\alpha)) might help, if I knew that \alpha is a root of f.

Thanks in advance.
 
Physics news on Phys.org
I think you're thinking too hard. You want to find some polynomial expression in x that you can plug into f to get something that is divisible by f(x), right?
 
I've got it, thanks.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
Replies
6
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 28 ·
Replies
28
Views
5K
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 12 ·
Replies
12
Views
3K
Replies
10
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K