nLab finitely presented module

Definition

Given a (not necessarily commutative) unital ring $R$, an $R$-module is finitely presented (or of finite presentation) if there exists an exact sequence $R^q\to R^p\to M\to 0$ where $p,q$ are natural numbers.

Related concepts

• finitely presented object

• finitely generated module

• coherent module

• dualizable module