Comments on monoreflections in unital archimedean lattice-ordered groups and rings

In quite general concrete categories, the monoreflections which are H-closed (closed under homomorphic image) are the “naturally occuring” ones, since each is comprised of objects closed under some family of functorial implicit operations. In the specific categories under consideration here, we have earlier shown the class of H-closed monoreflections to be a set, indeed, relatively small. In spite, or because of that very few non-H-closed monoreflections have been exhibited, in fact, none in the categories considered here. We shall exhibit many and assuming no measurable cardinal, a proper class.     

2-Universally complete Riesz spaces and inverse-closed Riesz spaces

In this paper we show mainly two results about uniformly closed Riesz subspaces of ?^X containing the constant functions. First, for such a Riesz subspace E, we solve the problem of determining the properties that a real continuous functiondefined on a proper open interval of ?should have in order that the conditions “E is closed under composition with ” and “E is closed under inversion in X” become equivalent. The second result, reformulated in the more general frame of the Archimedean Riesz spaces with weak order unit e, establishes that E (e-uniformly complete and e-semisimple) is closed under inversion in C(Spec E) if and only if E is 2-universally e-complete.     

Convex vector lattices and l-algebras

For A an Archimedean Riesz space (=vector lattice) with distinguished positive weak unit e_A, we have the Yosida representation  as a Riesz space in D(X_A), the lattice of extended real valued functions on the space of e_A-maximal ideas. This note is about those A for which  is a convex subset of D(X_A); we call such A “convex”.Convex Riesz spaces arise from the general issue of embedding as a Riesz ideal, from consideration of uniform- and order-completeness, and from some problems involving comparison of maximal ideal spaces (which we won't discuss here; see [10]).The main results here are: (2.4) A is convex iff A is contained as a Riesz ideal in a uniformly complete Φ-algebra B with identity e_A. (3.1) Any A has a convex reflection (i.e., embeds into a convex B with a universal mapping property for Riesz homomorphisms; moreover, the embedding is epic and large).     

Positive derivations on archimedean lattice-ordered rings

It is known that the only positive derivation on a reduced archimedean f-ring is the zero derivation. We investigate derivations on general archimedean lattice-ordered rings. First, we consider semigroup rings over cyclic semigroups and show that, in the finite case, the only derivation that is zero on the underlying ring is the zero derivation and that, in the infinite case, such derivations are always based on the derivative. Turning our attention to lattice-ordered rings, we show that, on many algebraic extensions of totally ordered rings, the only positive derivation is the zero derivation and that, for transcendental extensions, derivations that are lattice homomorphisms are always translations of the usual derivative and derivations that are orthomorphisms are always dilations of the usual derivative. We also show that the only positive derivation on a lattice-ordered matrix ring over a subfield of the real numbers is the zero derivation, and we prove a similar result for certain lattice-ordered rings with positive squares. The second author thanks Hamilton College for its support of his visits to the first author in Houston. He also thanks John Miller for his friendship and hospitality over the last thirty years.     

Normal subgroups and elementary theories of lattice-ordered groups

We show that any lattice-ordered group (l-group) G can be l-embedded into continuously many l-groups H _i which are pairwise elementarily inequivalent both as groups and as lattices with constant e. Our groups H _i can be distinguished by group-theoretical first-order properties which are induced by lattice-theoretically nice properties of their normal subgroup lattices. Moreover, they can be taken to be 2-transitive automorphism groups A(S _i ) of infinite linearly ordered sets (S _i , ) such that each group A(S _i ) has only inner automorphisms. We also show that any countable l-group G can be l-embedded into a countable l-group H whose normal subgroup lattice is isomorphic to the lattice of all ideals of the countable dense Boolean algebra B.     

On Order Bounded Subsets of Locally Solid Riesz Spaces

In a topological Riesz space there are two types of bounded subsets: order bounded subsets and topologically bounded subsets. It is natural to ask (1) whether an order bounded subset is topologically bounded and (2) whether a topologically bounded subset is order bounded. A classical result gives a partial answer to (1) by saying that an order bounded subset of a locally solid Riesz space is topologically bounded. This paper attempts to further investigate these two questions. In particular, we show that (i) there exists a non-locally solid topological Riesz space in which every order bounded subset is topologically bounded; (ii) if a topological Riesz space is not locally solid, an order bounded subset need not be topologically bounded; (iii) a topologically bounded subset need not be order bounded even in a locally convex-solid Riesz space. Next, we show that (iv) if a locally solid Riesz space has an order bounded topological neighborhood of zero, then every topologically bounded subset is order bounded; (v) however, a locally convex-solid Riesz space may not possess an order bounded topological neighborhood of zero even if every topologically bounded subset is order bounded; (vi) a pseudometrizable locally solid Riesz space need not have an order bounded topological neighborhood of zero. In addition, we give some results about the relationship between order bounded subsets and positive homogeneous operators.     

On the arc component of a locally compact Abelian group

For a topological group G, we denote by G _a the arc component of the neutral element and by the character group of G, i.e. the group of all continuous homomorphisms from G into T. We prove the following theorem: Let G be a connected locally compact abelian group and let be the embedding. Then is a topological isomorphism. In particular, the character group of the arc component of a compact abelian group is discrete. Some conclusions will be drawn.     

Vector lattice covers of ideals and bands in Pre-Riesz spaces

Abstract

Pre-Riesz spaces are ordered vector spaces which can be order densely embedded into vector lattices, their so-called vector lattice covers. Given a vector lattice cover Y for a pre-Riesz space X, we address the question how to find vector lattice covers for subspaces of X, such as ideals and bands. We provide conditions such that for a directed ideal I in X its smallest extension ideal in Y is a vector lattice cover. We show a criterion for bands in X and their extension bands in Y as well. Moreover, we state properties of ideals and bands in X which are generated by sets, and of their extensions in Y.     

Disjointness in Partially Ordered Vector Spaces

A notion of disjointness in arbitrary partially ordered vector spaces is introduced by calling two elements x and y disjoint if the set of all upper bounds of x + y and −x − y equals the set of all upper bounds of x − y and −x + y. Several elementary properties are easily observed. The question whether the disjoint complement of a subset is a linear subspace appears to be more difficult. It is shown that in directed Archimedean spaces disjoint complements are always subspaces. The proof relies on theory on order dense embedding in vector lattices. In a non-Archimedean directed space even the disjoint complement of a singleton may fail to be a subspace. According notions of disjointness preserving operator, band, and band preserving operator are defined and some of their basic properties are studied.     

On the uniform density of C(X) ⊗ C(Y) in C(X × Y)

We prove that if X and Y are compact Hausdorff spaces, then every f ∈ C(X × Y)₊, i.e. f(x, y) ≥ 0 for all (x, y) ∈ X × Y, can be approximated uniformly from below and above by elements of the form , where f_i ∈ C(X)₊ and g_i ∈ C(Y)₊ for i = 1, 2, …, n. The proof uses only elementary topology. We use this result, in conjuction with Kakutani's M-spaces representation theorem, to obtain an alternative proof for a known property of Fremlin's Riesz space tensor product of Archimedean Riesz spaces.     

A New Characterization of the Continuous Functions on a Locale

Within the category W of archimedean lattice-ordered groups with weak order unit, we show that the objects of the form C(L), the set of continuous real-valued functions on a locale L, are precisely those which are divisible and complete with respect to a variant of uniform convergence, here termed indicated uniform convergence. We construct the corresponding completion of a W-object A purely algebraically in terms of Cauchy sequences. This completion can be variously described as c³A, the ``closed under countable composition hull of A,' as C(Y_lA), where Y_lA is the Yosida locale of A, and as the largest essential reflection of A.     

Metric Geometry in Homogeneous Spaces of the Unitary Group of a C*-Algebra. Part II. Geodesics Joining Fixed Endpoints

This article focuses on the study of the metric geometry of homogeneous spaces (the unitary group of a C*-algebra modulo the unitary group of a C*-subalgebra ) where the invariant Finsler metric in is induced by the quotient norm of Under the assumption that is of compact type, i.e. when the unitary group is relatively compact in the strong operator topology, this work presents local and global versions of Hopf-Rinow-like theorems: given points there exists a minimal uniparametric group curve joining ρ₀ and ρ₁.     

Monoreflections of Archimedean ?-groups, regular σ-frames and regular Lindelöf frames

We prove that in the category of Archimedean lattice-ordered groups with weak unit there is no homomorphism-closed monoreflection strictly between the strongest essential monoreflection (the so-called “closure under countable composition”) and the strongest monoreflection (the epicompletion). It follows that in the category of regular σ-frames, the only non-trivial monoreflective subcategory that is hereditary with respect to closed quotients consists of the boolean σ-algebras. Also, in the category of regular Lindelöf locales, there is only one non-trivial closed-hereditary epi-coreflection. The proof hinges on an elementary lemma about the kinds of discontinuities that are exhibited by the elements of a composition-closed l-group of real-valued functions on R.     

On the category Q-Mod

In this paper we consider the category Q-Mod of modules over a given quantale Q. The paper is motivated by constructions and results from the category of modules over a ring. We show that the category Q-Mod is monadic, consider its relation to the category Q-Top of Q-topological spaces and generalize a method of completion of partially ordered sets. Received December 20, 2005; accepted in final form December 4, 2006.