Pseudo-Finite Field

From Handwiki

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]

Notes

  1. Ax, James (1968). "The elementary theory of finite fields". Annals of Mathematics 88 (2): 239–271. doi:10.2307/1970573. ISSN 0003-486X. 

References

  • 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 




Categories: [Model theory] [Field theory]


Download as ZWI file | Last modified: 08/11/2026 21:51:17 | 26 views
☰ Source: https://handwiki.org/wiki/Pseudo-finite_field | License: CC BY-SA 3.0

ZWI is not signed. [what is this?]