Die Eigenschaft einer Algebra, dass Potenzen eines einzelnen Elements eindeutig definiert sind durch die Regel a^m a^n = a^{m+n} für alle nichtnegativen ganzen Zahlen m,n, beziehungsweise dass alle Klammerungen von wiederholter Multiplikation desselben Elements übereinstimmen.

Prinzip

Sicherstellen, dass die von einem Element erzeugte Unteralgebra assoziativ ist, sodass polynomiale Ausdrücke in einem einzigen Erzeuger und Exponentiation wohldefiniert sind, obwohl die Gesamtalgebra nicht notwendigerweise assoziativ ist.

Demonstration

Jordan-Algebren und alternative Algebren sind potenzassoziativ: für festes a stimmen die Produkte a(a(…)) und ((…(aa)a)…) überein, daher ist a^k eindeutig und man kann Polynome in a auswerten.

Fehlanwendung

Anzunehmen, Potenzassoziativität impliziere Assoziativität für Produkte verschiedener Elemente; Potenzassoziativität garantiert nur, dass Selbstprodukte assoziieren, nicht jedoch gemischte Triple verschiedener Elemente.

Konsequenz

Ermöglicht eine konsistente Handhabung von Potenzen und ein polynomiales Funktional für einzelne Elemente, unterstützt Definitionen von Exponentialen oder Minimalpolynomen in Verbindung mit weiterer Struktur und vereinfacht spektrale Überlegungen.

Umkehrung

Ohne Potenzassoziativität können unterschiedliche Klammerungen von a^n verschiedene Ergebnisse liefern, wodurch die Begriffe a^n oder Polynome in a unklar werden; volle Assoziativität gewährleistet Potenzassoziativität, ist aber stärker.

Abgrenzung

Bezieht sich speziell auf monogene Unteralgebren und schränkt Assoziatoren mit verschiedenen Einträgen nicht ein; sie kann mit oder ohne Einheit formuliert werden und erfordert für manche Folgerungen Charakteristik‑Vorsicht.

Semantische Spannung

Widerspruch zur Alternativität: Alternativität impliziert Potenzassoziativität und Assoziativität für zwei Erzeuger (Artins Satz), doch Potenzassoziativität allein erzwingt nicht Alternativität.

Synthese

Potenzassoziativität isoliert die minimale Assoziativität, die nötig ist, um Potenzen und Polynome in einem Element zuverlässig zu behandeln: sie erzwingt Übereinstimmung aller Klammerungen bei wiederholter Selbstmultiplikation, erlaubt aber weitergehende nichtassoziative Phänomene.