Densities on Dedekind domains, completions and Haar measure

From MaRDI portal
Publication:6184096




Abstract: Let D be the ring of S-integers in a global field and hatD its profinite completion. We discuss the relation between density in D and the Haar measure of hatD: in particular, we ask when the density of a subset X of D is equal to the Haar measure of its closure in hatD. In order to have a precise statement, we give a general definition of density which encompasses the most commonly used ones. Using it we provide a necessary and sufficient condition for the equality between density and measure which subsumes a criterion due to Poonen and Stoll. In another direction, we extend the Davenport-ErdH{o}s theorem to every D as above and offer a new interpretation of it as a "density=measure" result. Our point of view also provides a simple proof that in any D the set of elements divisible by at most k distinct primes has density 0 for any natural number k. Finally, we show that the closure of the set of prime elements of D is the union of the group of units of hatD with a negligible part.



Cites work








This page was built for publication: Densities on Dedekind domains, completions and Haar measure

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6184096)