Weak units in epicompletions of Archimedean lattice-ordered groups (Q5940622): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 01:48, 30 January 2024
scientific article; zbMATH DE number 1633056
Language | Label | Description | Also known as |
---|---|---|---|
English | Weak units in epicompletions of Archimedean lattice-ordered groups |
scientific article; zbMATH DE number 1633056 |
Statements
Weak units in epicompletions of Archimedean lattice-ordered groups (English)
0 references
12 August 2001
0 references
The environment of this paper is Arch, the category of archimedean lattice-ordered groups (\(l\)-groups) with \(l\)-homomorphisms (i.e., homomorphisms which preserve both the group and the lattice structure). First a general answer to the question whether any epicompletion of an archimedean \(l\)-group has a weak unit is given in Proposition 3.0. Let \(G\leq H\) be a coessential embedding, and let \(H\) be laterally \(\sigma \)-complete with ppp (i.e., the principal projection property). The following statements are equivalent: (1) \(H\) has a weak unit. (2) There is a countable \(A\subseteq G\) with \(\kappa _{H}(A)=H\) for any uncountable cardinal number \(\kappa \). (3) There is a countable \(A\subseteq G\) with \(A^{\perp \perp }=H\). (4) There is a countable \(A\subseteq G\) with \(ak_{H}(A)=H\). Replacing the generic epicompletion \(H\) in the previous result by a specific one, \(\beta _{{\mathcal A}}^{\kappa }(G)\), this criterion can be refined involving only \(G\), as follows: Theorem 3.2. Let \(G\) (object in Arch) and \(\kappa \) (an infinite cardinal or the symbol \(\infty \)) be given. The following statements are equivalent: (1) \(\beta _{{\mathcal A}}^{\kappa }(G)\) has a weak unit. (2) There is a countable \(A\subseteq G\) with \(\kappa _{G}(A)=G\). (3) If \(G\leq H\) is a \(\kappa \)-coessential, \(\kappa \)-complete embedding and \(H\) is laterally \(\sigma \)-complete, with ppp, then \(H\) has a weak unit. (4) If \(G\leq H\) is a \(\kappa \)-coessential, \(\kappa \)-complete embedding and \(H\) is epicomplete, then \(H\) has a weak unit. (5) If \(H\) is an epicompletion of \(G\) in which \(G\) is \(\kappa \)-completely embedded, then \(H\) has a weak unit. (6) If \(\phi :G\rightarrow H\) is a \(\kappa \)-complete, epic morphism with \(H\) epicomplete, then \(H\) has a weak unit.
0 references
category of archimedean lattice-ordered groups with \(l\)-homomorphisms
0 references
epicompletion
0 references
coessential embedding
0 references
weak unit
0 references