I think we can use induction somehow?

  • Thread starter Thread starter kathrynag
  • Start date Start date
  • Tags Tags
    Induction
Click For Summary
SUMMARY

This discussion focuses on properties of finite fields, specifically those of characteristic p > 0. The map f: K → K defined by f(a) = a^p is established as surjective, confirming that for any B in K, there exists an l in K such that N = l^p. Additionally, it is demonstrated that if f(x) in K[x] has a root l in an extension F of K, then l^q is also a root, where q = p^n. Furthermore, the irreducibility of f(x) in Zp[x] of degree m is linked to the divisibility condition m | n when f(x) divides x^p^n - x.

PREREQUISITES
  • Understanding of finite fields and their characteristics
  • Knowledge of polynomial functions in K[x]
  • Familiarity with irreducibility in polynomial algebra
  • Basic concepts of field extensions
NEXT STEPS
  • Study the properties of finite fields, particularly those of characteristic p
  • Explore the concept of polynomial irreducibility in Zp[x]
  • Learn about field extensions and their applications in algebra
  • Investigate induction techniques in algebraic proofs
USEFUL FOR

Mathematicians, algebraists, and students studying finite fields and polynomial theory will benefit from this discussion, particularly those interested in the properties and applications of finite fields in algebra.

kathrynag
Messages
595
Reaction score
0
1. Let K be a finite field of characteristic p > 0. Show that the map f : K--->K given
by f(a) = a^p is surjective, hence if B is in K, then N = l^p for some element l of K.

2. Let K be a finite field with q = p^n elements (p a prime). Show that if f(x) in K[x] and
l is a root of f(x) in some extension F of K, then l^q is also a root of f(x).

3. Let f(x) in Zp[x] be irreducible of degree m. Show that if f(x) | x^p^n− x, then m | n.

4. Let K be a field with p^m elements and let l in K. Show that l^p^mk= l for every
positive integer k.




Ideas:
1. Since K is a finite field, f maps K to itself, f is surjective iff f is injective.
So I need to show f is injective, I'm assuming?

2.I began by writing f(x) = a_mx^m+a_m−1x^m−1+· · ·+a_1x+a_0. I was thinking that might help somehow.

3.Let f(x) | x^p^n− x and let K be the field of p^n elements. Then x^p^n− x,
and hence f(x), splits over K. I get this, but then I don't know where to go from here.

4.I think we can use induction somehow?
 
Physics news on Phys.org


Right idea?
 

Similar threads

Replies
4
Views
2K
Replies
1
Views
2K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
6
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K