The Embedding of an Ordered Semigroup in an Ordered group via the Quotient Condition
A construction is given, in a variety of groups, of a ``functorial center'' called the endocenter. The endocenter facilitates the identification of universal multiplication groups of groups in the variety, addressing the problem of determining when combinatorial multiplication groups are universal.