×

Topologically complete representations of inverse semigroups. (English) Zbl 1016.20049

A representation of an inverse semigroup by means of partial open homeomorphisms of a topological \(T_0\)-space \(X\) is called topologically complete if the domains of these partial homeomophisms form a base of the topology of \(X\).
The author gives a method for constructing topologically complete representations by means of special ternary relations. This method makes it possible to obtain a pseudo-elementary axiomatization in \(T_1\), \(T_2\), and \(T_3\)-spaces. Also, the author proves that any antigroup has a natural topological structure \(\tau\) such that all of its faithful topologically complete representations are continuous, and \(\tau\) is the minimal topology with this property.

MSC:

20M30 Representation of semigroups; actions of semigroups on sets
20M18 Inverse semigroups
20M20 Semigroups of transformations, relations, partitions, etc.
54H10 Topological representations of algebraic systems
54H15 Transformation groups and semigroups (topological aspects)
22A15 Structure of topological semigroups
Full Text: DOI