H.Furstenberg and E.Glasner proved that for an arbitrary , any piecewise syndetic set of integers contains a -term arithmetic progression and the collection of such progressions is itself piecewise syndetic in The above result was extended for arbitrary semigroups by V. Bergelson and N. Hindman, using the algebra of the Stone-Čech compactification of discrete semigroups. However, they provided an abundance for various types of large sets. In \cite{DHS}, the first author, Neil Hindman and Dona Strauss introduced two notions of large sets, namely, -set and -set. In \cite{BG}, V. Bergelson and D. Glasscock introduced another notion of largeness, which is analogous to the notion of -set, namely - set. All these sets contain arithmetic progressions of arbitrary length. In \cite{DG}, the second author and S. Goswami proved that for any -set, , the collection is a -set in . In this article, we prove the same for -sets.

生成讲解博客的中文版本

生成AI智能校验的中文版本