Groups in26 Jan 2012
Well, if you haven’t read my recent introspection, consider yourself warned: the video below is, in my humble opinion, a rather poor talk I gave at our Logic Seminar here at the University of Michigan.
Nevertheless, I would like to offer a short transcript of the proof involved, just for posterity and to improve the talk.
This is a also my first ever post attempting to get something on researchblogging.org. Namely, the results I was giving the talk about are by Neil Hindman and John Pym, 1984.
It’s a funny thing. Last year, Tim Gowers created quite a discussion about reforming publishing.
What strikes me as odd, though, is the fact that mathematicians are not aware that the tools he described largely exist already, e.g., in form of researchblogging.org (and more recently papercritic.com). So we find ourselves more like that failed Nature experiment nobody of post publication peer review – everybody wants to have it but nobody wants to do it. Oh well, let’s set an example instead?
As far as I know only a few things are known of the groups in .
The most famous result is probably Zelenyuk’s Theorem
Theorem (Zelenyuk, 1997) There are no non-trivial finite groups in . More generally, if is a group without non-trivial finite subgroups, then contains no non-trivial finite subgroups.
This is a somewhat difficult result in the sense that there’s no easy proof written up anywhere and some of the technical details are messy even though they are not complicated (though I can’t imagine how to come up with those).
In any case, Zelenyuk’s result seems to have been the only important results since the paper by Hindman and Pym from 1984.
On the side, a very important open question in extension to Zelenyuk’s Theorem is whether can have any non-idempotent elements of finite-order (I stated this incorrectly at the end of my talk as “non-trivial finite semigroups” – catch me giving an example of a finite semigroup in the middle of the talk where I state that you’ll find lots of idempotents in , say , with – perfect two element semigroup right there. Of course, nobody caught that; it was a bad talk after all).
This open question has funny consequences in Ramsey Theory in the form of a very intuitive partition theorem but it originally showed up in Dona Strauss’s seminal result that continuous homomorphisms from to must have finite image. If such images are always constant, there won’t be a non-trivial finite-rank element that isn’t idempotent (the contraposition is easier: if you find one, map 1 to it and extend homomorphically).
The main theorem
Anyway, let’s turn to the theorem I actually want to give you the proof of here.
Theorem (Hindman, Pym 1984)
If is a minimal idempotent in , then the maximal group of contains the free group on -many generators.
That’s in stark contrast to Zelenyuk’s theorem – we have an incredible amount of groups, as complicated as it gets you might say.
Some thoughts before I go through the proof.
- What is the maximal group? Every idempotent has a maximal group associated with it, i.e., the largest group that contains the idempotent as identity. This is simply the union of all groups containing the idempotent – if you have two groups, then the semigoup generated by their union is again a group, just write down the inverses.
- What is a minimal idemoptent? It’s a special kind of idempotent. There are many ways to characterize minimal idempotents. In this proof, the characterization is used, so let’s stick to that, shall we? Another way is to say “lies in a minimal left ideal” (whatever that is).
- How do we proof that something is a free group on that many generators? Well, we just need to do it for finitely many at a time.
When I looked up this proof in the Hindman&Strauss book I was really surprised how easy it was. I mean, it wasn’t really easy. It was given in greater generality than I will present it here. And it also assumes a lot of things about . But those assumptions are all standard, stuff you would learn in a course on the matter. So really, the proof is not that hard, easily done in an hour (as the video shows, well, sort of shows).
The proof is relatively easy in the sense that we’re simply able to describe the group. The key for proving that it is a free group is to connect it to the most important subsemigroup of called .
But let’s go.
- Let – simply the powers of 2.
- Then , the free ultrafilters on , is a set of cardinality . (this is standard stuff on )
- Then generates a free group!
We’re done. Right? RIGHT? Just kidding, we’ll prove it, too.
But let’s pause for a second. The powers of two crop up frequently and we’ll see again why in a minute. But it is surprisingly simple to describe how we get the result. It’s almost like this is an exercise for students from this point onward. Which shouldn’t detract from the ingenuity of coming up with this simple idea in the first place. Of course, this also makes the result somewhat unsatisfying – you just picked some clever subset of , looked at the free ultrafilters on it and you’re done. Where’s the magic? Where do we go from here? It is so elegant, it is too elegant, it does not offer anything to dig into, expand later, create new results from.
Let’s check first that this makes sense.
- can actually generate a group since is a minimal idempotent, so , the maximal group of . This is the only (but critical) point where we use minimality.
Next, we need to connect to one of the most important structures in this field
- – this is clear since is a semigroup (a standard result), all idempotent ultrafilters lie in (another standard result) and (ok, at least that is easy to check, after all).
I cannot stress how much I think this is important. To be able to connect to is a brilliant idea since many, many results rely on using the (in many ways much simpler) structure of .
- To show that actually generates a free group, we take finitely many elements, say , from and show that generate free group.
Here we run into the usual notational difficulty of free groups – writing different things by the same notation. To avoid confusion with our but to keep similarity, let’s take to denote generators of an actual free group .
- The plan: define a map so that maps to the identity and maps to and somehow this is a homomorphism (at least where it counts).
- Unfortunately, this isn’t quite possible – we need to expand .
- But (another standard fact) we can: choose a compact topological group . We’ll build a map as above into !
Ok, let’s take a step back. What do we want to do? Map to by a map on . Again, comes to the rescue!
It is often useful to consider as an FS-set, namely . This is closely connected to
If we think of as , then it becomes clear how we should start – especially, if we (standard fact, yet again) are aware of the partial semigroup operation on FS-sets “sums with disjoint support”. Anyway, without further ado:
- Pick pairwise disjoint partitioning , i.e.,
- Then define a map as follows.
- Map to if and only if – this is well defined.
- Extend this map to by mapping to – as product in the natural order.
- Extend this map continuously to .
Alright. The extension to finite sums and then to is really totally standard (yes, another standard-fact kind of thing).
But the idea of a disjoint union is so simple and elegant! Why didn’t you think of this yourself? (Well, in my case, I was 5 at the time this was published, so I guess I’m somewhat excused).
- By another standard fact, extensions in this manner are homomorphic when restricted to – this is a general thing about so-called partial semigroups.
- However, then , so it must be mapped to the identity of , i.e., of .
- And it’s a homomorphism.
- So we’re done!!!
Well, you say, that was easy.
Ok, maybe you won’t say that, but trust me, it is. Take your time and go through it again and ask a question in the comments. All we did was look at the set of powers of 2 and used it to generate our generators. Then we used the connection to to define a homomorphism to the free group in a straight forward fashion. That’s two steps, plus arguably a lot of standard knowledge.
Of course, I must admit that I don’t fully know how standard that knowledge was in 1984. For one thing, partial semigroups were not yet named as such (that would take another 8 years). I don’t know if this was the first occurrence of such partial semigroups extensions from to . But for us in the here and now, this powerful and strange theorem should not be considered hard anymore.
Despite my poor talk.
Hindman, N., & Pym, J. (1984). Free groups and semigroups in βN Semigroup Forum, 30 (1), 177-193 DOI: 10.1007/BF02573448