No label defined (Q3976745)

[For the entire collection see Zbl 0714.00009.] Let \(A\) and \(B\) be topological semigroups and \(Q\) a predicate, which is given for elements and subsets of \(A\) and its homomorphic images. Further let \(\Phi\) denote a set of continuous bicharacters of \(A\) and \(B\). A continuous homomorphic image \(\phi(A)\) of \(A\) is said to be approximable by the bicharacters from \(\Phi\) with respect to Q, if for all \(\phi(A_ 1)\), \(\phi(A_ 2)\subseteq\phi(A)\) with \((\phi(A_ 1),\phi(A_ 2))\bar\in Q\) there exist \(f\in\Phi\) and \(b\in B\) with \((f(\phi(A_ 1),b),f(\phi(A_ 2),b))\bar\in Q\). The authors describe the approximation of compact semigroups by bicharacters in terms of idempotents. [See also Interuniv. Collect. Sci. Works, 87-105 (1987; Zbl 0699.22004)].