Right ideal decompositions of \(G^\ast\) (Q306135)

Given a discrete group \(G\), its operation extends to the space \(\beta G\) and for any \(p,q\in \beta G\), the ultrafilter \(pq\) has the base of subsets of the form \(\{xB_x: x\in A\}\) where \(A\in P\) and \(B_x\in q\); this extension makes \(\beta G\) a semigroup in which all left and right translations are continuous. A non-empty subset \(R\) of a semigroup \(S\) is a \textit{right ideal} of \(S\) if \(Ra\subset R\) for any \(a\in S\). An element \(x\in S\) is \textit{an idempotent} if \(xx=x\). The authors establish, among other things, that for any infinite discrete group \(G\) which is algebraically isomorphic to a subgroup of a compact zero-dimensional second countable group, there is a decomposition \(\mathcal D\) of the space \(G^*=\beta G\setminus G\) into right ideals of \(\beta G\) and a closed subsemigroup \(T\) of \(G^*\) containing all the idempotents such that \(\mathcal D_T= \{D\cap T: D\in \mathcal D\}\) is a decomposition of \(T\) into closed right ideals and the quotient space \(T/\mathcal D_T\) is homeomorphic to \(\beta\omega\setminus \omega\).