Finitely_presented_module