Exercise 6, § 5

With the rings A and B defined as in § 1, Exercise 7, let M be an A-module; show that for M to be finitely generated (resp. free, projective), it is necessary and sufficient that $M \otimes_A B$ be finitely generated (resp. free, projective).