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