Some Remarks on Mapping from Semigroup onto Anti-ordered Group
Daniel A. Romano · 2010
In this article we investigate the subset H = {x ∈ S: (ϕ(x),1) ∈ β} of semigroup S with apartness, the pre-image of the negative cone of anti-ordered group G by a homomorphism ϕ from semigroup S onto groups G. This subset is a reflexive completely prime order anti-ideal of S.