On group topologies and idempotents in weak almost periodic compactifications
type: Item
instance of: scholarly article
title: On group topologies and idempotents in weak almost periodic compactifications
zbMATH Open document ID: 0689.22003
DOI: 10.1007/BF02573269
author: Wolfgang A. F. Ruppert
published in: Semigroup Forum
publication date: 1990-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/135021
review text: Consider an abelian group G and group topologies \(\tau_ 1\) and \(\tau_ 2\). We write \(\tau_ 1\leq_ c\tau_ 2\) iff every \(\tau_ 2\) Cauchy filter is contained in a \(\tau_ 1\) Cauchy filter. This is tantamount to the existence of a compact subgroup K of \((G,\tau_ 1)\) such that the coset morphism \((G,\tau_ 2)\to (G,\tau_ 1)/K\) is continuous. If \(\tau_ 1\subseteq \tau_ 2\) then \(\tau_ 1\leq_ c\tau_ 2\). If \(\tau_ 1\leq_ c\tau_ 2\) and \(\tau_ 2\leq_ c\tau_ 1\) we write \(\tau_ 1=_ c\tau_ 2\). Let \(i_ G: G\to G^ w\) be the weakly almost periodic compactification. We denote by \({\mathcal T}\) the function from the lattice of idempotents \(E(G^ w)\) of the weak almost periodic compactification \(G^ w\) of G onto the set T(G) of weakly almost periodic (w.a.p.) topologies which associates with an idempotent e the pull-back topology under the morphisnm \(g\mapsto ei_ G(g): G\to eG^ w\). On the other hand let \({\mathcal E}\) denote the function \(T(G)\to E(G^ w)\) which assigns to a w.a.p. topology \(\tau\) the smallest idempotent in the kernel of the morphism \(G^ w\to (G_{\tau})^ w\). Theorem. For two w.a.p. topologies the relation \(\tau_ 1\leq_ c\tau_ 2\) holds iff \({\mathcal E}(t_ 1)\leq {\mathcal E}(t_ 2)\). The functions \({\mathcal E}\) and \({\mathcal T}\) implement a Galois connection between \(E(G^ w)\) and T(G) with \({\mathcal E}{\mathcal T}(e)=e\) for all e and \(\tau\) \(\subseteq {\mathcal T}{\mathcal E}(\tau)\) for all \(\tau\). In particular, \({\mathcal T}\) is injective and \({\mathcal E}\) is surjective.
Mathematics Subject Classification ID: 22A15
Mathematics Subject Classification ID: 22A05
Mathematics Subject Classification ID: 43A60
Mathematics Subject Classification ID: 20K45
zbMATH DE Number: 4129111
zbMATH Keywords: weakly almost periodic topologies
zbMATH Keywords: abelian group
zbMATH Keywords: group topologies
zbMATH Keywords: Cauchy filter
zbMATH Keywords: coset morphism
zbMATH Keywords: weakly almost periodic compactification
zbMATH Keywords: lattice of idempotents
zbMATH Keywords: Galois connection
reviewed by: Karl H. Hofmann
MaRDI profile type: Publication
cites work: On the definition of almost periodicity
cites work: Q3223046
cites work: Q3898534
cites work: Construction of group topologies on abelian groups
cites work: Q3337669
cites work: The Number of T 2 -Precompact Group Topologies on Free Groups
cites work: Compact semitopological semigroups: An intrinsic theory
description: scientific article; zbMATH DE number 4129111