Definition:Finitely Generated Module

From ProofWiki
Jump to navigation Jump to search

Definition

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


Sources