A universal semigroup Academic Article uri icon

abstract

  • J.H. Michael recently proved that there exists a metric semigroup U such that every compact metric semigroup with property P is topologically isomorphic to a subsemigroup of U; where a semigroup S has property P if and only if for each x, y in S, xy, there is a z in S such that xsyz or zxzyA stronger result is proved here more simply. It is shown that for any set A of metric semigroups there exists a metric semigroup U such that each S in A is topologically isomorphic to a subsemigroup of U. In particular this is the case when A is the class of all separable metric semigroups, or more particularly the class of all compact metric semigroups.

publication date

  • April 1971