Skip to main content
SpringerLink
Log in

Effective counting of the points of definable sets over finite fields

  • Published:
Israel Journal of Mathematics Aims and scope Submit manuscript

Abstract

Given a formula in the language of fields we use Galois stratification to establish an effective algorithm to estimate the number of points over finite fields that satisfy the formula

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • [CDM] Z. Chatzidakis, L. van den Dries, and A. Macintyre,Definable sets over finite fields, to appear in Journal für die reine und angewandte Mathematik.

  • [D] L. van den Dries,A remark on Ax' theorem on solvability modulo primes, Mathematische Zeitschrift208 (1991), 65–70.

    Article  MATH  MathSciNet  Google Scholar 

  • [FHJ] M.D. Fried, D. Haran and M. Jarden,Galois stratification over Frobenius fields, Advances of Mathematics51 (1984), 1–35.

    Article  MATH  MathSciNet  Google Scholar 

  • [FJ] M.D. Fried and M. Jarden,Field Arithmetic, Ergebnisse der Mathematik und ihrer Grenzgebiete III11, Springer, Heidelberg, 1986.

    MATH  Google Scholar 

  • [FS] M.D. Fried and G. Sacerdote,Solving diophantine problems over all residue class fields of a number field and all finite fields, Annals of Mathematics104 (1976), 203–233.

    Article  MathSciNet  Google Scholar 

  • [HJ] D. Haran and M. Jarden,Bounded statements in the theory of algebraically closed fields with distinguished automorphisms, Journal für die reine und angewandte Mathematik337 (1982), 1–17.

    Article  MATH  MathSciNet  Google Scholar 

  • [H] R. Hartshorne,Algebraic Geometry, Graduate Texts in Mathematics52, Springer, New York, 1977.

    MATH  Google Scholar 

  • [J1] M. Jarden,Galois stratification for the elementary theory of finite prime fields, a manuscript, Tel Aviv, 1990.

  • [J2] M. Jarden,Algebraic dimension over Frobenius fields, to appear in Forum Mathematicum.

  • [L] S. Lang,Algebra, Addison-Wesley, Reading, 1970.

    MATH  Google Scholar 

  • [Li] W. Litz,Die Anzahl der rationalen Punkte von Varietäten über einem endlichen Körper, Diplomarbeit, Heidelberg, 1975.

  • [LW] S. Lang and A. Weil,Number of points of varieties in finite fields, American Journal of Mathematics76 (1954), 819–827.

    Article  MATH  MathSciNet  Google Scholar 

  • [M] H. Matsumura,Commutative Algebra, second edition, Benjamin/Cummings, Reading, Mass., 1980.

    MATH  Google Scholar 

  • [R] M. Raynaud,Anneaux Locaux Henséliens, LNM169, Springer, New York, 1970.

    MATH  Google Scholar 

  • [W] D. Wan,Hilbert sets and zeta function over finite fields, to appear in Journal für die reine und angewandte Mathematik.

  • [ZS] O. Zariski and P. Samuel,Commutative Algebra II, Springer, New York, 1975.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, University of California, 92717, Irivne, CA, USA

    Michael D. Fried

  2. School of Mathematical Sciences, Raymond and Beverly Sackler Faculty of Exact Sciences Tel Aviv University, Ramat Aviv, 69978, Tel Aviv, Israel

    Dan Haran & Moshe Jarden

Authors
  1. Michael D. Fried
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dan Haran
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Moshe Jarden
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Michael D. Fried.

Additional information

This work was partially done while all three authors were members of the Institute for Advanced Studies in Jerusalem.

Parially supported by BSF grant #87-00038 and NSA grant MDA 904-91-H-0057.

Partially supported by grants from the German-Israeli Foundation for Scientific Research and Development.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Fried, M.D., Haran, D. & Jarden, M. Effective counting of the points of definable sets over finite fields. Israel J. Math. 85, 103–133 (1994). https://doi.org/10.1007/BF02758639

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02758639

Keywords

Search

Navigation