Finite field with prime numbers

Click For Summary
SUMMARY

The discussion focuses on proving that in a finite field F, there exists a prime number p such that the equation (p times)a + a + ... + a = 0 holds for all elements a in the field. The initial proof demonstrates that there exists at least one element a in F satisfying this condition. A more rigorous approach involves defining a homomorphism from the integers Z into F, leading to the conclusion that the kernel of this homomorphism is a prime ideal of Z, confirming that p must equal 0 in F.

PREREQUISITES
  • Understanding of finite fields and their properties
  • Knowledge of homomorphisms in abstract algebra
  • Familiarity with prime ideals and integral domains
  • Basic concepts of ring theory, specifically regarding Z and its subrings
NEXT STEPS
  • Study the properties of finite fields and their structure
  • Learn about homomorphisms and their applications in algebra
  • Explore prime ideals and their significance in ring theory
  • Investigate the relationship between Z/pZ and finite fields
USEFUL FOR

Mathematics students, particularly those studying abstract algebra, algebraic structures, and finite fields, as well as educators seeking to deepen their understanding of field theory.

Glass
Messages
24
Reaction score
0

Homework Statement


If F is a finite field show that there is a prime p s.t. (p times)a+a+...+a=0 for all a in the field


Homework Equations





The Attempt at a Solution


Well I managed to prove that there must be an a in F s.t. (prime number, call p, times)a+a+...+a=0 but I can't seem to prove that for every a in F (p times)a+a+...+a=0 (This is the only approach I could think of).
 
Physics news on Phys.org
If you showed that pa=0 for some a, then pb = (pa)(a^-1 b) = 0 as well.

Another approach goes as follows. Define a homomorphism f from Z (the ring of integers) into F by n -> n*1. Now Z/ker(f) is a subring of F, hence an integral domain, and consequently ker(f) is a prime ideal of Z. If F is finite, f cannot be an injection, so ker(f) isn't trivial, and is thus of the form pZ for some prime p. This means Z/pZ sits inside F, and in particular p=0 in F.
 
Last edited:

Similar threads

  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 16 ·
Replies
16
Views
3K
Replies
5
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
3
Views
2K