Cancellation of topological groups (Q1738931)

This paper is a continuation of the authors' paper [ibid. 235, 346--351 (2018; Zbl 1407.22002)]. The authors consider more general cases where the cancellable groups are neither discrete nor abelian. Let \(\mathfrak{M}\) be a family of Hausdorff topological groups. A Hausdorff topological group \(P\) is called \(\mathfrak{M}\)-cancellable if for any two topological groups \(G\) and \(H\) in \(\mathfrak{M}\), the product group \(G\times P\) is topologically isomorphic to \(H\times P\) if and only if \(G\) and \(H\) are topologically isomorphic. If \(\mathfrak{C}\) is the family of all compact topological groups, then every topologically simple group is \(\mathfrak{C}\)-cancellable (Corollary 3.4). In Section 3, the authors show that every topological group in \(\mathfrak{M}\) is cancellable (see Theorem 3.10). Recall that an abstract group \(G\) is called Hopfian (resp. co-Hopfian) if every surjective (resp. injective) endomorphism of \(G\) is an isomorphism. If \(G\) is a topologically simple group either Hopfian or co-Hopfian, then \(G\) is cancellable (see Theorem 4.4). Also it is shown that: Every locally compact topologically simple group is cancellable (Theorem 4.10).