Property: coherent

Definition: $M_R$ is finitely generated and its finitely generated submodules are finitely presented.

Reference(s):

(No citations retrieved.)

Metaproperties:

(No metaproperty information retrieved.)