Eine Algebra, die als direkte Summe homogener Komponenten A = ⊕_{d∈D} A_d nach Graden (oft D = nichtnegative ganze Zahlen oder Z) zerlegt ist, sodass das Produkt A_i × A_j in A_{i+j} abbildet; Elemente sind Summen homogener Teile.

Prinzip

Die Graduierung ordnet Elemente nach Grad und macht Grad-Additivität zur leitenden Multiplikationsregel; sie erlaubt gradierte homologische Konstruktionen, gradierte Module und Filtrierungen aus Abschneidungen.

Demonstration

Der Polynomring K[x] ist nach dem Grad graduierbar, wobei K[x]_d der Raum homogener Polynome vom Grad d ist. Die äußere Algebra ∧V ist graduert, und die Multiplikation erhöht den Grad entsprechend.

Fehlanwendung

Eine Graduierung mit einer Filtrierung zu verwechseln oder anzunehmen, jede direkte Zerlegung sei multiplikativ, führt zu Fehlern; ein weiterer Missbrauch ist das Ignorieren von Konvergenzfragen bei unendlich vielen Graden.

Konsequenz

Eine Graduierung liefert gradierte Module, gradierte Homomorphismen, Spektralfolgenargumente und vereinfacht oft Rechnungen durch Grad-für-Grad-Arbeit; Invarianten wie die Hilbert-Reihe kodieren graduelle Dimensionsdaten.

Umkehrung

Das Gegenstück ist eine ungegradete oder filtrierte Algebra, bei der nur eine verschachtelte Familie von Unterräumen gegeben ist, aber keine direkte Zerlegung in exakte homogene Teile existiert, was die verwendbaren Techniken ändert.

Abgrenzung

Erfordert eine echte direkte Summen-Zerlegung nach Graden mit Multiplikation, die Gradaddition respektiert; schließt bloße Filtrierungen, nicht-multiplikative Graduierungen und inkompatible Zerlegungen mit der Algebrastruktur aus.

Semantische Spannung

Es besteht subtile Spannung zwischen graduierten und filtrierten Strukturen: Viele Theoreme gelten im graduierten Kontext, müssen aber im filtrierten Kontext ersetzt oder über das assoziierte Graduierte rekonstruiert werden.

Synthese

Eine graduierte Algebra ist eine Algebra, die in homogene Gradkomponenten unterteilt ist und deren Multiplikation die Gradaddition respektiert; diese Struktur ermöglicht gradweise Analysen, gradierte Module und Invarianten, die Homogenität nutzen.