The frame of the \(p\)-adic numbers (Q2310787)

In pointfree topology, i.e. the study of the category \(\mathbf{Frm}\) of frames or its dual, the category \(\mathbf{Loc}\) of locales, one of the nice features of the algebraic nature of the category of frames is that objects can be described using generators and relations. In the present paper, the author introduces the frame \(\mathcal{L}(\mathbb{Q}_p)\) of \(p\)-adic numbers in this way. The author then continues by showing that the frame \(\mathcal{L}(\mathbb{Q}_p)\) is completely regular, \(0\)-dimensional and a continuous lattice which relates back to the classical notion of \(p\)-adic numbers by the result that its spectrum equals the classical \(p\)-adic numbers with their usual topology. He then continues by endowing \(\mathcal{L}(\mathbb{Q}_p)\) with a natural complete (metric) uniformity and shows that the uniform frame thus obtained is a completion of the spatial uniform frame on \(\Omega(\mathbb{Q})\) derived from the \(p\)-adic absolute value. Starting with an arbitrary frame \(L\), the author then defines algebraic operations on \(C_p(L) = \mathbf{Frm}(\mathcal{L}(\mathbb{Q}_p),L)\) making it into a unital \(\mathbb{Q}_p\)-algebra and endows it with a non-Archimedean norm. In the last section of the present paper, the following pointfree generalization of a \(p\)-adic Stone-Weierstrass theorem due to Kaplansky is proved: Theorem 8.3. Let \(L\) be a compact \(0\)-dimensional frame and let \(\mathcal{A}\) be a unitary subalgebra of \(C_p(L)\) which separates points. Then \(\mathcal{A}\) is uniformly dense in \(C_p(L)\).