Recurrence in the dynamical system $(X,⟨T_s{⟩}_{s\in S})$ and ideals of $\beta S$

Neil Hindman, Dona Strauss, Luca Q. Zamboni

A {\it dynamical system\/} is a pair $(X,⟨T_s{⟩}_{s\in S})$, where $X$ is a compact Hausdorff space, $S$ is a semigroup, for each $s\in S$, $T_s$ is a continuous functio…