Weak units in epicompletions of Archimedean lattice-ordered groups (Q5940622): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1996502591 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Epicomplete l-groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4039742 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Epicomplete Archimedean l-Groups and Vector Lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3472159 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Epimorphic Adjunction of a Weak Order Unit to an Archimedean Lattice-Ordered Group / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3490607 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Groupes et anneaux reticules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3263038 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Inextensible Riesz spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4692952 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(\alpha \)-cut-complete Boolean algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4353970 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Ideal Theory in f-Algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5682456 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Archimedean quotient Riesz spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5638775 / rank | |||
Normal rank |
Latest revision as of 19:13, 3 June 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