Exercise 10, § 5

Let M be an A-module. Prove that the following properties are equivalent:

(i) The A-module M is finitely generated.

(ii) For every generating A-module P, there exist a natural number $n$ and a surjective homomorphism $f$ from $P^n$ to M.