Advanced Search

A (Hausdorff) topological group is said to have a -base if it admits a base of neighbourhoods of the unit, $U_{\alpha }:\alpha \in {\mathbb{N}}^{\mathbb{N}}$, such that $U_{\alpha }\subset U_{\beta }$ whenever β ≤ α for all $\alpha ,\beta \in {\mathbb{N}}^{\mathbb{N}}$. The class of all metrizable topological groups is a proper subclass of the class $T{G}_{}$ of all topological groups having a -base. We prove that a topological group is metrizable iff it is Fréchet-Urysohn and has a -base. We also show that any precompact set in a topological group $G\in T{G}_{}$ is metrizable, and hence G is strictly angelic. We deduce from this result...

Given a discrete group $G$, we consider the set $ℒ\left(G\right)$ of all subgroups of $G$ endowed with topology of pointwise convergence arising from the standard embedding of $ℒ\left(G\right)$ into the Cantor cube ${\{0,1\}}^G$. We show that the cellularity $c\left(ℒ\left(G\right)\right)\le {\aleph }_0$ for every abelian group $G$, and, for every infinite cardinal $\tau$, we construct a group $G$ with $c\left(ℒ\right(G\left)\right)=\tau$.