Pseudometrics on Ext-Semigroups

This paper considers certain pseudometric structures on Ext-semigroups and gives a unified characterization of several topologies on Ext-semigroups. It is demonstrated that these Ext-semigroups are complete topological semigroups. To this end, it is proved that a metric induces a pseudometric on a quotient space with respect to an equivalence relation if it has certain invariance. We give some properties of this pseudometric space and prove that the topology induced by the pseudometric coincides with the one induced by the quotient map.