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...

Improving the recent result of the author we show that $indH=0$ is equivalent to $dimH=0$ for every subgroup $H$ of a Hausdorff locally compact group $G$.

The theory of covering spaces is often used to prove the Nielsen-Schreier theorem, which states that every subgroup of a free group is free. We apply the more general theory of semicovering spaces to obtain analogous subgroup theorems for topological groups: Every open subgroup of a free Graev topological group is a free Graev topological group. An open subgroup of a free Markov topological group is a free Markov topological group if and only if it is disconnected.

We show that if an uncountable regular cardinal τ and τ + 1 embed in a topological group G as closed subspaces then G is not normal. We also prove that an uncountable regular cardinal cannot be embedded in a torsion free Abelian group that is hereditarily normal. These results are corollaries to our main results about ordinals in topological groups. To state the main results, let τ be an uncountable regular cardinal and G a T₁ topological group. We prove, among others, the following statements:...

The following general question is considered. Suppose that $G$ is a topological group, and $F$, $M$ are subspaces of $G$ such that $G=MF$. Under these general assumptions, how are the properties of $F$ and $M$ related to the properties of $G$? For example, it is observed that if $M$ is closed metrizable and $F$ is compact, then $G$ is a paracompact $p$-space. Furthermore, if $M$ is closed and first countable, $F$ is a first countable compactum, and $FM=G$, then $G$ is also metrizable. Several other results of this kind are obtained....

In this paper we introduce perfectly supportable semigroups and prove that they are σ-discrete in each Hausdorff shiftinvariant topology. The class of perfectly supportable semigroups includes each semigroup S such that FSym(X) ⊂ S ⊂ FRel(X) where FRel(X) is the semigroup of finitely supported relations on an infinite set X and FSym(X) is the group of finitely supported permutations of X.

This paper investigates the productivity of the Zariski topology ${ℨ}_G$ of a group $G$. If $𝒢=\{G_i\mid i\in I\}$ is a family of groups, and $G={\prod }_{i\in I}{G}_i$ is their direct product, we prove that ${ℨ}_G\subseteq {\prod }_{i\in I}{ℨ}_{G_i}$. This inclusion can be proper in general, and we describe the doubletons $𝒢=\{G_1,G_2\}$ of abelian groups, for which the converse inclusion holds as well, i.e., ${ℨ}_G={ℨ}_{G_1}\times {ℨ}_{G_2}$. If $e_2\in G_2$ is the identity element of a group $G_2$, we also describe the class $\Delta$ of groups $G_2$ such that $G_1\times \left\{e_2\right\}$ is an elementary algebraic subset of $G_1\times G_2$ for every group $G_1$. We show among others, that $\Delta$ is stable...

This paper considers certain pseudometric structures on Ext-semigroups and gives a unified characterization of several topologies on Ext-semigroups. It is demonstrated that these Ext-semigroups are complete topological semigroups. To this end, it is proved that a metric induces a pseudometric on a quotient space with respect to an equivalence relation if it has certain invariance. We give some properties of this pseudometric space and prove that the topology induced by the pseudometric coincides...

A topological group is strongly realcompact if it is topologically isomorphic to a closed subgroup of a product of separable metrizable groups. We show that if H is an invariant Čech-complete subgroup of an ω-narrow topological group G, then G is strongly realcompact if and only if G/H is strongly realcompact. Our proof of this result is based on a thorough study of the interaction between the P-modification of topological groups and the operation of taking quotient groups.