Machtassociativiteit

In de abstracte algebra is machtassociativiteit een zwakke vorm van associativiteit die inhoudt dat de macht van een element onafhankelijk is van de volgorde waarin de macht gevormd wordt.

Van een algebra (of meer algemeen een magma) zegt men dat deze machtassociatief is als de deelalgebra die door enig element gegenereerd wordt associatief is.

Concreet betekent dit dat als een element $x$ een aantal keren met zichzelf wordt vermenigvuldigd, het niet uitmaakt in welke volgorde de vermenigvuldigen worden uitgevoerd, zodat bijvoorbeeld geldt dat

$x(x(xx))=(x(xx))x=(xx)(xx)$

Dit is een sterkere eigenschap dan dat alleen voor elke $x$ geldt

$(xx)x=x(xx)$

Definitie

Voor een magma ${\mathcal {M}}=(M,*)$ definieert men voor elke $a\in M$:

$a^{1}=a$

en voor alle $n\in \mathbb {N} ^{+}$

$a^{n+1}=a*a^{k}$

De bewerking $*$ noemt men machtassociatief voor een element $a\in M$, als voor alle $i,j\in \mathbb {N} ^{+}$ geldt:

$a^{i+j}=a^{i}*a^{j}$

Als de bewerking $*$ machtassociatief is voor ieder element $a\in M$, noemt men ${\mathcal {M}}=(M,*)$ een machtassociatieve magma.

Een algebra ${\mathcal {A}}$ heet machtassociatief a;s de vermenigvuldiging machtassociatief is.

Elke associatieve algebra is duidelijk machtsassociatief. Alle andere alternatieve algebra's (zoals de octonionen, die niet-associatief zijn) en zelfs sommige niet-alternatieve algebra's zoals de sedenionen zijn ook machts-associatief.

Machtsverheffen tot de macht van elk natuurlijk getal ongelijk aan nul kan consistent worden gedefinieerd, wanneer vermenigvuldiging machtassociatief is. Er is bijvoorbeeld geen dubbelzinnigheid of $x^{3}$ gedefinieerd is als

$(xx)x\quad {\mbox{of als,}}\quad x(xx)$,

aangezien deze twee uitdrukkingen aan elkaar gelijk zijn.

Machtsverheffen tot de macht nul kan ook worden gedefinieerd als de operatie een identiteitselement heeft, waardoor het bestaan van identiteitselementen nuttig wordt in machts-associatieve contexten.

Er geldt een leuke vervangingswet voor reële machts-associatieve algebra's met eenheid, die erop neerkomt dat vermenigvuldiging van polynomen werkt zoals verwacht. Stel dat $f$ een reële polynoom in $x$ is, en definieer voor enige $a$ in zo'n algebra $f(a)$ als het element van deze algebra dat resulteert van de voor de hand liggende vervanging van $a$ in $f$. Dan hebben we voor elke van twee zulke polynomen $f$ en $g$

$(fg)(a)=f(a)g(a)$.

Referenties

• R.D. Schafer, An introduction to non-associative algebras (Een introductie tot niet-associatieve algebra's), Dover, 1995, ISBN 0-486-68813-5. Chap.V, pp.128-148.