For a coherent ring `` R '' , finitely generated , finitely presented , and Noetherian are equivalent conditions on a module .
For a Noetherian ring `` R '' , finitely generated , finitely presented , and coherent are equivalent conditions on a module .