Petter Andreas Bergh, David A. Jorgensen, Peder Thompson
We characterize all first cosyzygy modules of a given finitely generated module over a local ring. We do this by introducing the notion of a canonical cosyzygy module, and showing how other cosyzygy modules can be obtained from this module. As an application, we characterize Gorenstein rings via properties of canonical first cosyzygy modules.