finitely generated projective module