Finite Presentation

- Pure Mathematics -
Algebra Dictionary
A property of a module or algebra meaning it admits a description by finitely many generators and finitely many relations; equivalently there exists an exact sequence R^m → R^n → M → 0 with m,n finite.