Definition
Die Eigenschaft, dass eine assoziative Algebra A eine nichtverschwindende polynomiale Identität erfüllt: Es existiert ein nichtnulles Polynom f in nichtkommutativen Variablen mit f(a1,...,an)=0 für alle Einsetzungen ai in A.
Prinzip
Prinzip
Die PI-Bedingung erzwingt polynomiale Identitäten, die auf der Algebra identisch verschwinden; sie vermittelt zwischen vollständig freien (keine Identitäten) und kommutativen (viele Identitäten) Verhaltensweisen und ordnet strukturelle sowie darstellungstheoretische Beschränkungen.
Demonstration
Demonstration
Die Matrizenalgebra M_n(k) erfüllt das Standardpolynom der Ordnung 2n (Amitsur–Levitzki); jede kommutative Algebra erfüllt die Kommutatoridentität [x,y]=0 und ist damit eine PI-Algebra niedrigen Grades.
Fehlanwendung
Fehlanwendung
Anzunehmen, eine PI-Algebra müsse kommutativ oder endlichdimensional sein; umgekehrt zu glauben, das Fehlen polynomialer Identitäten bedeute zwangsläufig wildes Verhalten, ist falsch. Die Charakteristik des Grundkörpers beeinflusst die gültigen Identitäten.
Konsequenz
Konsequenz
PI-Algebren besitzen eine reiche Strukturtheorie (Identitäten erzeugen T-Ideale, reduzierte Spuren und zentrale Polynome können angewandt werden); viele PI-Algebren lassen sich in Matrizenringe über kommutativen Ringen einbetten oder haben durch Gradgrenzen eingeschränkte Darstellungen.
Umkehrung
Umkehrung
Nicht-PI-Algebren, etwa die freie assoziative Algebra, erfüllen keine nichttrivialen polynomialen Identitäten und zeigen entsprechend maximale nichtkommutative Komplexität (häufig unendliche GK-Dimension und wilde Darstellungstheorie).
Abgrenzung
Abgrenzung
Die PI-Bedingung ist relativ zu einem Grundring/-körper und für assoziative polynomiale Identitäten zu formulieren; sie unterscheidet sich von polynomialen Relationen in kommutativen Algebren oder Identitäten in Lie-Algebren und ist in der passenden freien assoziativen Algebra zu prüfen.
Semantische Spannung
Semantische Spannung
PI vs Kommutativität vs Identitäten in anderen Varietäten: PI ist schwächer als Kommutativität, stärker als Identitätsfreiheit; Identitäten in assoziativen Algebren verhalten sich anders als in Lie- oder Jordan-Algebren, daher ist Vorsicht geboten.
Synthese
Synthese
Die PI-Bedingung behauptet die Existenz einer nichttrivialen assoziativen polynomialen Identität, die auf der Algebra verschwindet, beschränkt ihr nichtkommutatives Verhalten und erlaubt matrixartige Struktur- und Darstellungsschranken.