On Čebotarev sets (Q867356)

The aim of this paper is to define a topology \({\mathcal T}_K\) on the set \({\mathcal P}_K\) of prime ideals of a number field \(K\). Roughly speaking, the open sets are given by Chebotarev sets, i.e., sets of the form \[ P_{L/K}(\sigma)= \Biggl\{{\mathfrak p}\in{\mathcal P}_K\mid{\mathfrak p}\text{ is unramified in }L,\;\sigma= \Biggl({L/K\over{\mathfrak P}}\Biggr),{\mathfrak P}\mid{\mathfrak p}\Biggr\}, \] where \(L/K\) is a finite Galois extension and \(\sigma\in\text{Gal}(L/K)\). The author shows that \(({\mathcal P}_K,{\mathcal T}_K)\) is a strongly zero-dimensional (and so totally disconnected) Hausdorff space with countable base, so metrizable, hence normal and completely regular, not discrete and, every point has a base of neighborhoods consisting of both open and closed sets. Among other ``good'' properties of the topology \(({\mathcal P}_K,{\mathcal T}_K)\), it is proved that every open neighborhood of a prime ideal whose underlying prime number is completely decomposed in \(K/\mathbb{Q}\) has positive density, and that the isolated points of \(({\mathcal P}_K,{\mathcal T}_K)\) are prime ideals whose underlying prime numbers ramify in \(K/\mathbb{Q}\). In the last section, it is defined a metric on \({\mathcal P}_{\mathbb{Q}}\) which induces the topology \({\mathcal T}_{\mathbb{Q}}\). The idea is that two points are near if they induce in many fields with large discriminants the same Frobenius automorphism.