In this article we define the tensor product of partial acts over a semigroup and prove several properties product. We also notion polite biact, which is needed to actions on acts. Finally, that certain functor left adjoint hom-functor

In this paper, we study trellis properties of the tensor product (product code) of two linear codes, and prove that the tensor product of the lexicographically first bases for two linear codes in minimal span form is exactly the lexicographically first basis for their product code in minimal span form, also the tensor products of characteristic generators of two linear codes are the characteris...