A tensor product of representations of UHF algebras arising from Kronecker products

We introduce a non-symmetric tensor product of representations of UHF algebras by using Kronecker products of matrices. We prove tensor product formulae of GNS representations by product states and show examples.