
Abstract Algebra Abstract Algebra Math Forum 
 LinkBack  Thread Tools  Display Modes 
November 16th, 2006, 07:14 AM  #1 
Newbie Joined: Nov 2006 Posts: 28 Thanks: 0  Pseudofinite fields
How to show that pseudofinite fields are the infinite models of the theory of finite fields?

March 5th, 2009, 02:20 PM  #2 
Newbie Joined: Mar 2009 Posts: 1 Thanks: 0  Re: Pseudofinite fields
Pseudofinite fields are by definition infinite models of the theory of finite fields. One can take a field theoretic definition of pseudofinite fields as well. It goes as follows: A field is pseudofinite if it is perfect, pseudo algebraically closed and it has a unique extension of degree n for every n>0. Of course the first and the second definitions are equivalent. To show that a field which is pseudofinite (i.e perfect, pseudo algebraically closed and it has a unique extension of degree n for every n>0) is an infinite model of the theory of finite fields one has to show that all these three properties are first order expressible. This is not trivial but can be done. Then one shows that these first order statements corresponding to the three properties are satisfied by all large enough finite fields, i.e. they hold in the theory of finite fields. Finally we have to show that a field satisfying the three properties has to be infinite. This comes from pseudo algebraically closedness. Finite fields are not pseudo algebraically closed, hence the only fields which satisfy the three properties are the infinite models of the theory of finite fields. (Which do exist because of the compactness, the theory of finite fields have arbitrarily large models, therefore they have infinite models as well.)


Tags 
fields, pseudofinite 
Thread Tools  
Display Modes  

Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
finite fields  gelatine1  Abstract Algebra  2  February 1st, 2013 02:03 PM 
finite fields  gelatine1  Number Theory  0  November 7th, 2012 07:44 AM 
Finite fields  lreps  Abstract Algebra  1  April 12th, 2011 01:07 PM 
Finite fields  lreps  Abstract Algebra  0  April 10th, 2011 12:38 PM 
Finite fields  lreps  Number Theory  0  December 31st, 1969 04:00 PM 