# nLab finitely presented module

Contents

### Context

#### Algebra

higher algebra

universal algebra

# Contents

## 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.

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