Related papers: Nonexistence of Countable Extremally Disconnected …
An elementary proof is given for the fact that every locally compact subsemigroup of a compact topological group is a closed subgroup. A sample consequence is that every commutative cancellative pseudocompact locally compact Hausdorff…
Our main result is to show that every infinite, countable, residually finite group $G$ admits a Hausdorff group topology which is neither discrete nor precompact.
In this note we show that if $G$ is a countably infinite abelian group such that $nG=0$ for some integer $n$, then the only locally minimal group topology on $G$ is the discrete one.
We describe the global structure of totally disconnected locally compact groups having a linear open compact subgroup. Among the applications, we show that if a non-discrete, compactly generated, topologically simple, totally disconnected…
It is shown that there exists a complete, atomless, sigma-centered Boolean algebra, which does not contain any regular countable subalgebra if and only if there exist a nowhere dense ultrafilter. Therefore the existence of such algebras is…
We obtain a forcing construction that shows that it is consistent that the torsion-free Abelian group $\mathbb{Q}^{(\lambda)}$ admits a Hausdorff group topology which is also $\mathcal{U}$-compact and contains no non-trivial convergent…
We construct uncountably many discrete groups of type $FP$; in particular we construct groups of type $FP$ that do not embed in any finitely presented group. We compute the ordinary, $\ell^2$- and compactly-supported cohomology of these…
Groups of almost upper triangular infinite matrices with entries indexed by integers are studied. It is shown that, when the matrices are over a finite field, these groups admit a nondiscrete totally disconnected, locally compact group…
Given an arbitrary measurable cardinal $\kappa$, a nondiscrete Hausdorff extremally disconnected topological group of cardinality $\kappa$ is constructed.
We study totally disconnected locally compact second countable (t.d.l.c.s.c.) groups that contain a compact open subgroup with finite rank. We show such groups that additionally admit a pro-$\pi$ compact open subgroup for some finite set of…
We prove that for any infinite countable amenable group $G$, any $\epsilon > 0$ and any finite subset $K\subset G$, there exists a tiling (partition of $G$ into finite "tiles" using only finitely many "shapes"), where all the tiles are $(K;…
We show that if a group is not virtually cyclic and is hyperbolic relative to a family of proper subgroups, then it has a hyperbolically embedded subgroup which contains a finitely generated non-abelian free group as a finite index…
Without assuming the field structure on the additive group of real numbers $\mathbb{R}$ with the usual order $<,$ we explore the fact that every proper subgroup of $\mathbb{R}$ is either closed or dense. This property of subgroups of the…
We prove that every orientable infinite type surface without boundary and finite genus has a Riemann surface structure such that its modular group of quasiconformal homeomorphisms is countable.
It is proved that any infinite Abelian group of infinite exponent admits a non-discrete reflexive group topology.
We prove that if a countable group is elementarily equivalent to a non-abelian free group and all of its abelian subgroups are cyclic, then the group is a union of a chain of regular NTQ groups (i.e., hyperbolic towers).
A strongly zero-dimensional topological group containing a closed subgroup of positive covering dimension is constructed.
It is shown that the big free group (the set of countably-long words over a countable alphabet) is almost free, in the sense that any function from the alphabet to a compact topological group factors through a homomorphism. This statement…
We prove that consistently there is a singular cardinal $\kappa$ of uncountable cofinality such that $2^\kappa$ is weakly inaccessible, and every regular cardinal strictly between $\kappa$ and $2^\kappa$ is the character of some uniform…
Under Martin's Axiom we construct a Boolean countably compact topological group whose square is not countably pracompact.