Linearly Ordered Topological Spaces that are Cancellative Topological Semi-Groups
by
R.W. Heath
University of Pittsburgh

A topological semi-group is a topological space with a continuous associative binary operation. A semi-group is cancellative if ab = ac, ca = ba and b = c are equivalent for all a, b and c.

We report some results concerning cancellative topological semi-groups that are linearly ordered topological spaces, from many sources, especially many recent results of Ron Barnhart. And in particular, we give a new, much easier, proof that all connected cancellative topological semi-groups that are linearly ordered topological spaces can be embedded in R.

Date received: April 12, 1996

Copyright © 1996 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # caae-31.