Finitely generated module