finitely presented

finitely presented (not comparable)

1. (algebra, of a module ${\displaystyle M}$ over a ring ${\displaystyle R}$) Isomorphic to the kernel of a morphism of free modules; such that there exists an exact sequence ${\displaystyle R^{m}\to R^{n}\to M\to 0}$ for some integers ${\displaystyle m,n}$.