nLab finitely presented module

Contents

Contents

Definition

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

Last revised on October 2, 2021 at 14:08:50. See the history of this page for a list of all contributions to it.