Continuous homomorphic images to point-separating classes of topological groups (Q2683768)

A topological group \(G\) is said to be minimally almost periodic if each continuous homomorphism from \(G\) to a compact group is the trivial homomorphism. These topological groups were introduced by von Neumann, and have been at the center of a long list of high-profile problems in topological group theory. The following concept is introduced in this paper. A topological group \(G\) is said to be a \((\mathcal{C}\to\mathcal{D})\)-group if each continuous homomorphic image of \(G\) to an arbitrary group contained in the class \(\mathcal{C}\) is automatically contained in \(\mathcal{D}\) as well. The goal of this paper is to substantially simplify a way of characterizing a given class of \((\mathcal{C}\to\mathcal{D})\)-groups based on the underlying structure of the class \(\mathcal{C}\). The main result of this paper aims to characterize all reflective classes \(\mathcal{C}\) for which \((\mathcal{C}\to\mathcal{D})\)-groups are verified exactly through explicit topological group quotients. The following theorem is proved. Let \(\mathcal{C}\) and \(\mathcal{D}\) be classes of topological groups. Assume \(\mathcal{C}\) is reflective and mono-transitive, and \(\mathcal{D}\) is closed under continuous homomorphisms. Then \(G\) is a \((\mathcal{C}\to\mathcal{D})\)-group if and only if, let \(K\) be a topological group quotient of \(G\), if \(K\) is contained in \(\mathcal{C}\), then it is also contained in \(\mathcal{D}\).