Ein Wachstumsinvariant einer endlich erzeugten Algebra A über einem Körper, das die asymptotische Wachstumsrate der Dimensionen der Potenzen eines endlichdimensionalen erzeugenden Unterraums V misst; typischerweise definiert durch GKdim(A)=limsup_{n→∞} log(dim V^n)/log n.

Prinzip

Die GK-Dimension klassifiziert Algebren nach polynomiellen vs. exponentiellen Wachstumsraten der linearen Hüllen unter Multiplikation; sie ist bis auf Wahl des endlichdimensionalen Erzeugersubraums als Invariant wohl definiert.

Demonstration

Für die Polynomalgebra k[x1,...,xd] gilt GKdim = d, da die Dimensionen der Polynome von Grad ≤ n wie n^d wachsen; die freie Algebra in zwei Erzeugern hat exponentielles Wachstum und GKdim = ∞; die universelle Hüllalgebra einer endlichdimensionalen Lie-Algebra hat eine endliche, vorhersagbare GK-Dimension.

Fehlanwendung

Die GK-Dimension mit der Krull-Dimension zu verwechseln oder GKdim ohne Finitheitsvoraussetzungen (z. B. für nicht endliche erzeugte Algebren) anzuwenden, führt zu sinnlosen Behauptungen; anzunehmen, GKdim endlich bedeute Kommutativität, ist falsch.

Konsequenz

GK-Dimension schränkt Darstellungstheorie und ringtheoretisches Verhalten ein: endliche GKdim liefert häufig Kontrolle über Modulwachstum, mögliche Verbindungen zu PI-Eigenschaften und beeinflusst homologische sowie kategoriale Finitheitseigenschaften.

Umkehrung

Eine Algebra mit unendlicher GK-Dimension zeigt exponentielles Wachstum; im Gegensatz dazu sind Algebren mit GKdim null endlichdimensional, und ganzzahlige Zwischenwerte spiegeln polynomiales Wachstum wider.

Abgrenzung

Hauptsächlich definiert für endliche erzeugte Algebren (oder gefilterte Algebren mit endlichdimensionalen Filtrationsstücken) über einem Körper; abhängig vom Grundkörper, aber invariant unter endlichen Körpererweiterungen; sie ersetzt nicht Krull- oder homologische Dimensionen.

Semantische Spannung

GK-Dimension vs Krull- oder homologische Dimension: GKdim ist ein asymptotisches Wachstumsinvariant der Vektorraumgröße, während Krull- und homologische Dimensionen Kettenlängen bzw. projektive Dimensionen messen; in nichtkommutativen Fällen weichen sie oft stark ab.

Synthese

Die Gelfand–Kirillov-Dimension quantifiziert den asymptotischen polynomiellen Wachstumsgrad der graduellen/gefilterten Teile einer Algebra, trennt polynomiales von exponentiellem Wachstum und liefert Informationen für Struktur- und Darstellungstheorie.