An embedding X ⊂ G of a topological space X into a topological group G is called functorial if every homeomorphism of X extends to a continuous group homomorphism of G. It is shown that the interval [0, 1] admits no functorial embedding into a finite-dimensional or metrizable topological group.
Pointfree formulas for three kinds of separating points for closed sets by maps are given. These formulas allow controlling the amount of factors of the target product space so that it does not exceed the weight of the embeddable space. In literature, the question of how many factors of the target product are needed for the embedding has only been considered for specific spaces. Our approach is algebraic in character and can thus be viewed as a contribution to Kuratowski's topological calculus.
We prove a Dichotomy Theorem: for each Hausdorff compactification of an arbitrary topological group , the remainder is either pseudocompact or Lindelöf. It follows that if a remainder of a topological group is paracompact or Dieudonne complete, then the remainder is Lindelöf, and the group is a paracompact -space. This answers a question in A.V. Arhangel’skii, Some connections between properties of topological groups and of their remainders, Moscow Univ. Math. Bull. 54:3 (1999), 1–6. It is...