Definition 2.1  [1]}
Suppose \(A\in {\mathcal {M}}_{m\times n}\) , \(B\in {\mathcal {M}}_{p\times q}\) , and \(l\)  be the least common multiple of \(n\)  and \(p\) .
The STP of \(A\)  and \(B\)  is defined as
\(A\ltimes B:= \left(A\otimes I_{l/n}\right)\left(B\otimes I_{l/p}\right)\in {\mathcal {M}}_{ml/n\times ql/p},\) 
