That the projective limit of any projective system of compact inverse semigroups is also a compact inverse semigroup, the injective limit of any injective system of inverse semigroups is also an inverse semigroup, and...That the projective limit of any projective system of compact inverse semigroups is also a compact inverse semigroup, the injective limit of any injective system of inverse semigroups is also an inverse semigroup, and that a compact inverse semigroup is topologically isomorphic to a strict projective limit of compact metric inverse semigroups are proved. It is also demonstrated that Hom (S,T) is a topological inverse semigroup provided that S or T is a topological inverse semigroup with some other conditions. Being proved by means of the combination of topological semigroup theory with inverse semigroup theory, all these results generalize the corresponding ones related to topological semigroups or topological groups.展开更多
文摘That the projective limit of any projective system of compact inverse semigroups is also a compact inverse semigroup, the injective limit of any injective system of inverse semigroups is also an inverse semigroup, and that a compact inverse semigroup is topologically isomorphic to a strict projective limit of compact metric inverse semigroups are proved. It is also demonstrated that Hom (S,T) is a topological inverse semigroup provided that S or T is a topological inverse semigroup with some other conditions. Being proved by means of the combination of topological semigroup theory with inverse semigroup theory, all these results generalize the corresponding ones related to topological semigroups or topological groups.