Tuesday, 25 November 2014

Pseudo-finite field vs Nonstandard finite field



Let N be a countable non-standard model of Peano arithmetic (PA) and let Z be the integers extended from N. A non-standard finite field would be a ring Z/nZ where n is a non-standard prime number larger than any standard natural number.




How is a nonstandard finite field different from a pseudo-finite field? Can there be a mapping from one to the other?


Answer



The answer is negative. Not every pseudo-finite field, i.e a model of the theory of finite fields, is "nonstandard integers modulo a nonstandard prime". Every field of this form has characteristic zero. By contrast, there are pseudo-finite fields of positive characteristic:



http://www.logique.jussieu.fr/~zoe/papiers/Helsinki.pdf



(see page 17, example 5.1)


No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find limh0sin(ha)h without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...