Let be a ring with 1 and let be a left -module. Let be a family of left -submodules of with . Prove that is a submodule of .
We use the submodule criterion.
Note that for all , . Because , we have . Now suppose and . Since each is a submodule, we have for all , and thus .
So is a submodule.