Hyperarchimedean coproducts. (Q2249405): Difference between revisions

The paper deals with abelian lattice-ordered groups (\(l\)-groups for short). For \(G\) an \(l\)-group, a \textit{strong order unit}, or just \textit{unit}, is an element \(0\leq u\in G\) for which for every \(g\in G\) there exists \(n\in\mathbb N\) with \(|g|\leq nu\). \(W^*\) denotes the category of archimedean \(l\)-groups with distinguished unit and unit-preserving \(l\)-homomorphisms (with \(\{0\}\) terminal and \(\mathbb Z\) initial object). An \( l\)-group \(G\) is called \textit{hyperarchimedean} if each \(l\)-homomorphic image (i.e., \(G/I\) for \(I\) a convex \(l\)-subgroup) is archimedean (see \textit{P. Conrad} [Czech. Math. J. 24(99), 192-218 (1974; Zbl 0319.06009)] for details). An \(l\)-group \(G\) is said to be `HA' if \(G\in W^*\) and \(G\) is hyperarchimedean. Let \(\{G_i\}_{i\in I}\subseteq W^*\) and let \(Y=\prod_IYG_i\) be the Tychonoff product (that is, the product in the category of compact Hausdorff spaces). For each \(i\in I\), there is the projection \(\pi_i\colon Y\to YG_i\) and the definition \(c_i(g_i)=g_i\circ\pi_i\), creates a \(W^*\)-embedding \(c_i\colon G_i\to C(Y)\). We denote the \(W^*\)-subobject of \(C(Y)\) generated by \(\bigcup_Ic_i(G_i)\) by \(\coprod_IG_i\). Theorem 1.3. In \(W^*\), the coproduct of \(\{G_i\}_{i\in I}\) is \((\coprod_IG_i,\{c_i\mid i\in I\})\). The Yosida space is \(Y(\coprod_IG_i)=\coprod_IYG_i\). The other main results are: Corollary 1.4. \(\coprod_IG_i\) is HA if and only if for each generator \(s\) (as in Equation (1.3)), the zero-set \(Zs\) is open. Corollary 2.5. Let \(S\) be a set. There exists a divisible HA group \(G\) with \(nL(G)=S\) if and only if \(S\subseteq\mathbb R\setminus\mathbb Q\) and \(S=(\mathbb Q\setminus\{0\})\cdot S+\mathbb Q\). Corollary 3.2. If \(G_i\) is Specker for every \(i\in I\), then \( \coprod_IG_i\) is Specker, and thus HA. Theorem 3.3. Suppose \(|I|>1\). Then \(\coprod_IG_i\) is HA if and only if (*) for every \(j\in I\) and for every finite \(F\subseteq I\) with \(j\not\in F\), we have \(nL(G_j)\cap\sum_FV(G_i)=\emptyset\).