Measurable Refinement Monoids and Applications to Distributive Semilattices, Heyting Algebras, and Stone Spaces.
Let be an uncountable regular cardinal and a topological group. We prove the following statements: (1) If is homeomorphic to a closed subspace of , is Abelian, and the order of every non-neutral element of is greater than then embeds in as a closed subspace. (2) If is Abelian, algebraically generated by , and the order of every element does not exceed then is not embeddable in . (3) There exists an Abelian topological group such that is homeomorphic to a closed subspace...