Definition:Finitely Generated Module

From ProofWiki
Jump to navigation Jump to search

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.


Also see


Sources