Hindman's Coloring Theorem in arbitrary semigroups
Hindman's Theorem asserts that, for each finite coloring of the natural numbers, there are distinct natural numbers a1,a2,… such that all of the sums ai1+ai2+⋯+aim (m≥1, i1<i2<⋯<im) have the same color. The celebrated Galvin--Glazer proof of Hindman's Theorem and a classification of semigroups due to Shevrin, imply together that, for each finite coloring of each infinite semigroup S, there are distinct elements a1,a2,… of S such that all but finitely many of the products ai1ai2⋯aim (m≥1, i1<i2<⋯<im) have the same color. Using these methods, we characterize the semigroups S such that, for each finite coloring of S, there is an infinite \emph{subsemigroup} T of S, such that all but finitely many members of T have the same color. Our characterization connects our study to a classical problem of Milliken, Burnside groups and Tarski Monsters. We also present an application of Ramsey's graph-coloring theorem to Shevrin's theory.