Pseudo-finite field

In mathematics, a pseudo-finite field F is an infinite model of the first-order theory of finite fields. This is equivalent to the condition that F is quasi-finite (perfect with a unique extension of every positive degree) and pseudo algebraically closed (every absolutely irreducible variety over F has a point defined over F). Every hyperfinite field is pseudo-finite and every pseudo-finite field is quasifinite. Every non-principal ultraproduct of finite fields is pseudo-finite.

Pseudo-finite fields were introduced by Ax (1968).

References

    This article is issued from Wikipedia - version of the Monday, November 24, 2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.