Pseudo-finite field

This article includes a list of references, but its sources remain unclear because it has insufficient inline citations. Please help to improve this article by introducing more precise citations. (December 2012) (Learn how and when to remove this template message)

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 James Ax in 1968.^[1]

• Ax, James (1968), "The elementary theory of finite fields", Annals of Mathematics 88 (2): 239–271, doi:10.2307/1970573, ISSN 0003-486X 
• Fried, Michael D.; Jarden, Moshe (2008), Field arithmetic, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge, 11 (3rd revised ed.), Springer-Verlag, pp. 448–453, ISBN 978-3-540-77269-9 

0.00 (0 votes) Original source: https://en.wikipedia.org/wiki/Pseudo-finite field. Read more