Hindman’s Theorem, partial semigroups and some of my most lacking intuitions (part 2)
Yesterday I finally started this short series with some small thoughts regarding partial semigroups. If you don't remember, all I did yesterday was to explain why semigroups are not, in general, partition regular using a simple partition of
. I was trying to keep your hopes up by pointing out Schur's Theorem.
So how far can we push?
There are essentially two paths to choose from here. The next step in a decent text book would probably tell you about van der Waerden's Theorem (1927), Rado's Theorem (1970) or the Folkman-Rado-Sanders Theorem (Sanders being the first to publish it in his PhD thesis (19691968, see Jon Sanders's comment below) but usually the last to be mentioned because Folkman had some "private communication" with Graham and Rothschild).
The first two theorems lead down a different path, towards partition regular matrices which, from the point of view of Schur's Theorem, could be described as "getting more linear combinations". The last one on the other hand could be described as "getting some algebraic closure" and this is where we came from in the last post. But I would like to skip ahead or else we'll still be sitting here tomorrow next week.
Let me get back to talking to you about Hindman's Theorem. Skipping its curious history, let's see where Schur left us. We have sums of two elements -- very often. But what about three? Or any finite number? Well, we know that repetition is a problem -- after all, that's what prevented subsemigroups from being a partition regular notion. So we have to drop repetitions. What does that leave us with? Distinct sums.
FS-set Given a sequence
(with , but we're really intersted in ) let's denote the set of distinct finite sums of elements from this sequence by , i.e.,
So we collect all results of summing elements from our sequence without doing any repetitions. Fair enough. This seems to be as far as we can get without getting at an actual subsemigroup.
If we're really trying to look at this structure, we should do a reality check. How rich are such sets? Well, first of all,
The surprising thing is that this property -- to contain an FS-set -- is actually partition regular. And this is exactly what Hindman showed in 1974.
Hindman's Theorem FS-sets are partition regular.
What a great theorem! All we had to do was drop repetitions and we immediately get partition regularity. That's a good deal. And yet, it begs the question: can we formalize the kind of algebraic closure appearing in an FS-set?
Is there an easy way to describe FS-sets?
The thing with FS-sets is that they look awefully like subsemigroups. You can almost always add two elements together. And not just those from the underlying sequence. Given an element of an FS-set, all but finitely many elements for the underlying sequence can be added to it.
But also when we have two different sums chances aren't too bad that we can add them -- the only restriction is that the two sums must have been built from pairwise different elements from the underlying sequence.
Thankfully, we can describe this messy business efficiently by introducing one of my favorite and one of the most important structures:
What is
Why on earth would I introduce a new notation for such a standard set-theoretic object, you ask? Well, mostly because I didn't -- others did. But it makes sense becaus our interest is in a certain algebraic structure on
So what structure? There already exists a very well known and important algebraic structure on
On the other hand,
It's not historically relevant (as far as I know), but the part that is interesting here is the "intersection" of these operations, i.e., when these two different operations agree.
Yes, I am making all this fuss just to talk about disjoint unions. You'll say, that's ridiculous! Disjoint unions are easy! Well, you're right. And that's exactly the point, actually. Addition is such a pain! It is subtle and messy (all that carrying over). Disjoint unions are soooo much easier, right?
(Right. Just you wait.)
So what about disjoint unions? Isn't that a pretty tough restriction? If I was trying to do the usual mathematicians-love-obfuscation thing, I could probably make big deal out of the fact that restricting our operations to disjoint unions eliminates all multiples (which is, like, super important, because I was, like, talking about that all the time, right??? -- that is, of course, getting it backwards, so don't think that way, please!).
The thing that is interesting is that disjoint unions still have a kind of associativity law (warning: I'm going to use in Kansas in
in the sense that, if one side is defined, so is the other and they are equal.
Of course, "they are equal" is not the point here -- after all, we have restricted a (semi)group operation -- so for us the key should be: if one side is defined then so is the other. In other words, our operation is relatively rich.
This is what Bergelson, Blass and Hindman dubbed "strong associativity" for in their seminal paper. Altogether, a set with a partial operation satisfying strong associativity, they called a partial semigroup.
We have a slight problem though: the empty operation would vacuously be strongly associative, so "rich" was really an exaggeration. That's why you'd always want to assume that there's really something going on. A pretty natural richness condition (which disjoint unions have) is the following.
Given finitely many elements, there's another one that can be multiplied to any of them.
We might not be able to multiply two elements, but at least each element has some of elements it can be multiplied with.
What we're looking at is simply a finite-intersection-property. Namely, the family of sets "can be multiplied with
Technically, we will need to say from where we multiply. I usually prefer "from the right" and write the set as
.
Are you messing with me (again)?
After I have forced this new notion upon you, here's the thing: every partial semigroup can be extended to a semigroup. All you have to do is to add one element, say
What's the point then? Partial semigroups have a huge advantage: they allow us to focus on the part of our algebraic semigroup structure that is important for us. Just like disjoint unions are the important structure for
In the next part I will try to convince you that partial semigroups are indeed a good answer to the question "What kind of of structure is flexible enough to be survive partitioning"?