Hostname: page-component-78c5997874-m6dg7 Total loading time: 0 Render date: 2024-11-16T16:57:45.195Z Has data issue: false hasContentIssue false

A universal semigroup

Published online by Cambridge University Press:  17 April 2009

Sidney A. Morris
Affiliation:
University of Florida, Gainesville, Florida, USA
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

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 zxzy

A 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.

Type
Research Article
Copyright
Copyright © Australian Mathematical Society 1971

References

[1]Clifford, A.H. and Preston, G.B., The algebraic theory of semigroups, Vol. II (Math. Surveys 7 (II), Amer. Math. Soc., Providence, Rhode Island, 1967).Google Scholar
[2]Kelley, John L.. General topology (Van Nostrand, Toronto, New York, London, 1955).Google Scholar
[3]Michael, J.H., “A universal semigroup”, J. Austral. Math. Soc. 11 (1970), 216220.CrossRefGoogle Scholar