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).

Prinzip

Kontrolle durch endliche Daten: endliche Erzeugung drückt aus, dass die globale algebraische Struktur aus endlich vielen Erzeugern aufgebaut werden kann, was noethersche Argumente, Induktion nach Erzeugeranzahl und effektive Präsentationen ermöglicht.

Demonstration

Das Z-Modul Z^n ist endlich erzeugt durch die Standardbasis mit n Elementen. Die Polynomalgebra k[x] ist als k-Algebra endlich erzeugt von einem Element x, während das Ideal (x,y) in k[x,y] endlich erzeugt ist durch x und y.

Fehlanwendung

Endliche Erzeugung mit Invarianz unter beliebigem Basiswechsel oder Quotient gleichzusetzen, ohne Voraussetzungen zu prüfen; anzunehmen, endliche Erzeugung impliziere endliche Präsentation oder Freiheit ohne weitere Bedingungen, führt zu Fehlern.

Konsequenz

Endliche Erzeugung bringt Kompaktheitseigenschaften: Untermodule endlich erzeugter Module über noetherschen Ringen sind endlich erzeugt, viele Algorithmen terminieren, und Strukturtheoreme (Hilbert-Basissatz, Krull-Dimension-Argumente) greifen.

Umkehrung

Unendliche Erzeugung bedeutet, dass keine endliche Menge ausreicht; Objekte können unendlich viele Erzeuger brauchen, was zu pathologischen Algorithmen, dem Versagen noetherscher Reduktionen und subtilerem homologischen Verhalten führt.

Abgrenzung

Endliche Erzeugung unterscheidet sich von endlicher Präsentation (die Relationen können unendlich sein) und von endlicher Länge (Kompositionsreihen); die Eigenschaft hängt vom Ring und der Kategorie (Modul vs Algebra) ab und muss kontextuell genau angegeben werden.

Semantische Spannung

Spannung zwischen endlicher Erzeugung und anderen Finitätsbegriffen wie endlicher Präsentation, endlichem Typ und endlicher projektiver Dimension; diese Begriffe fallen nur unter zusätzlichen ringtheoretischen Voraussetzungen zusammen und sind nicht austauschbar.

Synthese

Endliche Erzeugung bedeutet, dass das Objekt von endlich vielen Erzeugern aufgespannt wird: eine grundlegende Finitätsbedingung, die noethersche Techniken und effektive Beschreibungen ermöglicht, die jedoch von stärkeren Finitheitsbedingungen zu unterscheiden ist.