Mikołaj Bojańczyk

What is a finite -monoid? A natural definition would be that the universe is finite. However, since the product operation is a function of type , in principle it could be impossible to write down in a finite way. Fortunately, the situation is not so bad, because as Thomas Wilke showed, the product operation is already uniquely determined by a small subset of its arguments. This is analogous to the idea that for finite words, the monoid operation is determined by its identity element and its binary part.

Lemma. An -monoid is uniquely determined by the values of its product operation on arguments of the form Proof. Suppose that we want to determine for some . We want to do this without having full knowledge of , but only knowing that it is a legal product operation, and knowing its values for arguments as given in the statement of the lemma. As in a finite monoid, one observes that the value of the product operation on finite words is uniquely determined by its value on words of length zero and two (for words of length one, the operation must be the identity, by definition of an -monoid).

Therefore, it remains to consider the case when is infinite.  By the Ramsey theorem, there exists a factorisation such that all the words are nonempty, and there is some such that This factorisation, and the value , are all determined by the information that we have about . By associativity, we know that Again by associativity, the above is equal to The value of is determined by the information given in the statement of the lemma, using it we have reduced computing the value of to computing the value of a finite word. 