Department of Mathematics
Server

A module \(M\) is finitely presented if it is freely generated by finitely many generators subject to finitely many relations (in the language of \(R\)-modules0.

In this short overview talk I will state a few of the basic facts about finitely presented modules and the role that they play in module theory. Then I will return to the themes of my talk last fall, and show how finitely generated modules give "generic" or "free" solutions to finite systems of linear equations and to positive primitive formulas.