A representation theorem for certain partially ordered commutative rings (Q5947788)

Let \(A\) be a commutative ring with 1, let \(P\subset A\) be a preordering of higher level and let \(M\subset A\) be an Archimedean \(P\)-mode. The author endows \(X(M):= \{\varphi\in \Hom(A,\mathbb{R}) \mid \varphi(M) \subset \mathbb{R}_+ \}\) with the weak topology with respect to all mappings \(\widehat a:X(M) \to \mathbb{R}\), \(\widehat a(\varphi): =\varphi(a)\) and considers the representation \(\Phi_M: A\to C(X(M), \mathbb{R}), a\mapsto \widehat a\). The author finds that \(X(M)\) is a non-empty compact Hausdorff space. Further he proves that \[ \Phi_M^{-1} \biggl(C^+ \bigl(X(M), \mathbb{R}\bigr) \biggr)= \bigl\{a\in A\mid \forall n\in \mathbb{N}\;\exists k\in \mathbb{N}\smallsetminus \{0\} k(1+na)\in M\bigr\}, \] \[ \text{ker} (\Phi_M) =\bigl\{a\in A\mid\forall n\in\mathbb{N}\;\exists k\in \mathbb{N}\;k(1\pm na)\in M\bigr\}. \]