Semitopological homomorphisms

DOI10.4171/RSMUP/120-6MaRDI QIDQ2389044zbMATH OpenFDO

Publication date 22 July 2009

Published in Rendiconti del Seminario Matematico della Università di Padova (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1007.0537, https://eudml.org/doc/108749, http://rendiconti.math.unipd.it/volumes/downloads_closed/RSMUP_2008__120__79_0.pdf

zbMATH Keywords

(strongly) \(A^*\)-open (strongly) A-open d-extension open mapping theorem permanence properties pull back quasihomomorphism semitopological homomorphism

Mathematics Subject Classification ID

Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) Other groups related to topology or analysis (20F38) Topological methods for abelian groups (20K45) Structure of general topological groups (22A05) Topological groups (topological aspects) (54H11)

Abstract: Inspired by an analogous result of Arnautov about isomorphisms, we prove that all continuous surjective homomorphisms of topological groups f:G-->H can be obtained as restrictions of open continuous surjective homomorphisms f':G'-->H, where G is a topological subgroup of G'. In case the topologies on G and H are Hausdorff and H is complete, we characterize continuous surjective homomorphisms f:G-->H when G has to be a dense normal subgroup of G'. We consider the general case when G is requested to be a normal subgroup of G', that is when f is semitopological - Arnautov gave a characterization of semitopological isomorphisms internal to the groups G and H. In the case of homomorphisms we define new properties and consider particular cases in order to give similar internal conditions which are sufficient or necessary for f to be semitopological. Finally we establish a lot of stability properties of the class of all semitopological homomorphisms.

Review text

A surjective group homomorphism \(f:(G,\tau)\to (H,\sigma)\) is called semitopological homomorphism if it can be extended to a continuous and open group homomorphism \(\widetilde{f}:(\widetilde{G},\widetilde{\tau})\to (H,\sigma)\) where \((G,\tau)\to (\widetilde{G},\widetilde{\tau})\) is an embedding and \(G\) is a normal subgroup of \( \widetilde{G}\). The aim of this article is to find necessary and sufficient conditions for a homomorphism \(f\) to be semitopological. It generalizes results of \textit{V. I. Arnautov} [Bul. Acad. Ştiinţe Repub. Mold., Mat. 2004, No.~1(44), 15--25 (2004; Zbl 1066.22001)] who characterized a similar situation, where \(f\) was assumed to be a continuous isomorphism and \(\widetilde{f}\) was required to be open. It is shown (5.7) that \(H\) is abelian if and only if every surjective group homomorphism \(f:(G,\tau)\to (H,\sigma)\) (\(G\), \(\sigma\) and \(\tau\) are arbitrary) is semitopological. The class of semitopological homomorphisms is closed under taking products. Further permanence properties (pull back, compositions, and quotients) of semitopological homomorphisms and related properties are studied.

Recommendations

Cites work

Cited in

(8)

This page was built for publication: Semitopological homomorphisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2389044)