A non-commutative Priestley duality

We prove that the category of left-handed strongly distributive skew lattices with zero and proper homomorphisms is dually equivalent to a category of sheaves over local Priestley spaces. Our result thus provides a non-commutative version of classical Priestley duality for distributive lattices and generalizes the recent development of Stone duality for skew Boolean algebras.     

Congruences on near-Heyting algebras

A near-Heyting algebra is a join-semilattice with a top element such that every principal upset is a Heyting algebra. We establish a one-to-one correspondence between the lattices of filters and congruences of a near-Heyting algebra. To attain this aim, we first show an embedding from the lattice of filters to the lattice of congruences of a distributive nearlattice. Then, we describe the subdirectly irreducible and simple near-Heyting algebras. Finally, we fully characterize the principal congruences of distributive nearlattices and near-Heyting algebras. We conclude that the varieties of distributive nearlattices and near-Heyting algebras have equationally definable principal congruences.     

A note on D-spaces

We introduce notions of nearly good relations and N-sticky modulo a relation as tools for proving that spaces are D-spaces. As a corollary to general results about such relations, we show that Cp(X) is hereditarily a D-space whenever X is a Lindelöf Σ-space. This answers a question of Matveev, and improves a result of Buzyakova, who proved the same result for X compact.We also prove that if a space X is the union of finitely many D-spaces, and has countable extent, then X is linearly Lindelöf. It follows that if X is in addition countably compact, then X must be compact. We also show that Corson compact spaces are hereditarily D-spaces. These last two results answer recent questions of Arhangel'skii. Finally, we answer a question of van Douwen by showing that a perfectly normal collectionwise-normal non-paracompact space constructed by R. Pol is a D-space.     

Inj0在Top上的Monadicity

本文主要证明了全体内射Ｔ₀－空间及强代数映射构成的范畴Ｉｎｊ₀恰是Ｅｉｌｅｎｂｅｒｇ－Ｍｏｏｒｅ范畴Ｔｏｐ^Ｔ,这里Ｔ是Ｔｏｐ与Ｓｌａｔ之间的一对偶伴随导出的ｍｏｎａｄ,由此推出Ｉｎｊ₀在Ｔｏｐ上是ｍｏｎａｄｉｃ的．     

TWO CLASSES OF HOMOMORPHISMS IN MODULE CATEGORIES

Abstract

In a category R-Mod a homomorphism α:A → B is called projective if α factors through every epimorphism with B as image. Injective homomorphisms are defined dually. Some properties of such homomorphisms are derived, and it is shown that the hereditariness of the ring R is equivalent to some conditions which can be simply stated in terms of projective and injective homomorphisms.     

Remarks on Priestley duality for distributive lattices

The notion of a Priestley relation between Priestley spaces is introduced, and it is shown that there is a duality between the category of bounded distributive lattices and 0-preserving join-homomorphisms and the category of Priestley spaces and Priestley relations. When restricted to the category of bounded distributive lattices and 0-1-preserving homomorphisms, this duality yields essentially Priestley duality, and when restricted to the subcategory of Boolean algebras and 0-preserving join-homomorphisms, it coincides with the Halmos-Wright duality. It is also established a duality between 0-1-sublattices of a bounded distributive lattice and certain preorder relations on its Priestley space, which are called lattice preorders. This duality is a natural generalization of the Boolean case, and is strongly related to one considered by M. E. Adams. Connections between both kinds of dualities are studied, obtaining dualities for closure operators and quantifiers. Some results on the existence of homomorphisms lying between meet and join homomorphisms are given in the Appendix.     

Representation and duality for Hilbert algebras

In this paper we introduce a special kind of ordered topological spaces, called Hilbert spaces. We prove that the category of Hilbert algebras with semi-homomorphisms is dually equivalent to the category of Hilbert spaces with certain relations. We restrict this result to give a duality for the category of Hilbert algebras with homomorphisms. We apply these results to prove that the lattice of the deductive systems of a Hilbert algebra and the lattice of open subsets of its dual Hilbert space, are isomorphic. We explore how this duality is related to the duality given in [6] for finite Hilbert algebras, and with the topological duality developed in [7] for Tarski algebras.      

A refinement of Stone duality to skew Boolean algebras

We establish two theorems that refine the classical Stone duality between generalized Boolean algebras and locally compact Boolean spaces. In the first theorem, we prove that the category of left-handed skew Boolean algebras whose morphisms are proper skew Boolean algebra homomorphisms is equivalent to the category of étale spaces over locally compact Boolean spaces whose morphisms are étale space cohomomorphisms over continuous proper maps. In the second theorem, we prove that the category of left-handed skew Boolean -algebras whose morphisms are proper skew Boolean -algebra homomorphisms is equivalent to the category of étale spaces with compact clopen equalizers over locally compact Boolean spaces whose morphisms are injective étale space cohomomorphisms over continuous proper maps.     

Nearlattices

By a nearlattice is meant a join-semilattice where every principal filter is a lattice with respect to the induced order. Alternatively, a nearlattice can be described as an algebra with one ternary operation satisfying eight simple identities. Hence, the class of nearlattices is a variety. We characterize nearlattices every sublattice of which is distributive. Then we introduce the so-called section pseudocomplementation on nearlattices which can also be characterized by identities.     

Spectral-like duality for distributive Hilbert algebras with infimum

Distributive Hilbert algebras with infimum, or DH^-algebras for short, are algebras with implication and conjunction, in which the implication and the conjunction do not necessarily satisfy the residuation law. These algebras do not fall under the scope of the usual duality theory for lattice expansions, precisely because they lack residuation. We propose a new approach, that consists of regarding the conjunction as the additional operation on the underlying implicative structure. In this paper, we introduce a class of spaces, based on compactly-based sober topological spaces. We prove that the category of these spaces and certain relations is dually equivalent to the category of DH^-algebras and \({\wedge}\)-semi-homomorphisms. We show that the restriction of this duality to a wide subcategory of spaces gives us a duality for the category of DH^-algebras and algebraic homomorphisms. This last duality generalizes the one given by the author in 2003 for implicative semilattices. Moreover, we use the duality to give a dual characterization of the main classes of filters for DH^-algebras, namely, (irreducible) meet filters, (irreducible) implicative filters and absorbent filters.     

Topological duality for Tarski algebras

In this paper we will generalize the representation theory developed for finite Tarski algebras given in [7]. We will introduce the notion of Tarski space as a generalization of the notion of dense Tarski set, and we will prove that the category of Tarski algebras with semi-homomorphisms is dually equivalent to the category of Tarski spaces with certain closed relations, called T-relations. By these results we will obtain that the algebraic category of Tarski algebras is dually equivalent to the category of Tarski spaces with certain partial functions. We will apply these results to give a topological characterization of the subalgebras. Received August 21, 2005; accepted in final form December 5, 2006.     

Finite distributive nearlattices

Our main goal is to develop a representation for finite distributive nearlattices through certain ordered structures. This representation generalizes the well-known representation given by Birkhoff for finite distributive lattices through finite posets. We also study finite distributive nearlattices through the concepts of dual atoms, boolean elements, complemented elements and irreducible elements. We prove that the sets of boolean elements and complemented elements form semi-boolean algebras. We show that the set of boolean elements of a finite distributive lattice is a boolean lattice.     

A solution to Dilworth's congruence lattice problem

We construct an algebraic distributive lattice D that is not isomorphic to the congruence lattice of any lattice. This solves a long-standing open problem, traditionally attributed to R.P. Dilworth, from the forties. The lattice D has a compact top element and ℵω+1 compact elements. Our results extend to any algebra possessing a congruence-compatible structure of a join-semilattice with a largest element.     

On a class of pseudocompact spaces derived from ring epimorphisms

A Tychonoff space X is RG if the embedding of C(X)→C(Xδ) is an epimorphism of rings. Compact RG-spaces are known and easily described. We study the pseudocompact RG-spaces. These must be scattered of finite Cantor Bendixon degree but need not be locally compact. However, under strong hypotheses, (countable compactness, or small cardinality) these spaces must, indeed, be compact. The main theorems shows, how to construct a suitable maximal almost disjoint family, and apply it to obtain examples of RG-spaces that are almost compact, locally compact, non-compact, almost-P, and of Cantor Bendixon degree 2. More complicated examples of pseudocompact non-compact RG-spaces ensue.     

A note on realizing homomorphisms of category algebras

The complete Boolean homomorphisms from the category algebra $\text{C}$(X) of a complete matrix space X to the category algebra $\text{C}$(Y) of a Baire topological space Y are characterized as those σ-homomorphisms which are induced by continuous maps from dense G₈-subsets of Y into X. This result is used to deduce a series of related results in topology and measure theory (some of which are well-known). Finally a similar result for the complete Boolean homomorphisms from the category algebra $\text{C}$(X) of a compact Hausdorff space X tothe category algebra $\text{C}$(Y) of a Baire topological space Y is proved.     

The three space problem in topological groups

We study compact, countably compact, pseudocompact, and functionally bounded sets in extensions of topological groups. A property P is said to be a three space property if, for every topological group G and a closed invariant subgroup N of G, the fact that both groups N and G/N have P implies that G also has P. It is shown that if all compact (countably compact) subsets of the groups N and G/N are metrizable, then G has the same property. However, the result cannot be extended to pseudocompact subsets, a counterexample exists under p=c. Another example shows that extensions of groups do not preserve the classes of realcompact, Dieudonné complete and μ-spaces: one can find a pseudocompact, non-compact Abelian topological group G and an infinite, closed, realcompact subgroup N of G such that G/N is compact and all functionally bounded subsets of N are finite. Several examples given in the article destroy a number of tempting conjectures about extensions of topological groups.     

Universal free G-spaces

For a compact Lie group G, we prove the existence of a universal G-space in the class of all paracompact (respectively, metrizable, and separable metrizable) free G-spaces. We show that such a universal free G-space cannot be compact.     

Stability of homomorphisms in the compact-open topology

We will prove a kind of stability result for homomorphisms from locally compact to completely regular topological universal algebras with respect to the compact-open topology on the space of all continuous functions between them. More precisely, given such algebras A and B and two additional set-valued mappings controlling the continuity of (partial) functions g from A to B and the range of the sets g(a) for individual elements ${a \in A}$ , every “controlled” partial function behaving almost like a homomorphism on a sufficiently big compact subset of A is arbitrarily close to a continuous homomorphism A → B on a compact set given in advance. We will give some counterexamples, showing the necessity of the assumptions, and discuss some special cases, among them a purely algebraic problem of extendability of finite partial functions to homomorphisms.     

A Gelfand duality for compact pospaces

It is well known that the category of compact Hausdorff spaces is dually equivalent to the category of commutative \(C^\star \)-algebras. More generally, this duality can be seen as a part of a square of dualities and equivalences between compact Hausdorff spaces, \(C^\star \)-algebras, compact regular frames and de Vries algebras. Three of these equivalences have been extended to equivalences between compact pospaces, stably compact frames and proximity frames, the fourth part of what will be a second square being lacking. We propose the category of bounded Archimedean \(\ell \)-semi-algebras to complete the second square of equivalences and to extend the category of \(C^\star \)-algebras.