逆半群上S-系的内射壳

Injective hulls of S-systems over an inverse semigroup

认为S的每个元素都诱导了S-系上的一个一元运算,因此S-系是有限代数,泛代数中的所有概念都是适用的.定义了S-系的可半格化子集和S-系的子集的面,构建了逆半群上的S-系的内射壳.推广了有关文献中的结果.

Think of each element of S as inducing a unary operation on a S-system, then the S-system is a finitary algebra and all the notions of universal algebra are available. We define the semilatticible subset of a S-system and the face of a subset of a S-system, the injective hulls of S-systems over an inverse semigroup are constructed, The result of concerned literatures is generalized.