We discuss various modifications of separability, precompactnmess and narrowness in topological groups and test those modifications in the permutation groups $S(X)$ and $S_{<omega}(X)$.
A topological group $G$ is called an $M_omega$-group if it admits a countable cover $K$ by closed metrizable subspaces of $G$ such that a subset $U$ of $G$ is open in $G$ if and only if $Ucap K$ is open in $K$ for every $KinK$. It is shown that any two non-metrizable uncountable separable zero-dimenisional $M_omega$-groups are homeomorphic. Together with Zelenyuks classification of countable $k_omega$-groups this implies that the topology of a non-metrizable zero-dimensional $M_omega$-group $G$ is completely determined by its density and the compact scatteredness rank $r(G)$ which, by definition, is equal to the least upper bound of scatteredness indices of scattered compact subspaces of $G$.
Separability is one of the most basic and important topological properties. In this paper, the separability in (strongly) topological gyrogroups is studied. It is proved that every first-countable left {omega}-narrow strongly topological gyrogroup is separable. Furthermore, it is shown that if a feathered strongly topological gyrogroup G is isomorphic to a subgyrogroup of a separable strongly topological gyrogroup, then G is separable. Therefore, if a metrizable strongly topological gyrogroup G is isomorphic to a subgyrogroup of a separable strongly topological gyrogroup, then G is separable, and if a locally compact strongly topological gyrogroup G is isomorphic to a subgyrogroup of a separable strongly topological gyrogroup, then G is separable.
A theorem of A. Weil asserts that a topological group embeds as a (dense) subgroup of a locally compact group if and only if it contains a non-empty precompact open set; such groups are called locally precompact. Within the class of locally precompact groups, the authors classify those groups with the following topological properties: Dieudonne completeness; local realcompactness; realcompactness; hereditary realcompactness; connectedness; local connectedness; zero-dimensionality. They also prove that an abelian locally precompact group occurs as the quasi-component of a topological group if and only if it is precompactly generated, that is, it is generated algebraically by a precompact subset.
It is proved that any countable topological group in which the filter of neighborhoods of the identity element is not rapid contains a discrete set with precisely one nonisolated point. This gives a negative answer to Protasovs question on the existence in ZFC of a countable nondiscrete group in which all discrete subsets are closed. It is also proved that the existence of a countable nondiscrete extremally disconnected group implies the existence of a rapid ultrafilter and, hence, a countable nondiscrete extremally disconnected group cannot be constructed in ZFC.
A space $X$ is submaximal if any dense subset of $X$ is open. In this paper, we prove that every submaximal topological gyrogroup of non-measurable cardinality is strongly $sigma$-discrete. Moreover, we prove that every submaximal strongly topological gyrogroup of non-measurable cardinality is hereditarily paracompact.