Locally Generated Semigroups.

For a topological semigroup S, Lawson constructed a semigroup $\Gamma(S)$ with the property that any local homomorphism defined in a neighborhood of the identity of S to a topological semigroup T extends uniquely to a global homomorphism defined on $\Gamma(S).$ In this work we obtain conditions on S to topologize the semigroup $\Gamma(S)$ via an uniformity such that the extended homomorphism is continuous and such that $\Gamma(S)$ is a topological semigroup. We also investigate a different approach of the problem via the relatively free semigroup RF(U) where U is a suitable neighborhood of the identity of S and show that RF(U) is isomorphic to $\Gamma(S).$.