Trace map

#redirect Tensor product of modules#As linear maps