Let be an integral domain, an -module and a submodule of . Prove that the rank of is the sum of the ranks of and .
(You may assume has finite rank.)
Hints
Let be a maximal -linearly independent set in and be a maximal -linearly independent set in . Show that the set is an -linearly independent set in . Then use an alternate characterization of rank.