Let be a ring. Let be a finite family of left -modules, and for each let be an -submodule. Prove that .
In this previous exercise, we showed that the mapping given by is a well-defined group homomorphism. It suffices to show that preserves scalar multiplication. To that end, let . Then as desired.