The main goal of this paper is to show that if a group G has a Grobner-Shirshov basis R that satisfies the condition R+, then the semigroup P (with positive rules in R as a defining relation) embeds in this group G. As a ...