The Open Mapping and Closed Graph Theorem for Embeddable Topological Semigroups

Abstract

Some extensions of the open mapping and closed graph theorem are proved for certain classes of commutative topological semigroups, namely those embeddable as open subsets of topological groups. Preliminary results of independent interest include investigations of properties which “lift” from embeddable semigroups to the groups in which they are embedded, and from semigroup homomorphisms to homomorphisms of the groups.