Semigroup completions of locally compact abelian groups (Q2312455)

A topological group is {\em absolutely closed} if it is closed in every topological group containing it as a subgroup and a topological semigroup \(S\) is said to be {\em absolutely closed} in a class \(\mathcal{G}\) of topological semigroups, if \(S\) is closed in every semigroup \(T\in \mathcal{G}\) containing \(S\) as a subsemigroup. In [\textit{Y. Zelenyuk}, Semigroup Forum 98, No. 1, 9--21 (2019; Zbl 1417.22005)] it was proved that an Abelian topological group \(G\) is absolutely closed in the class of topological semigroups if and only if \(G\) is complete and there is \(n\) such that the subgroup \(nG\) is totally bounded. In the paper under review, the authors consider the case where \(G\) is a locally compact first countable Abelian topological group of cardinality \(\leq c\) such that for every \(n\) the subgroup \(nG\) is not totally bounded and prove that the topology of \(G\) can be extended to a locally compact first countable semigroup topology \(\mathcal{J}\) on \(S=G\oplus(\oplus_{\lambda}\mathbb{Z}^+)\) for some \(\lambda \in [p,c]\) such that \(G\) is dense in \(\mathcal{J}\) and \((S,\mathcal{J})\) is absolutely closed in the class of cancellative topological semigroups with the Fréchet-Urysohn property. Assuming Martin's Axiom, they also prove that the topology of \(G\) can be extended to a locally compact first countable semigroup topology \(\mathcal{J}\) on \(S=G\oplus(\oplus_{c}\mathbb{Z}^+)\) such that \(G\) is dense in \((S,\mathcal{J})\) and is absolutely closed in the class of all topological semigroups with the Fréchet-Urysohn property.