For any system f of
Diophantine equations, there exist positive integers C(f),D(f) with the following
properties: For any nonnegative integer n, for any prime p, if v is the p-adic
valuation, and if a vector x of integers satisfies the inequality
then there is an algebraic p-adic integral solution y to the system f such
that
This theorem is proved by techniques of algebraic geometry in the more general
setting of Noetherian domains of characteristic zero. When f is just a single equation,
the method of Birch and McCann gives an effective determination of C(f) and
D(f).
|