{"id":327,"date":"2015-06-09T17:07:38","date_gmt":"2015-06-09T15:07:38","guid":{"rendered":"http:\/\/duch.mimuw.edu.pl\/~bojan\/podpunkt\/?page_id=327"},"modified":"2017-10-31T13:03:27","modified_gmt":"2017-10-31T12:03:27","slug":"10-countable-well-founded-chains","status":"publish","type":"page","link":"https:\/\/www.mimuw.edu.pl\/~bojan\/20142015-2\/alg\/10-countable-well-founded-chains","title":{"rendered":"9. Countable scattered chains"},"content":{"rendered":"

Chains and total orders.\u00a0<\/strong>A\u00a0total order\u00a0<\/em>is a set \"X\" together with an ordering \"\le\" which is total (also known as linear) in the sense that every two elements are comparable. Define a\u00a0chain\u00a0<\/em>over an alphabet \"\Sigma\" to be a nonempty totally ordered set with a labelling of its elements by \"\Sigma\". We consider chains up to isomorphism, i.e. we identify two chains if there is a bijection between their positions that preserves the order and labelling. We write \"\cmonad \Sigma\" for the (class)\u00a0of all chains over the alphabet \"\Sigma\".<\/p>\n

There is a natural monad structure on chains. If \"f : \Sigma \to \Gamma\" is a function on alphabets, then its lifting to chains \u00a0<\/p>\n

  <\/span>   <\/span>\"\[\cmonad f : \cmonad \Sigma \to \cmonad \Gamma\]\"<\/p>\n

is defined coordinate-wise in the obvious way, by keeping positions unchanged and applying \"f\" only to the labels. The unit operation <\/p>\n

  <\/span>   <\/span>\"\[\unit : \Sigma \to \cmonad \Sigma\]\"<\/p>\n

sends \u00a0a label to the one-element chain with this label, and the flattening operation <\/p>\n

  <\/span>   <\/span>\"\[\flatt \Sigma : \cmonad\ \cmonad\ \Sigma \to \cmonad\ \Sigma\]\"<\/p>\n

defined in the natural way. The formal definition of flattening involves lexicographic product of orderings. One can check that all axioms of a monad are satisfied.<\/p>\n

There are two problems with the chain monad defined above.\u00a0The first problem is that \"\cmonad \Sigma\" is not a set, but a class.\u00a0The second problem is that the algebras for this monad can be very complicated. A corollary of a result of Shelah is that there are algebras with finite universes over this monad where it is undecidable if an element is generated by a set of other elements. (A precise formulation of this result would require some space, not to mention the proof, and is omitted.)\u00a0For these vaguely sketched reasons, we will concentrate on submonads of the chain monads, where not all chains are used. We will consider the following special cases, all of which are countable chains:\u00a0finite chains,\u00a0countable chains that are well-founded,\u00a0countable chains that are scattered, and finally all countable chains.<\/p>\n

The case of finite chains is the case of semigroups. The remaining cases are studied in the following lectures. We begin with scattered countable chains, and their special case of well-founded countable chains.<\/p>\n

\n

 <\/p>\n

Scattered chains.<\/strong><\/p>\n

Call a chain scattered\u00a0<\/em>if one cannot remove positions and end up with a chain indexed by the rational numbers. For example, any chain indexed by the integers is scattered.\u00a0The following lemma, whose straightforward proof is omitted, says that\u00a0scattered\u00a0chains (also, countable chains and well-founded chains) are closed under the flattening operation as defined for the monad of chains.<\/p>\n

Lemma.\u00a0<\/strong>If \"w \in \cmonad \cmonad \Sigma\" \u00a0is scattered, and every position of \"w\" is labelled by a\u00a0scattered\u00a0chain, then also the flattening of \"w\" is\u00a0scattered. Same for countable and well-founded chains.<\/p>\n

A corollary of the above lemma is that if we define\u00a0\"\scat \Sigma\" to be the restriction of the chain monad \"\cmonad \Sigma\" to scattered countable chains, with the unit and flattening restricted to the smaller domain\u00a0of scattered countable chains, then it is also a monad. In this sense, \"\scat\" is a s<\/i>ubmonad\u00a0<\/em>of \"\cmonad\".<\/p>\n

Theorem.\u00a0<\/strong>A \"\scat\"-algebra \"\alg\" with finite universe \"A\" is uniquely determined by the values of its multiplication operation on structures of the form <\/p>\n

  <\/span>   <\/span>\"\[ab, a^\omega, a^{-\omega} \in \scat A \qquad \mbox{with $a,b \in A$}\]\"<\/p>\n

Proof.\u00a0<\/strong>In the proof of this theorem, we pay pedantic attention to the distinction between a chain of chains and its flattening. In later proofs, we will not be so precise.\u00a0If \"u_1,\ldots,u_n\" are chains in \"\scat A\", then we write \"u_1 \cdots u_n\" for the chain of chains which has \"n\" positions, where the \"i\"-th position is labelled by \"u_i\". To get the actual concatenation of these chains, we need to apply the flattening operation. Likewise, we write \"u_1 u_2 \cdots\" for an \"\omega\"-chain of chains.<\/p>\n

The key lemma is Hausdorff’s theorem<\/a>, which characterizes countable scattered chains as those that can be constructed from singleton chains using concatenation indexed by the two-element chain, \"\omega\" or the reverse of \"\omega\". The theorem says that for\u00a0every set of labels \"\Sigma\", one can assign ordinal numbers (call them Hausdorff<\/em>\u00a0ranks<\/em>) to\u00a0\"\scat \Sigma\", such that for every chain\u00a0\"w \in \scat \Sigma\" with at least two positions there exists\u00a0a decomposition of at least one of three types listed below: <\/p>\n

(1) <\/span>   <\/span>\"\begin{eqnarray*} w &=& \flatt A(w_1 w_2) \\ w &=& \flatt A(w_1 w_2 \cdots) \\ w &=& \flatt A(\cdots w_2 w_1) \end{eqnarray*}\"<\/p>\n

such that the chains \"w_i\" on the right side have strictly smaller rank than \"w\".<\/p>\n

We now proceed with the proof of the theorem. Let \"A\" be a finite set. We need to show that if we have two Eilenberg-Moore algebras with this universe, which have multiplication operations\u00a0<\/p>\n

  <\/span>   <\/span>\"\[\mult 1, \mult 2 : \scat A \to A\]\"<\/p>\n

that agree on the structures mentioned in the statement of the theorem, then the two multiplication operations\u00a0are the same.<\/p>\n

When \"w\" is a chain of size one, then both \"\mult 1 (w)\" and \"\mult 2 (w)\" need to be the label used in the chain, by the axiom of Eilenberg-Moore algebras which says that multiplication composed with the unit must be the identity.<\/p>\n

Suppose now that \"w \in \scat A\" is a chain of size at least two. We will prove that <\/p>\n

  <\/span>   <\/span>\"\[\mult 1 (w) = \mult 2 (w)\]\"<\/p>\n

by\u00a0induction on the Hausdorff rank of \"w\".<\/p>\n

Let us first consider the case when \"w\" admits a decomposition <\/p>\n

  <\/span>   <\/span>\"\[w =\flatt A(w_1 w_2)\]\"<\/p>\n

In this case we simply apply induction and use the assumption that the multiplication operations agree on chains of length two:\u00a0<\/p>\n

  <\/span>   <\/span>\"\begin{eqnarray*} \mult 1 (w) &=& \\ \mult 1 (\flatt A (w_1 w_2)) & = & \mbox{by associativity} \\ \mult 1 (\mult 1 (w_1) \mult 2(w_2)) &= & \mbox{by induction assumption} \\ \mult 1 (\mult 2 (w_1) \mult 2 (w_2)) &=& \mbox{because $\mult 1$ and $\mult 2$ agree on chains of length two} \\ \mult 2 (\mult 2(w_1) \mult 2 (w_2) & = & \\ \mult 2 (w) \end{eqnarray}\"<\/p>\n

Consider now the case when \"w\" admits a decomposition\u00a0<\/p>\n

  <\/span>   <\/span>\"\[w =\flatt A(w_1 w_2 \cdots)\]\"<\/p>\n

Here we apply the Ramsey theorem.\u00a0For numbers \"i < j\", \u00a0define <\/p>\n

  <\/span>   <\/span>\"\[w_{ij} = w_i w_{i+1} \cdots w_{j-1} \in \scat \scat A\]\"<\/p>\n

By induction assumption, and using the same argument as in the previous paragraph, we see that <\/p>\n

  <\/span>   <\/span>\"\[\mult 1 (w_{ij}) = \mult 2 (w_{ij}) \qquad \mbox{for every $i < j$}.\]\"<\/p>\n

Let us write \"a_{ij} \in A\" for the element described by both sides of the above equality. By the Ramsey theorem, there is some infinite set of natural numbers \"I\" such that all \"a_{ij}\" with \"i<j \in I\" are the same element, call it \"a \in A\". Using associativity, we see that \u00a0<\/p>\n

  <\/span>   <\/span>\"\[\mult 1 (w) = \mult 1 (a_{1 i_1} a_{i_1 a_2} a_{i_2 i_3} \cdots ) = \mult 1 (a_{1 i_1} \mult 1(a^\omega))\]\"<\/p>\n

Since the right side only depends on arguments where \"\mult 1\" and \"\mult 2\" are known to agree, the result follows.<\/p>\n

The same proof as in the previous paragraph is used for the last kind of decomposition, indexed by reverse \"\omega\". \"\Box\"<\/p>\n

 <\/p>\n

\n

 <\/p>\n

Well-founded chains.<\/strong>\u00a0Call a chain\u00a0well-founded\u00a0<\/em>if its set of positions is well founded. This is a special case of a scattered chain. As for scattered countable chains, countable well-founed chains form a monad, call it \"\cwf\".<\/p>\n

Theorem.\u00a0<\/strong>A \"\cwf\"-algebra \"\alg\" is uniquely determined by the values of its multiplication operation on structures of the form <\/p>\n

  <\/span>   <\/span>\"\[ab, a^\omega \in \cwf A \qquad \mbox{with $a,b \in A$}\]\"<\/p>\n

Proof.\u00a0<\/strong>The same proof as for the monad \"\scat\". When applying the Hausdorff theorem, we can never get a decomposition indexed by reverse \"\omega\", since this would contradict well-foundedness. \"\Box\"<\/p>\n","protected":false},"excerpt":{"rendered":"

Chains and total orders.\u00a0A\u00a0total order\u00a0is a set together with an ordering which is total (also known as linear) in the sense that every two elements are comparable. Define a\u00a0chain\u00a0over an alphabet to be a nonempty totally ordered set with a labelling of its elements by . We consider chains up to isomorphism, i.e. we identify […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":42,"menu_order":1,"comment_status":"open","ping_status":"closed","template":"","meta":{"_acf_changed":false,"inline_featured_image":false,"footnotes":""},"class_list":["post-327","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/pages\/327"}],"collection":[{"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/comments?post=327"}],"version-history":[{"count":15,"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/pages\/327\/revisions"}],"predecessor-version":[{"id":1408,"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/pages\/327\/revisions\/1408"}],"up":[{"embeddable":true,"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/pages\/42"}],"wp:attachment":[{"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/media?parent=327"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}