A combinatorial fact about free algebras (Q790862)

It is shown that every large subset of a free algebra A in a variety contains a large subset X which is homogeneous in a strong sense (i.e. every mapping \(f:X\to X\) extends to an endomorphism \(f^*:A\to A\) in a functorial way - \((fg)^*=f^*g^*\) and \(1_ X=1_ A).\) Consequences of this theorem are derived; e.g.: No free lattice with 0, lattice- ordered group, lattice-ordered ring etc, contains an uncountable set of pairwise disjoint elements.