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.

Revised on November 25, 2013 00:17:42 by Urs Schreiber (89.204.137.196)