Alternate characterization of rank

Let R be an integral domain and M be a R-module.

  1. Suppose that M has rank n and S={m1,…,mn} is a maximal linearly independent set of elements in M. Let N be the submodule generated by S. Prove that N≃Rn and M/N is a torsion R-module.
  2. Conversely, prove that if M contains a submodule N that is free of rank n such that the quotient M/N is a torsion R-module, then M has rank n.