Every finite semigroup is embeddable in a finite relatively free semigroup

The title result is proved by a Murskii-type embedding.Results on some related questions are also obtained. For instance, it is shown that every finitely generated semigroup satisfying an identity ξ^d=ξ^2d is embeddable in a relatively free semigroup satisfying such an identity, generally with a larger d; but that an uncountable semigroup may satisfy such an identity without being embeddable in any relatively free semigroup.It follows from known results that every finite group is embeddable in a finite relatively free group. It is deduced from this and the proof of the title result that a finite monoid S is embeddable by a monoid homomorphism in a finite (or arbitrary) relatively free monoid if and only if its group of invertible elements is either {e} or all of S.