scientific article; zbMATH DE number 1175400

From MaRDI portal
Publication:4398255





Let \(K\) be a field and let \((G,+,\leq)\) be an ordered abelian group. Let \(K^*= K\setminus \{0\}\) and \(\widehat{G}= G\cup \{\infty\}\), where \(a<\infty\) and \(a+\infty= \infty\) for all \(a\in G\). The positive cone \(G^+\neq \emptyset\). Let \(\nu:K\to \widehat{G}\) be a semivaluation. If \(G\) is a totally ordered group and \(\nu(x)> \gamma\) and \(\nu(y)> \gamma\) implies \(\nu(x+y)> \gamma\), then \(\nu\) is called a \(G\)-valuation. The set \(\nu(K^*)\) is a group. It is assumed that \(\nu(G^*)= G\). The purpose of this paper is to first, determine if some properties characterized as hypermetric are valid for a \(G\)-valuation. The authors find it useful to refer to the case of a semi-valuation as well. Second, to give a compactification of the \(G\)-valued fields via the so-called ``centered systems. Third, to topologize the valued field according to some order extension of its \(G\)-value group, a process related to the so-called Dushnik-Miller dimension of this group. A system \(p= \{U_\alpha\}\) of open subsets of \(K\), each of which contains an open ball, is called a normal system if any finite intersection of elements of the system is non-void and if for any \(U\in p\) there is a \(V\in p\) and a continuous real-valued function \(f\) of \(K\) such that \(f(x)= 0\) for \(x\in Cl(V)\), the closure of \(V\), \(f(x)=1\) for \(x\in K\setminus U\) and \(0\leq f(x)\leq 1\) for any \(x\in K\). It is said that \(V\) is normally contained in \(U\). A normal system is called an \textit{end} if it is not contained in any larger normal system. Denote by \(\Phi(K)= \Phi\) the set of all ends on a field \(K\) valuated by a \(G\)-valuation whose \(G\)-value group is up-directed. The author shows that \(\Phi\) is compact. The author also shows that \(\Phi\) coincides with the Stone-Čech compactification of \(K\) up to an homeomorphism leaving the points of \(K\) fixed. Another main result is the following: Given a partially ordered splitting abelian group \(G\) (with torsion part \(G^*\)), there is a field \(K\) valuated by a \(G\)-valuation \(\nu\) whose value group is \(G\) such that one can define on it as many non-archimedean stratifiable topologies as the dimension on the group \(G/G^*\).











This page was built for publication:

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