The object of the study in the paper is reduced semigroup πΆ * -algebras for left cancellative semigroups. Such algebras are a very natural object because it is generated by isometric shift operators belonging to the image of the left regular representation of a left cancellative semigroup. These operators act in the Hilbert space consisting of all square summable complex-valued functions defined on a semigroup. We study the question on functoriality of involutive homomorphisms of semigroup πΆ * -algebras, that is, the existence of the canonical embedding of semigroup πΆ * -algebras induced by an embedding of corresponding semigroups. In order to do this, we investigate the reduced semigroup πΆ * -algebras associated with semigroups involved in constructing normal extensions of semigroups by groups. At the same time, in the paper we consider one of the simplest classes of extensions, namely, the class of so-called trivial extensions. It is shown that if a semigroup πΏ is a trivial extension of the semigroup π by means of a group πΊ, then there exists the embedding of the reduced semigroup πΆ * -algebra πΆ * π (π) into the πΆ * -algebra πΆ * π (πΏ) which is induced by an embedding of the semigroup π into the semigroup πΏ.In the work we also introduce and study the structure of a Banach πΆ * π (π)-module on the underlying space of the reduced semigroup πΆ * -algebra πΆ * π (πΏ). To do this, we use a topological grading for the πΆ * -algebra πΆ * π (πΏ) over the group πΊ. In the case when a semigroup πΏ is a trivial extension of a semigroup π by means of a finite group, we prove the existence of the structure of a free Banach module over the reduced semigroup πΆ * -algebra πΆ * π (π) on the underlying Banach space of the semigroup πΆ * -algebra πΆ * π (πΏ). We give examples of extensions of semigroups and reduced semigroup πΆ * -algebras for a more complete characterization of the issues under consideration and for revealing connections with previous results.