# Hindman’s Theorem, partial semigroups and some of my most lacking intuitions (part 5)

Last time, I left you hanging -- I promised the Central Sets Theorem, but only bothered you with some more stuff on partial semigroup, i.e., condensations. Let me make it up to you.

## The Central Sets Theorems

So what is this mysterious theorem that, even though ergodic in origin is so close to the heart of algebra in the Stone–Čech compactification? It is not easy to formulate, but luckily I kept bugging you with

Since there are many different versions of the theorem as it has been improved and generalized over the last 30 years, the most general formulations are quite something to process. As you might remember, this series started out as an expository piece, so let's write down a very simple version first, even weaker than the very first version proved by Fürstenberg (but who knows, maybe that's the version he first noticed). Remember that central sets are some kind of partition regular sets (that I haven't even properly defined yet but who cares).

Central Sets Theorem (simple version)Letbe a central set. Imagine I'm giving you some abitrary . Then you can find a and in such that Just to repeat: if we set

, then

This is quite odd, no? Even though the sequence

Well, it gets even better. The original theorem allows us to "iterate" this result in a strong way.

Central Sets Theorem (less simple version)Letbe a central set. This time, I'm giving you finitely many . Not only can you get the above version for each sequence, but you can get them "together": You can find a single

and a single in such that for all simultaneously

Again repeat: if we set

, then for all

The crucial strength is that all the

Ok, maybe this difference is a bit subtle at first, but it is quite potent. For example, we immediately get van der Waerden's Theorem!

van der Waerden's Theorem (sort of)Ifis central and some given, we can find an an arithmetic progression of length in , i.e., there exists and such that

In fact, we can find the increment

in any prescribed FS-set!

This last sentence is kind of cool: you want the increment to be a multiple of 10? 42? A gazillion? No problem!

Let's derive this from the Central Sets Theorem. I know it's a bit meaningless without having seen the proof of the Central Sets Theorem (which is, by the way, very elegant using ultrafilters and I hope I'll get around to it)

**Proof.** Well, the "in fact" should be taken as a hint. So I give you some length

In other words, you're trying to make

What does it give you? Well, you get a lot of

for each **done**!

Look at how much more we have, though. We can predescribe the FS-set to pick from, we get an FS-set (induced by the FP-set) we get an FS-set of starting points and so forth.

This was but a first taste. The Central Sets Theorem can be pushed much further. With some restrictions a central set can "gobble up" infinitely many FS-sets, it can be proved for commutative semigroups and, in a much more complicated version, for non-commutative semigroups. But we'll stop here for now.