Published online by Cambridge University Press: 20 January 2009
If we consider a semigroup, its algebraic structure may be such that it is isomorphic to a subsemigroup of a group, or is algebraically embeddable in a group. This problem was investigated in 1931 by Ore who obtained in (4) a set of necessary conditions for this embedding. A necessary condition is that the semigroup should be cancellative: for any a, x, y in the semigroup either xa = ya or ax = ay implies that x = y. Malcev in (3) showed that this was not sufficient. It is enough to note that his example was a non-commutative semigroup: a commutative cancellative semigroup is embeddable algebraically in a group.