nLab
finitely generated module

Contents

Definition

Given a (not necessarily unital) ring RR, a left RR-module (N,ν)(N,\nu), is finitely generated if there exist a finite set SNS\subset N such that the canonical morphism from the free module F(S)NF(S) \longrightarrow N is a surjection.

Last revised on November 25, 2013 at 00:17:42. See the history of this page for a list of all contributions to it.