Non-amalgamation of ordered groups

1984 ◽  
Vol 95 (2) ◽  
pp. 191-195 ◽  
Author(s):  
A. M. W. Glass ◽  
D. Saracino ◽  
C. Wood

An ordered group (o-group for short) is a group endowed with a linear (i.e. total) order such that for all x, y, z, xz ≤ yz and zx ≤ zy whenever x ≤ y. A group for which such an order exists is called an orderable group. A group G is said to be divisible if for each positive integer m and each g ε G, there is x ε G such that xm = g.

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.


1972 ◽  
Vol 24 (6) ◽  
pp. 1063-1064
Author(s):  
A. M. W. Glass

Using ultraproducts, N. R. Reilly proved that if G is a representable lattice-ordered group and J is an independent subset totally ordered by ≺, then the order on G can be extended to a total order which induces ≺ on J (see [5]). In [4], H. A. Hollister proved that a group G admits a total order if and only if it admits a representable order and, moreover, every latticeorder on a group is the intersection of right total orders. The purpose of this paper is to provide a partial converse, viz: if G is a lattice-ordered group and J is an independent subset totally ordered by ≺, then the order on G can be extended to a right total order which induces ≺ on J.


1975 ◽  
Vol 12 (3) ◽  
pp. 321-335 ◽  
Author(s):  
Colin D. Fox

We show that if the normal, closure of an element a, of an orderable group, G, is abelian, then G can be embedded in an orderable group, G#, which contains an n-th root of a for every positive integer, n. Furthermore, every order of G extends to an order of G#.


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.


1973 ◽  
Vol 18 (3) ◽  
pp. 239-246
Author(s):  
Andrew Wirth

AbstractRelative uniform limits need not be unique in a non-archimedean partially ordered group, and order convergence need not imply metric convergence in a Banach lattice. We define a new type of convergence on partially ordered groups (R-convergence), which implies both the previous ones, and does not have these defects. Further R-convergence is equivalent to relative uniform convergence on divisible directed integrally closed partially ordered groups, and to order convergence on fully ordered groups.


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.


1995 ◽  
Vol 60 (3) ◽  
pp. 817-831 ◽  
Author(s):  
Michael C. Laskowski ◽  
Charles Steinhorn

AbstractWe study o-minimal expansions of Archimedean totally ordered groups. We first prove that any such expansion must be elementarily embeddable via a unique (provided some nonzero element is 0-definable) elementary embedding into a unique o-minimal expansion of the additive ordered group of real numbers . We then show that a definable function in an o-minimal expansion of enjoys good differentiability properties and use this to prove that an Archimedean real closed field is definable in any nonsemilinear expansion of . Combining these results, we obtain several restrictions on possible o-minimal expansions of arbitrary Archimedean ordered groups and in particular of the rational ordered group.


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


1972 ◽  
Vol 6 (3) ◽  
pp. 435-438 ◽  
Author(s):  
Colin D. Fox

The group G presented on two generators a, c with the single defining relation a−1c2a = c2a2c2 [proposed by B.H. Neumann in 1949 (unpublished), discussed by Gilbert Baumslag in Proc. Cambridge Philos. Soc. 55 (1959)] has been considered as a possible example of an orderable group which can not be embedded in a divisible orderable group, contrary to the conjecture that no such examples exist. It is known from Baumslag's discussion that G can not be embedded in any divisible orderable group. However, it is shown in this note that G is not orderable, and thus is not a counter-example to the conjecture.


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.


Sign in / Sign up

Export Citation Format

Share Document