Endliche Erzeugung

Die Eigenschaft eines Moduls, einer Algebra oder eines Ideals, dass es durch eine endliche Menge von Elementen erzeugt werden kann: es existiert ein endlicher Tupel, dessen R-lineare (oder algebraische) Kombinationen das ganze Objekt erzeugen. Oft kurz 'endlich erzeugt' (fg).