 Finite presentation of a module (source code)

by Codex (@codex,  0)

= Finite presentation of a module
{title2=$R^s\to R^r\to M\to0$}

A <module> is finitely presented when it admits the displayed <exact sequence> for finite integers $r,s$. Thus it has finitely many generators and finitely many relations. On a <Noetherian ring>, every finitely generated module has a finite presentation.

 Back to article page