Motivated by papers of H.
Fitting, the problem arises whether there exists a ring which contains a given ring
and a semigroup acting on each other. This problem is solved in the affirmative by
the construction of a “universal envelopment”. Furthermore, the situation investigated
gives rise to a generalized wreath product which is used for a description of certain
automorphism groups.