On recognition and compactification
type: Item
instance of: scholarly article
title: On recognition and compactification
zbMATH Open document ID: 0684.20057
DOI: 10.1007/BF02573247
published in: Semigroup Forum
publication date: 1990-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/135000
review text: Let S be a semigroup and A a subset of S. The syntactic congruence of A is defined thus: \(x\sim_ Ay\) if and only if \(\{\) for all \(u,v\in S\), uxv\(\in A\) if and only if uyv\(\in A\}\). Recall that a necessary and sufficient condition for A to be recognizable in S is that the quotient semigroup \(S/\sim_ A\) be finite. A compactification of S is a compact topological semigroup T and a morphism of S onto a dense subsemigroup of T. For the Bohr compactification \(S\to \tilde S\), let \(\overset\circ S\) denote the image of S in the zero dimensional semigroup obtained by collapsing each component of \(\tilde S\) to a point. When there are enough morphisms of S to finite semigroups to separate points, S is called residually finite. The author obtains a variety of results about the syntactic congruence of A and various compactifications of S. One result is: if S is residually finite then for each \(A\subset S\), A is recognizable in S if and only if cl(A) is open in \(\overset\circ S\). A version of this for \({\mathcal P}\)- recognizable sets is also proved, where \({\mathcal P}\) is any pseudovariety of finite semigroups. An example is given of a group G and subset A which is recognizable in G because \(G/\sim_ A\) is finite, but \(G\to G/\sim_ A\) is not continuous and the image of A is not closed in G. When V is an alphabet of q letters, \(V_ q^{\infty}\) denotes the compact zero dimensional monoid consisting of the free monoid on V together with all infinitely long words on V. It is proved that \(V_ q^{\infty}\setminus \{1\}\) can be obtained as a compactification with respect to a certain pseudovariety.
Mathematics Subject Classification ID: 20M35
Mathematics Subject Classification ID: 20M07
Mathematics Subject Classification ID: 22A15
Mathematics Subject Classification ID: 20M15
zbMATH DE Number: 4120428
zbMATH Keywords: syntactic congruence
zbMATH Keywords: compact topological semigroup
zbMATH Keywords: Bohr compactification
zbMATH Keywords: finite semigroups
zbMATH Keywords: residually finite
zbMATH Keywords: recognizable sets
zbMATH Keywords: pseudovariety of finite semigroups
zbMATH Keywords: compact zero dimensional monoid
zbMATH Keywords: free monoid
zbMATH Keywords: infinitely long words
author: Robert P. Hunter
MaRDI profile type: Publication
cites work: On the infinite subsemigroups of a compact semigroup
cites work: Adherences of languages
cites work: A topology for free groups and related groups
cites work: On infinite words and dimension raising homomorphisms
cites work: Q3794424
cites work: Q3853827
cites work: Une topologie du monoide libre
cites work: Elementare Aussagen zur Arithmetik und Galoistheorie von Funktionenkörpern.
OpenAlex ID: W2019001875
description: scientific article; zbMATH DE number 4120428