Categorically proper homomorphisms of topological groups
type: Item
instance of: scholarly article
title: Categorically proper homomorphisms of topological groups
zbMATH Open document ID: 1360.22003
author: Walter Tholen
author: Wei He
published in: Applied Categorical Structures
publication date: 2016-10-20T00:00:00Z
full work available at URL: https://arxiv.org/abs/1511.02898
review text: \textit{D. N. Dikranjan} and \textit{V. V. Uspenskij} [J. Pure Appl. Algebra 126, No. 1--3, 149--168 (1998; Zbl 0887.22001)] call a (Hausdorff) topological group \(G\) \(c\)-compact if the projection \(G\times K\rightarrow K\) maps closed subgroups onto closed subgroups for every Hausdorff topological group \(K\). Surely compact groups are c-compact. Dikranjan and Uspenskij [loc. cit.] show that for soluble groups the converse is true. In general the converse is not true. This was proved by \textit{A. A. Klyachko} et al. [Topology Appl. 160, No. 16, 2104--2120 (2013; Zbl 1285.22003)]. In this paper, the authors study the related notion of \(c\)-properness in the category of (non-necessarily Haudorff) topological groups. In Section 2 categorically closed, proper and perfect maps are considered. In particular it is shown:\newline For a topological group \(G\) the following assertions are equivalent: (i) \(G\) is \(c\)-compact; (ii) every \(f:G\rightarrow H\) with \(H\) Hausdorff is \(c\)-proper; (iii) there is a \(c\)-proper \(f:G\rightarrow H\) with \(H\) \(c\)-compact. In Section 3 categorically and homomorphically complete objects and morphisms are studied. In particular it is shown:\newline For a topological group \(G\) the following assertions are equivalent: (i) \(G\) is \(c\)-complete; (ii) every \(f:G\rightarrow H\) with \(H\) Hausdorff is \(c\)-complete; (iii) there is a \(c\)-complete \(f:G\rightarrow H\) with \(H\) \(c\)-compact. These equivalences remain valid if ``\(c\)-complete'' is traded for ``\(h\)-complete'' everywhere. In Section 4 \(c\)-proper maps resp. \(h\)-complete maps are characterized by special filters. By using results from this section the following theorem is proved in Section 5:\newline Let \((f_i:G_i\rightarrow H_i)_{i\in I}\) be a family of \(c\)-proper (\(c\)-perfect; \(h\)-complete) maps with every \(H_i\) Hausdorff. Then their product \(\prod_{i\in I}f_i:\prod G_i\rightarrow \prod H_i\) is also \(c\)-proper (\(c\)-perfect; \(h\)-co…
reviewed by: Dieter Remus
Mathematics Subject Classification ID: 22A05
Mathematics Subject Classification ID: 54H11
Mathematics Subject Classification ID: 18B99
zbMATH DE Number: 6641513
zbMATH Keywords: \(c\)-compact group
zbMATH Keywords: \(h\)-complete group
zbMATH Keywords: \(c\)-proper map
zbMATH Keywords: \(c\)-perfect map
zbMATH Keywords: \(c\)-complete map
zbMATH Keywords: \(h\)-complete map
MaRDI profile type: Publication
OpenAlex ID: W2963205444
arXiv ID: 1511.02898
cites work: Topological groups and related structures
cites work: Q3485039
cites work: Bicompactness of cartesian products
cites work: Q3130029
cites work: Q4464694
cites work: Tychonoff’s Theorem in a category
cites work: Closure operators. I
cites work: On subgroups of minimal topological groups
cites work: Q4859897
cites work: Q4789475
cites work: Categorically compact topological groups
cites work: Q3994935
cites work: Q3280623
cites work: Factorizations, denseness, separation, and relatively compact objects
cites work: Q3992672
cites work: On topologizable and non-topologizable groups
cites work: Q3653945
cites work: Compact Hausdorff objects
cites work: Q5637052
cites work: Q3879436
cites work: A categorical guide to separation, compactness and perfectness
DOI: 10.1007/S10485-016-9453-Z
description: scientific article; zbMATH DE number 6641513