Field With One Element

Lieven LeBruyn has a series of posts about the “field with one element”, here, here, and here. The field with one element does not exist, of course, but Tits pointed out a long time ago that you can think of the symmetric groups as Lie groups over a field with one element. I thought that there was all there was to the idea, but apparently there’s much more you can do with the idea.