Bounded tiles in \(\mathbb{Q}_p\) are compact open sets (Q2287791): Difference between revisions

Let \(G\) be a locally compact abelian group and \(\Omega \subset G\) be a Borel set of positive and finite Haar measure. The set \(\Omega\) is called a tile of \(G\) if there exists a set of translates \(T \subset G\) such that \(\sum_{t \in T}1_{\Omega}(x - t) = 1\) for almost all \(x \in G\), where \(1_A\) denotes the indicator function of a set \(A\). We also say that \(\Omega\) tiles \(G\) by translation. \par For the field of real numbers considered as an additive group \(G\), compact sets of positive measure that tile the set of real numbers were extensively studied. \par In the paper the field of \(p\)-adic numbers is considered as an additive group \(G\). The authors give two proofs of the theorem that any bounded tile of the field of \(p\)-adic numbers is a compact open set up to a set of zero Haar measure.