有限生成自由加群なら双対のテンソル積とテンソル積の双対は同型。
n1m1 と n2m2 が双対のテンソル積から来ていれば加群なので、その
和も当然双対のテンソル積から来る。有限生成でない場合は成り立たない。
雪江明彦「代数学３代数学のひろがり」の４章の演習問題に反例が
ある。巻末もヒントも一緒に読めばわかるはず。このシリーズは３巻
まで読んだが、こういったことの反例とか、演習問題のレベルは高い。