module tensor product