Multiepireflective subcategories

Y. Diers has defined multireflective subcategories as a generalization of reflective subcategories. In this paper, the related concepts of multiepireflective and monomultireflective subcategories are defined and investigated. It is proved that, for categories with appropriate (E,M) factorization structures, every multireflection can be expressed as the composition of an epireflection followed by a multiepireflection. Characterizations of multi-E-reflective subcategories are also given for categories with (E,M)-factorization structures. Finally, a list of subcategories of Top which are: multireflective in Top, multiepireflective in Top₂ and {initial-monosources}-multireflective in CRog T₂ is given.     

Abelian groups admitting a Fréchet-Urysohn pseudocompact topological group topology

We show that every Abelian group G with r₀(G)=|G|=|G|^ω admits a pseudocompact Hausdorff topological group topology T such that the space (G,T) is Fréchet-Urysohn. We also show that a bounded torsion Abelian group G of exponent n admits a pseudocompact Hausdorff topological group topology making G a Fréchet-Urysohn space if for every prime divisor p of n and every integer k≥0, the Ulm-Kaplansky invariant f_p,k of G satisfies (f_p,k)^ω=f_p,k provided that f_p,k is infinite and f_p,k>f_p,i for each i>k.Our approach is based on an appropriate dense embedding of a group G into a Σ-product of circle groups or finite cyclic groups.     

Quotient-reflective and bireflective subcategories of the category of preordered sets

In previous papers, the notions of “closedness” and “strong closedness” in set-based topological categories were introduced. In this paper, we give the characterization of closed and strongly closed subobjects of an object in the category Prord of preordered sets and show that they form appropriate closure operators which enjoy the basic properties like idempotency (weak) hereditariness, and productivity.We investigate the relationships between these closure operators and the well-known ones, the up- and down-closures. As a consequence, we characterize each of T₀, T₁, and T₂ preordered sets and show that each of the full subcategories of each of T₀, T₁, T₂ preordered sets is quotient-reflective in Prord. Furthermore, we give the characterization of each of pre-Hausdorff preordered sets and zero-dimensional preordered sets, and show that there is an isomorphism of the full subcategory of zero-dimensional preordered sets and the full subcategory of pre-Hausdorff preordered sets. Finally, we show that both of these subcategories are bireflective in Prord.     

Sequences and filters of characters characterizing subgroups of compact Abelian groups

Let H be a countable subgroup of the metrizable compact Abelian group G and a (not necessarily continuous) character of H. Then there exists a sequence of (continuous) characters of G such that limn→∞χn(α)=f(α) for all α∈H and does not converge whenever α∈G?H. If one drops the countability and metrizability requirement one can obtain similar results by using filters of characters instead of sequences. Furthermore the introduced methods allow to answer questions of Dikranjan et al.     

Minimal pseudocompact group topologies on free abelian groups

A Hausdorff topological group G is minimal if every continuous isomorphism f:G→H between G and a Hausdorff topological group H is open. Significantly strengthening a 1981 result of Stoyanov, we prove the following theorem: For every infinite minimal abelian group G there exists a sequence of cardinals such that

     

Constant morphisms and constant subcategories

In a category supplied with a factorization system for morphisms and a fixed subcategory of constant objects, we introduce suitable notions ofconstant morphism and of the correspondingright andleft constant subcategories. The nature of constant morphisms we use captures two important features of constant subcategories: left-constant subcategories are right-constant in the dual category and the subcategory of constant objects contains relevant information on these subcategories. Furthermore, we present characterizations of constant subcategories in several contexts. Namely, we extend the characterization of disconnectednesses obtained by Huek and Pumplün, via terminal fans, to our context.The author acknowledges financial support by Centro de Matemática da Universidade de Coimbra.     

Prefilter spaces and a precompletion of preuniform convergence spaces related to some well-known completions

In non-symmetric Convenient Topology the notion of pre-Cauchy filter is introduced and the construction of a precompletion of a preuniform convergence space is given from which Wyler's completion of a separated uniform limit space [O. Wyler, Ein Komplettierungsfunktor für uniforme Limesräume, Math. Nachr. 46 (1970) 1-12] as well as Weil's Hausdorff completion of a separated uniform space [A. Weil, Sur les Espaces à Structures Uniformes et sur la Topologie Générale, Hermann, Paris, 1937] can be derived (up to isomorphism). By the way, the construct PFil of prefilter spaces, i.e. of those preuniform convergence space which are ‘generated’ by their pre-Cauchy filters, is a strong topological universe filling in a gap in the theory of preuniform convergence spaces.     

Almost maximally almost-periodic group topologies determined by T-sequences

A sequence {an} in a group G is a T-sequence if there is a Hausdorff group topology τ on G such that . In this paper, we provide several sufficient conditions for a sequence in an abelian group to be a T-sequence, and investigate special sequences in the Prüfer groups Z(p^∞). We show that for p≠2, there is a Hausdorff group topology τ on Z(p^∞) that is determined by a T-sequence, which is close to being maximally almost-periodic—in other words, the von Neumann radical n(Z(p^∞),τ) is a non-trivial finite subgroup. In particular, n(n(Z(p^∞),τ))?n(Z(p^∞),τ). We also prove that the direct sum of any infinite family of finite abelian groups admits a group topology determined by a T-sequence with non-trivial finite von Neumann radical.     

A categorical approach to the maximum theorem

Berge's maximum theorem gives conditions ensuring the continuity of an optimised function as a parameter changes. In this paper we state and prove the maximum theorem in terms of the theory of monoidal topology and the theory of double categories.This approach allows us to generalise (the main assertion of) the maximum theorem, which is classically stated for topological spaces, to pseudotopological spaces and pretopological spaces, as well as to closure spaces, approach spaces and probabilistic approach spaces, amongst others. As a part of this we prove a generalisation of the extreme value theorem.     

Abelian groups with a vanishing homology group

An abelian group A is called absolutely abelian, if in every central extension N ? G ? A the group G is also abelian. The abelian group A is absolutely abelian precisely when the Schur multiplicator H₂A vanished. These groups, and more generally groups with H_nA = 0 for some n, are characterized by elementary internal properties. (Here H₁A denotes the integral homology of A.) The cases of even n and odd n behave strikingly different. There are 2^?ο different isomorphism types of abelian groups A with reduced torsion subgroup satisfying H_2nA = 0. The major tools are direct limit arguments and the Lyndon-Hochschild-Serre (L-H-S) spectral sequence, but the treatment of absolutely abelian groups does not use spectral sequences. All differentials d^r for r ≥ 2 in the L-H-S spectral sequence of a pure abelian extension vanish. Included is a proof of the folklore theorem, that homology of groups commutes with direct limits also in the group variable, and a discussion of the L-H-S spectral sequence for direct limits.     

TOPOLOGICAL CATEGORIES AND CLOSURE OPERATORS

Abstract

It is shown that the category CS of closure spaces is a topological category. For each epireflective subcategory A of a topological category X a functor F _A :X → X is defined and used to extend to the general case of topological categories some results given in [4], [5] and [10] for epireflective subcategories of the category Top of topological spaces.     

Join-continuous frames,Priestley's duality and biframes

The primary purpose of this paper is to study join-continuous frames. We present two representation theorems for them: one in terms of -subframes of complete Boolean algebras and the other in terms of certain Priestley spaces. This second representation is used to prove that the topological spaces whose frame of open sets is join-continuous are characterized by a condition which says that certain intersections of open sets are open. Finally, we show that Priestley's duality can be viewed as a partialization of the dual adjunction between the categories of, respectively, bitopological spaces and biframes, stated by B. Banaschewski, G. C. L. Brümmer and K. A. Hardie in [5].This work was partially supported by Centro de Matemáíica da Universidade de Coimbra.     

Self-duality in the class of precompact groups

A topological Abelian group G is called (strongly) self-dual if there exists a topological isomorphism Φ:G→G^∧ of G onto the dual group G^∧ (such that Φ(x)(y)=Φ(y)(x) for all x,y∈G). We prove that every countably compact self-dual Abelian group is finite. It turns out, however, that for every infinite cardinal κ with κω=κ, there exists a pseudocompact, non-compact, strongly self-dual Boolean group of cardinality κ.     

LIGHT FACTORIZATION STRUCTURES

Abstract

In this paper we investigate, for connection subcategories A of a topological category K, the concepts of A-monotone quotients and A-light sources, and characterize (1) those A, which give rise to an (A-monotone quotient, A-light)- factorization structure on K, (2) those factorization structures (C,D) on K, which are light, i.e. of the form (A-monotone quotient, A-light) for suitable A. It turns out that light factorization structures are rather rare in Top, but abundant and well-behaved in categories with hereditary quotients.     

Dense orbits of automorphisms and compactness of groups

It is proved, by using topological properties, that when a group automorphism of a locally compact totally disconnected group is ergodic under the Haar measure, the group is compact. The result is an answer for Halmos's question that has remained open for the totally disconnected case.     

Fréchet-Urysohn fans in free topological groups

In this paper we answer the question of T. Banakh and M. Zarichnyi constructing a copy of the Fréchet-Urysohn fan S_ω in a topological group G admitting a functorial embedding [0,1]⊂G. The latter means that each autohomeomorphism of [0,1] extends to a continuous homomorphism of G. This implies that many natural free topological group constructions (e.g. the constructions of the Markov free topological group, free abelian topological group, free totally bounded group, free compact group) applied to a Tychonov space X containing a topological copy of the space Q of rationals give topological groups containing S_ω.     

Schwartz groups and convergence of characters

It is proved that a locally quasi-convex group is a Schwartz group if and only if every continuously convergent filter on its dual group converges locally uniformly. We also show that for metrizable separable groups a similar result remains true when filters are replaced by sequences. As an ingredient in the proofs of these results, we obtain a Schauder-type theorem on compact homomorphisms acting between the natural group analogues of normed spaces.