## [Polynomidentitätsbedingung (PI)](/de/node/63882) 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.