Property: finitely generated

Definition: The module has a finite generating set

Reference(s):

(No citations retrieved.)

Metaproperties:

(No metaproperty information retrieved.)