Finitely generated module

This article defines a property of a module over a commutative unital ring

Definition

Symbol-free definition

A module over a commutative unital ring is termed finitely generated if, as a module, it has a finite generating set.

Relation with other properties

Stronger properties

• Noetherian module
• Finitely presented module