Related papers: Precompact groups and convergence
We present a contribution to the structure theory of locally compact groups. The emphasis is on compactly generated locally compact groups which admit no infinite discrete quotient. It is shown that such a group possesses a characteristic…
We continue in this paper the study of locally minimal groups started in \cite{LocMin}. The minimality criterion for dense subgroups of compact groups is extended to local minimality. Using this criterion we characterize the compact abelian…
A group $G$ is called hereditarily non-topologizable if, for every $H\le G$, no quotient of $H$ admits a non-discrete Hausdorff topology. We construct first examples of infinite hereditarily non-topologizable groups. This allows us to prove…
The concept of topological gyrogroups is a generalization of a topological group. In this work, ones prove that a topological gyrogroup G is metrizable iff G has an {\omega}{\omega}-base and G is Frechet-Urysohn. Moreover, in topological…
We show that the topology of pointwise convergence on scattered spaces is compatible with the group structure of their homeomorphism group. We then establish a few topological properties of the homeomorphism group of the first uncountable…
We investigate topologies on groups which arise naturally from their algebraic structure, including the Frech\'et-Markov, Hausdorff-Markov, and various kinds of Zariski topologies. Answering a question by Dikranjan and Toller, we show that…
In this paper, we pose the concepts of pre-topological groups and some generalizations of pre-topological groups. First, we systematically investigate some basic properties of pre-topological groups; in particular, we prove that each…
For any topological group $G$ the dual object $\hat G$ is defined as the set of equivalence classes of irreducible unitary representations of $G$ equipped with the Fell topology. If $G$ is compact, $\hat G$ is discrete, and we investigate…
We prove that topological isomorphism on procountable groups is not classifiable by countable structures, in the sense of descriptive set theory. In fact, the equivalence relation $\ell_\infty$ expressing that two sequences of reals have a…
A topological group $G$ is {\em sequentially $h$-complete} if all the continuous homomorphic images of $G$ are sequentially complete. In this paper we give necessary and sufficient conditions on a complete group for being compact, using the…
A topological group is said to be ambitable if each uniformly bounded uniformly equicontinuous set of functions on the group with its right uniformity is contained in an ambit. For n=0,1,2,..., every locally aleph_n bounded topological…
We show that if $\kappa \leq \omega$ and there exists a group topology without non-trivial convergent sequences on an Abelian group $H$ such that $H^n$ is countably compact for each $n<\kappa$ then there exists a topological group $G$ such…
This article fits in the context of the approach to topological problems in terms of the underlying convergence space structures, and serves as yet another illustration of the power of the method. More specifically, we spell out…
We show that it is consistent with ZFC that every compact group has a non-Haar-measurable subgroup. In addition, we demonstrate a natural construction, and we conjecture that this construction always produces a non-measurable subgroup of a…
We show that for topological groups and loop contractible coefficients the cohomology groups of continuous group cochains and of group cochains that are continuous on some identity neighbourhood are isomorphic. Moreover, we show a similar…
In a recent paper by D. Shakhmatov and J. Sp\v{e}v\'ak [Group-valued continuous functions with the topology of pointwise convergence, Topology and its Applications (2009), doi:10.1016/j.topol.2009.06.022] the concept of a ${\rm TAP}$ group…
For compact Hausdorff admissible right topological (CHART) group $G$, we prove $w(G)=\pi\chi(G)$. This equality is well known for compact topological groups. This implies the criteria for the metrizability of CHART groups: if $G$ is…
According to Markov, a subset of an abelian group G of the form {x in G: nx=a}, for some integer n and some element a of G, is an elementary algebraic set; finite unions of elementary algebraic sets are called algebraic sets. We prove that…
We present the first steps of a predicative reconstruction of the constructive Bishop-Cheng measure theory. Working in a semi-formal elaboration of Bishop's set theory and invoking the notion of a set-indexed family of subsets (of a given…
We show that the first homology group of a locally connected compact metric space is either uncountable or is finitely generated. This is related to Shelah's well-known result which shows that the fundamental group of such a space satisfies…