Получается, что на модули можно вообще забить, определить тензорное произведение для абелевых групп, построить базовые изоморфизмы, и только потом вводить тензорное произведение модулей как фактор тензорного произведения абелевых групп.