R: 可換環、M, N: R加群
M, Nがそれぞれ{u[1], …, u[m]}, {v[1], …, v[n]}を基底に持つ自由加群ならば
テンソル積M(×)Nは、{(u[i], v[j]) ; 1≦i≦m, 1≦j≦n}を基底に持つ自由R加群であること

という問題が分かりません