Cauchy completion of partially ordered groups

Abstract

A number of completions have been applied to p.o.-groups — the Dede kind-Macneille completion of archimedean l.o. groups; the lateral completion of l.o. groups (Conrad [2]); and the orthocompletion of l.o. groups (Bernau [1]). Fuchs in [3] has considered a completion of p.o. groups having a non-trivial open interval topology — the only l.o. groups of this form being fully ordered. He applies an ordering, which arises from the original partial order, to the group of round Cauchy filters over this topology; Kowaisky in [6] has shown that group, imbued with a suitable topology, is in fact the topological completion of the original group under its open interval topology. In this paper a slightly different ordering, also arising from the original order, is proposed for the group of round Cauchy filters; Fuchs' ordering can be obtained from this one as the associated order.