MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I rephrase my last question. Given a locally finite countable connected (as a graph) poset which satisfies the following further condition: the intersection of any antichain with the set of elements preceding (or succeding) any element is a finite set.

  1. Is the automorphism group of this poset countable or uncountable?

  2. If the group is uncountable, is there a suitable topology AND a measure on the group? Thank you

share|cite|improve this question
Re 2: If $M$ is an arbitrary countable structure (in the model-theoretic sense, i.e., a set equipped with a bunch of finitary operations and relations), then $\mathrm{Aut}(M)$ carries a canonical topology making it a Polish group, namely the one inherited from the inclusion of $\mathrm{Aut}(M)$ in the product space $M^M$, where $M$ is given the discrete topology. – Emil Jeřábek Sep 19 '11 at 16:47
Emil:thanks for the information, I assume this is not locally compact? – user16974 Sep 19 '11 at 16:57
(I guess you are asking because of the Haar measure.) For general structures, no. It is compact if and only if every $a\in M$ has a finite orbit, which I think implies that it is locally compact if and only if there exists a finite subset $X\subseteq M$ such that every $a\in M$ has a finite orbit under the subgroup of those automorphisms of $M$ that fix $X$ pointwise. I don’t know whether this holds in your situation; in Joel’s example below, the group is compact, but I suspect this may not hold for other posets. – Emil Jeřábek Sep 19 '11 at 17:16
up vote 1 down vote accepted

For question 1, the automorphism group needn't be countable. To see this, consider the poset consisting of infinitely many diamonds stacked on top of one another.


    / \
   *   *
    \ /
    / \
   *   *
    \ /
    / \
   *   *
    \ /

This is locally finite, countable and connected in the sense you have requested. Your additional property is satisfied because every antichain (in the sense of pairwise incomparable elements) has size at most two. The automorphism group is uncountable, however, because we can swap the two intermediate points of any diamond independently, and so any infinite binary sequence determines a distinct manner of performing these swaps.

There is a natural topology on the automorphism group here, as in your other question, whose basic open sets are determined by a finite piece of the automorphism. Indeed, the group is essentially the same as Cantor space $2^{\mathbb{N}}$, since there is a one-to-one correspondence between the binary sequences and the automorphisms, just by considering the diamonds in which the swap is made or not. This space has a natural probability measure, treating the swaps as coin flips. Thus, the collection of automorphisms that make $n$ many prescribed swaps or non-swaps has measure $2^{-n}$. This measure interacts well with the topology, because they are both the standard concepts on Cantor space.

Finally, to address Gerhard's idea of building a poset satisfying the properties but having a countably infinite automorphism group, while having diamonds, let us simply join the diamonds horizontally:

         *   *   *   *
        / \ / \ / \ / \  
 ...  -2  -1   0   1   2  ...
        \ / \ / \ / \ /
         *   *   *   *

This poset is locally finite, countable and connected, and it exhibits the extra property because every point has only finitely many successors and predecessors. Meanwhile, the automorphism group is countably infinite because it is precisely the infinite dihedral group: we have exactly the horizontal translations and reflections. (And to satisfy Gerhard, we have many diamonds!)

share|cite|improve this answer
I guess I will have to take a typing to class to match your speed, Joel. One can add other elements and features to make a poset with a countably infinite automorphism group, but such constructions are a little more intricate; until more motivation is provided, I do not see the need for providing such. Gerhard "Ask Me About System Design" Paseman, 2011.09.19 – Gerhard Paseman Sep 19 '11 at 16:57
Gerhard, was this the poset to which you had alluded to in the other post? – Joel David Hamkins Sep 19 '11 at 16:58
I had in mind a minor variation of your example, but with essentially the same characteristics, and I used the word diamond in the answer I was typing to this question. Also, I stand by my existence claim of posets wanted by the user that have countably infinite automorphism group, but they seem to be Z or minor variations thereupon. I hope to come up with one that also includes a diamond, but that is more of a challenge. Perhaps you recall an example that includes a diamond with |Aut(P)|= omega ? Gerhard "Needs Coffee To Get Fancy" Paseman, 2011.09.19 – Gerhard Paseman Sep 19 '11 at 17:33
Joel: do you mind keeping in touch for the question of measure? – user16974 Sep 19 '11 at 17:42
Ali, there is a nice probability measure on the poset of my answer, if you think of each swap as a coin flip. Gerhard, I added an example with many diamonds, whose automorphism group is countably infinite. – Joel David Hamkins Sep 19 '11 at 18:16

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.