In this paper, a special kind of partial algebras called projective partial groupoids is defined. It is proved that the inverse image of all projections of a fundamental weak regular *-semigroup under the homomorphism...In this paper, a special kind of partial algebras called projective partial groupoids is defined. It is proved that the inverse image of all projections of a fundamental weak regular *-semigroup under the homomorphism induced by the maximum idempotent-separating congruence of a weak regular *-semigroup has a projective partial groupoid structure. Moreover, a weak regular *-product which connects a fundamental weak regular *-semigroup with corresponding projective partial groupoid is defined and characterized. It is finally proved that every weak regular *-product is in fact a weak regular *-semigroup and any weak regular *-semigroup is constructed in this way.展开更多
基金Subject supported by NNSF of China (60002007)NSF of Guangdong China (011438)
文摘In this paper, a special kind of partial algebras called projective partial groupoids is defined. It is proved that the inverse image of all projections of a fundamental weak regular *-semigroup under the homomorphism induced by the maximum idempotent-separating congruence of a weak regular *-semigroup has a projective partial groupoid structure. Moreover, a weak regular *-product which connects a fundamental weak regular *-semigroup with corresponding projective partial groupoid is defined and characterized. It is finally proved that every weak regular *-product is in fact a weak regular *-semigroup and any weak regular *-semigroup is constructed in this way.
