arXiv++ Combinatorics

We show that various analogs of Hindman's Theorem fail in a strong sense when one attempts to obtain uncountable monochromatic sets: Theorem 1: There exists a colouring $c:\mathbb R\rightarrow\mathbb Q$, such that for every $X\subseteq\mathbb R$ with $|X|=|\mathbb R|$, and every colour $γ\in\mathbb Q$, there are two distinct elements $x_0,x_1$ of $X$ for which $c(x_0+x_1)=γ$. This forms a simultaneous generalization of a theorem of Hindman, Leader and Strauss and a theorem of Galvin and Shelah. Theorem 2: For every Abelian group $G$, there exists a colouring $c:G\rightarrow\mathbb Q$ such that for every uncountable $X\subseteq G$, and every colour $γ$, for some large enough integer $n$, there are pairwise distinct elements $x_0,\ldots,x_n$ of $X$ such that $c(x_0+\cdots+x_n)=γ$. In addition, it is consistent that the preceding statement remains valid even after enlarging the set of colours from $\mathbb Q$ to $\mathbb R$. Theorem 3: Let $\circledast_κ$ assert that for every Abelian group $G$ of cardinality $κ$, there exists a colouring $c:G\rightarrow G$ such that for every positive integer $n$, every $X_0,\ldots,X_n \in[G]^κ$, and every $γ\in G$, there are $x_0\in X_0,\ldots, x_n\in X_n$ such that $c(x_0+\cdots+x_n)=γ$. Then $\circledast_κ$ holds for unboundedly many uncountable cardinals $κ$, and it is consistent that $\circledast_κ$ holds for all regular uncountable cardinals $κ$.