Hyperarchimedean coproducts.

Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)

Review text

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\).

Recommendations

Cites work

Cited in

(7)

This page was built for publication: Hyperarchimedean coproducts.

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