# Definition:Finitely Generated Module

## Definition

Let $R$ be a ring.

Let $G$ be a module over $R$.

Then $G$ is finitely generated if and only if there is a generator for $G$ which is finite.

## Also known as

A finitely generated module is also known as a module of finite type.