Génération Finie

Propriété d'un module, d'une algèbre ou d'un idéal consistant à pouvoir être engendré par un ensemble fini d'éléments : il existe un tuple fini dont les combinaisons R-linéaires (ou algébriques) engendrent l'objet entier. Souvent abrégé 'de type fini'.