The Hahn representation theorem for ℓ-groups in ZFA

2000 ◽  
Vol 65 (2) ◽  
pp. 519-524
Author(s):  
D. Gluschankof

In [7] the author discussed the relative force —in the set theory ZF— of some representation theorems for ℓ-groups (lattice-ordered groups). One of the theorems not discussed in that paper is the Hahn representation theorem for abelian ℓ-groups. This result, originally proved by Hahn (see [8]) for totally ordered groups and half a century later by Conrad, Harvey and Holland for the general case (see [4]), states that any abelian ℓ-group can be embedded in a Hahn product of copies of R (the real line with its natural totally-ordered group structure). Both proofs rely heavily on Zorn's Lemma which is equivalent to AC (the axiom of choice).The aim of this work is to point out the use of non-constructible axioms (i.e., AC and weaker forms of it) in the proofs. Working in the frame of ZFA, that is, the Zermelo-Fraenkel set theory where a non-empty set of atoms is allowed, we present alternative proofs which, in the totally ordered case, do not require the use of AC. For basic concepts and notation on ℓ-groups the reader can refer to [1] and [2]. For set theory, to [11].

1975 ◽  
Vol 17 (5) ◽  
pp. 713-722 ◽  
Author(s):  
John A. Read

One of the fundamental tools in the theory of totally ordered groups is Hahn’s Theorem (a detailed discussion may be found in Fuchs [3]), which asserts, roughly, that every abelian totally ordered group can be embedded in a lexicographically ordered (unrestricted) direct sum of copies of the ordered group of real numbers. Almost any general question regarding the structure of abelian totally ordered groups can be answered by reference to Hahn’s theorem. For the class of nonabelian totally ordered groups, a theorem which parallels Hahn’s Theorem is given in [5], and states that each totally ordered group can be o-embedded in an ordered wreath product of subgroups of the real numbers. In order to extend this theorem to include an “if and only if” statement, one must consider lattice ordered groups, as an ordered wreath product of subgroups of the real numbers is, in general, not totally-ordered, but lattice ordered.


Mathematics ◽  
2020 ◽  
Vol 8 (5) ◽  
pp. 705 ◽  
Author(s):  
S. Rajareega ◽  
J. Vimala ◽  
D. Preethi

In recent years, the complex fuzzy set theory has intensified the attention of many researchers. This paper focuses on developing the algebraic structures pertaining to lattice ordered groups and lattice ordered subgroups for complex intuitionistic fuzzy soft set theory. Furthermore, some of their properties and operations are discussed. In addition, the weighted distance measures between two complex intuitionistic fuzzy soft lattice ordered groups such as weighted hamming, weighted normalized hamming, weighted euclidean and weighted normalized euclidean distance measures were introduced and also some of the algebraic properties of the weighted distance measures are verified. Moreover, the application of complex intuitionistic fuzzy soft lattice ordered groups by using the weighted distance measures is analysed.


1971 ◽  
Vol 5 (3) ◽  
pp. 331-335 ◽  
Author(s):  
Roger D. Bleier

We show that each archimedean lattice-ordered group is contained in a unique (up to isomorphism) minimal archimedean vector lattice. This improves a result of Paul F. Conrad appearing previously in this Bulletin. Moreover, we show that this relationship between archimedean lattice-ordered groups and archimedean vector lattices is functorial.


1969 ◽  
Vol 21 ◽  
pp. 1004-1012 ◽  
Author(s):  
Richard D. Byrd

Conrad (10) and Wolfenstein (15; 16) have introduced the notion of an archimedean extension (a-extension) of a lattice-ordered group (l-group). In this note the class of l-groups that possess a plenary subset of regular subgroups which are normal in the convex l-subgroups that cover them are studied. It is shown in § 3 (Corollary 3.4) that the class is closed with respect to a-extensions and (Corollary 3.7) that each member of the class has an a-closure. This extends (6, p. 324, Corollary II; 10, Theorems 3.2 and 4.2; 15, Theorem 1) and gives a partial answer to (10, p. 159, Question 1). The key to proving both of these results is Theorem 3.3, which asserts that if a regular subgroup is normal in the convex l-subgroup that covers it, then this property is preserved by a-extensions.


1972 ◽  
Vol 13 (2) ◽  
pp. 224-240 ◽  
Author(s):  
R. J. Loy ◽  
J. B. Miller

The theory of partially ordered topological groups has received little attention in the literature, despite the accessibility and importance in analysis of the group Rm. One obstacle in the way of a general theory seems to be, that a convenient association between the ordering and the topology suggests that the cone of all strictly positive elements be open, i.e. that the topology be at least as strong as the open-interval topology U; but if the ordering is a lattice ordering and not a full ordering then U itself is already discrete. So to obtain in this context something more interesting topologically than the discrete topology and orderwise than the full order, one must forego orderings which make lattice-ordered groups: in fact, the partially ordered group must be an antilattice, that is, must admit no nontrivial meets or joins (see § 2, 10°).


2009 ◽  
Vol 59 (2) ◽  
Author(s):  
Štefan Černák ◽  
Judita Lihová

AbstractThe notion of a relatively uniform convergence (ru-convergence) has been used first in vector lattices and then in Archimedean lattice ordered groups.Let G be an Archimedean lattice ordered group. In the present paper, a relative uniform completion (ru-completion) $$ G_{\omega _1 } $$ of G is dealt with. It is known that $$ G_{\omega _1 } $$ exists and it is uniquely determined up to isomorphisms over G. The ru-completion of a finite direct product and of a completely subdirect product are established. We examine also whether certain properties of G remain valid in $$ G_{\omega _1 } $$. Finally, we are interested in the existence of a greatest convex l-subgroup of G, which is complete with respect to ru-convergence.


2010 ◽  
Vol 60 (4) ◽  
Author(s):  
Ján Jakubík ◽  
Štefan Černák

AbstractFor an archimedean lattice ordered group G let G d and G∧ be the divisible hull or the Dedekind completion of G, respectively. Put G d∧ = X. Then X is a vector lattice. In the present paper we deal with the relations between the relatively uniform convergence on X and the relatively uniform convergence on G. We also consider the relations between the o-convergence and the relatively uniform convergence on G. For any nonempty class τ of lattice ordered groups we introduce the notion of τ-radical class; we apply this notion by investigating relative uniform convergences.


1987 ◽  
Vol 102 (2) ◽  
pp. 281-295
Author(s):  
M. Henriksen ◽  
R. Kopperman ◽  
F. A. Smith

The topology most often used on a totally ordered group (G, <) is the interval topology. There are usually many ways to totally order G x G (e.g., the lexicographic order) but the interval topology induced by such a total order is rarely used since the product topology has obvious advantages. Let ℝ(+) denote the real line with its usual order and Q(+) the subgroup of rational numbers. There is an order on Q x Q whose associated interval topology is the product topology, but no such order on ℝ x ℝ can be found. In this paper we characterize those pairs G, H of totally ordered groups such that there is a total order on G x H for which the interval topology is the product topology.


2019 ◽  
Vol 38 (5) ◽  
pp. 215-232
Author(s):  
Mamoon Ahmed

Let (G; P) be a quasi-lattice ordered group. In this paper we present a modied proof of Laca and Raeburn's theorem about the covariant isometric representations of amenable quasi-lattice ordered groups [7, Theorem 3.7], by following a two stage strategy. First, we construct a universal covariant representation for a given quasi-lattice ordered group (G; P) and show that it is unique. The construction of this object is new; we have not followed either Nica's approach in [10] or Laca and Raeburn's approach in [7], although all three objects are essentially the same. Our approach is a very natural one and avoids some of the intricacies of the other approaches. Then we show if (G; P) is amenable, true representations of (G; P) generate C-algebras which are canonically isomorphic to the universal object.


2011 ◽  
Vol 61 (5) ◽  
Author(s):  
Štefan Černák ◽  
Ján Jakubík

AbstractThe notion of relatively uniform convergence has been applied in the theory of vector lattices and in the theory of archimedean lattice ordered groups. Let G be an abelian lattice ordered group. In the present paper we introduce the notion of weak relatively uniform convergence (wru-convergence, for short) on G generated by a system M of regulators. If G is archimedean and M = G +, then this type of convergence coincides with the relative uniform convergence on G. The relation of wru-convergence to the o-convergence is examined. If G has the diagonal property, then the system of all convex ℓ-subgroups of G closed with respect to wru-limits is a complete Brouwerian lattice. The Cauchy completeness with respect to wru-convergence is dealt with. Further, there is established that the system of all wru-convergences on an abelian divisible lattice ordered group G is a complete Brouwerian lattice.


Sign in / Sign up

Export Citation Format

Share Document