Strongly complete almost maximal left invariant topologies on groups (Q390427)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Strongly complete almost maximal left invariant topologies on groups |
scientific article |
Statements
Strongly complete almost maximal left invariant topologies on groups (English)
0 references
8 January 2014
0 references
In this paper \(G\) is an arbitrary countable discrete group. Every left invariant topology \(\mathcal{T}\) on \(G\) determines a closed subsemigroup \(\mathrm{Ult}(\mathcal{T})\subseteq \beta G\). It is called the ultrafilter semigroup of \(\mathcal{T}\). An object \(P\) is an absolute coretract if for every surjective morphism \(g:R\rightarrow P\) there exists a morphism \(h:P\rightarrow R\) such that \(g\circ h=id_P\). Let \(\mathfrak{C}\) denote the category of compact Hausdorff right topological semigroups. In this paper two important Theorems are proved. Theorem 1: Assume MA (Martin's Axiom). Then for every finite absolute coretract \(S\) in \(\mathfrak{C}\), there is a strongly complete left invariant topology \(\mathcal{T}\) on \(G\) such that \(\mathrm{Ult}(\mathcal{T})\) is isomorphic to \(S\), and in the case \(G=\bigoplus_\omega \mathbb{Z}_2\), \(\mathcal{T}\) can be chosen to be a group topology. Theorem 2: It is consistent with \(ZFC\) that if \(G\) can be embedded into a compact group, then there is no \(d-\)complete almost maximal left invariant topology on \(G\). As a consequence, they obtain from Theorem 1 the following Corollary: Assume MA. Then there is an absolutely maximal idempotent \(p\in G^*\) such that \((\beta G)p\in \mathcal{I}(G)\), where \(\mathcal{I}(G)\) denotes the finest decomposition of \(G^*\) into closed left ideals of \(\beta G\) with the property that the corresponding quotient space of \(G^*\) is Hausdorff.
0 references
Stone-Čech compactification
0 references
ultrafilter
0 references
idempotent
0 references
almost maximal topological group
0 references
strongly complete left invariant topology
0 references
maximal principal left ideal
0 references