Factoring continuous homomorphisms defined on submonoids of products of topologized monoids (Q2306616)

Summary: We study factorization properties of continuous homomorphisms defined on submonoids of products of topologized monoids. We prove that if \(S\) is an \(\omega \)-\textit{retractable} submonoid of a product \(D = \prod_{i \in I} D_i\) of topologized monoids and \(f : S \rightarrow H\) is a continuous homomorphism to a topologized semigroup \(H\) with \(\psi(H) \leq \omega \), then one can find a countable subset \(E\) of \(I\) and a continuous homomorphism \(g : p_E(S) \rightarrow H\) satisfying \(f = g \circ p_E \upharpoonright S\), where \(p_E\) is the projection of \(D\) to \(\prod_{i \in E} D_i\). The same conclusion is valid if \(S\) contains the \(\Sigma\)-product \(\Sigma D \subset D\). Furthermore, we show that in both cases, there exists the \textit{smallest} by inclusion subset \(E \subset I\) with the aforementioned properties.