There is no domain representable dense proper subsemigroup of a topological group (Q729834)

Domain-representable spaces are spaces that can be represented as the space of maximal elements of some continuous directed-complete partial order (= domain) with the Scott topology. This notion, borrowed from theoretical computer science, is a very strong completeness property. For example, subcompactness implies domain representability, and domain representability implies strong Choquet completeness. It is known that topological groups related to metrizable groups or function spaces usually do not contain proper dense domain representable subgroups. In this interesting paper, the authors present several definitive results in this area. They show for example that all domain representable subgroups of topological groups are closed. Hence no topological group contains a dense proper domain representable subgroup. In fact, the authors prove a more general result stated in terms of subsemigroups. Several open problems are posed.