Largeness of the set of finite products in a semigroup

We investigate when the set of finite products of distinct terms of a sequence 〈x _n 〉 _n=1^∞ in a semigroup (S,⋅) is large in any of several standard notions of largeness. These include piecewise syndetic, central, syndetic, central*, and IP*. In the case of a “nice” sequence in (S,⋅)=(ℕ,+) one has that FS(〈x _n 〉 _n=1^∞) has any or all of the first three properties if and only if {x _n+1−∑ _t=1 ⁿ x _t :n∈ℕ} is bounded from above. N. Hindman acknowledges support received from the National Science Foundation via Grant DMS-0554803.