Continuous Homomorphisms Defined on (Dense) Submonoids of Products of Topological Monoids

Abstract

We study the factorization properties of continuous homomorphisms defined on a (dense) submonoid S of a Tychonoff product D = ∏ i ∈ I D i of topological or even topologized monoids. In a number of different situations, we establish that every continuous homomorphism f : S → K to a topological monoid (or group) K depends on at most finitely many coordinates. For example, this is the case if S is a subgroup of D and K is a first countable left topological group without small subgroups (i.e., K is an NSS group). A stronger conclusion is valid if S is a finitely retractable submonoid of D and K is a regular quasitopological NSS group of a countable pseudocharacter. In this case, every continuous homomorphism f of S to K has a finite type, which means that f admits a continuous factorization through a finite subproduct of D. A similar conclusion is obtained for continuous homomorphisms of submonoids (or subgroups) of products of topological monoids to Lie groups. Furthermore, we formulate a number of open problems intended to delimit the validity of our results.