Homomorphisms of extensions of a semigroup within a variety

LetV be a semigroup variety containing all commutative semigroups such that the law of exponents (xy) ⁿ =xⁿyⁿ fails inV for everyn > 1. For every semigroupS V such that the reflection of the semigroup obtained fromS by an adding unity has only one idempotent there exists a semigroupT V extendingS without non-trivial endomorphisms. In more general, the full subcategory ofV formed by all extensions ofS withinV is universal.Presented by B. M. Schein.