Definition:Finitely Generated Module

From ProofWiki
Jump to navigation Jump to search


Let $R$ be a ring.

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

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

Also known as

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

Also see