We generalize the Existential Divisibility Lemma by Th. Pheidas [7] to all global fields K of characteristic not 2, and for all sets of primes that are inert in a quadratic extension L of K. We also remove the conditions in real and ramifying primes, which were present in Pheidas¿ version. As a Corollary, we recover the known fact that the set of integral elements at a prime in a global field is existentially definable.
© 2008-2024 Fundación Dialnet · Todos los derechos reservados