Module

Finitely generated module

An -module is said to be finitely generated iff it has a finite spanning set #m/def/module so that

Thus a vector space is finitely generate iff it is finite dimensional, however the situation is more complicated over a general ring.

Properties

1. Let , . If and are finitely generated, then so too is .

Other results

• Finitely generated module over a module-finite -monoid
• Finitely generated modules over a noetherian ring are noetherian (^P2)

#state/develop #lang/en | #SemBr