Continuity in \(G^*\) (Q1399166)

For a discrete topological space \(X\), the points of the Stone-Čech compactification \(\beta X\) are considered to be ultrafilters on \(X\), the points of \(X\) are identified with the principal ultrafilters, and the subspace \(\beta X-X\) (the set of all free ultrafilters on \(X\)) is denoted by \(X^*\). If \(X= G\) is a discrete group, then following \textit{N. Hindman} and \textit{D. Strauss} [Algebra in the Stone-Čech compactification: theory and applications, De Gruyter Expositions in Mathematics 27 (1998; Zbl 0918.22001)], the operation of \(G\) is extended to \(\beta G\) as follows: for \(p,q\in\beta G\) and \(A\subset G\) we have \(A\in pq\Leftrightarrow \{g\in G: g^{-1}, A\in q\}\in p\). Then \(\beta G\) is a semigroup and \(G^*\) is a subsemigroup of \(\beta G\). In this paper the following mappings \(\lambda_p\) \((p\in G^*)\), \(\mu:\beta G\to\beta G\) are considered: \(\lambda_p(q)= pq\), \(\mu(q)= qq\) for \(q\in\beta G\), and their restrictions \(\lambda^*_p: G^*\to G^*\) and \(\mu^*: G^*\to G^*\) to \(G^*\) are investigated. In 6 Theorems the author proves that for a countable group \(G\) with discrete topology under special assumptions the continuity of \(\lambda^*_p\) or \(\mu^*\) at some point of \(G^*\) implies the existence of a \(P\)-point in \(\omega^*\) (\(\omega\) is a discrete topological space of positive integers).