Assoziator (Mathematik)
# Assoziator (Mathematik)

In der abstrakten Algebra wird der Ausdruck Assoziator in unterschiedlicher Weise als ein Maß für die Abweichung einer algebraischen Struktur bzw. einer dort definierten zweistelligen Verknüpfung vom Assoziativgesetz verwendet.

## Ringtheorie

In einem nichtassoziativen Ring oder Algebra $(R,\circ )$ ist der Assoziator die multilineare Abbildung
    $[\cdot ,\cdot ,\cdot ]:R\times R\times R\to R:[x,y,z]=(x\circ y)\circ z-x\circ (y\circ z);\,$
wobei auch die Schreibweisen $(x,y,z)$ oder $A(x,y,z)$ gebräuchlich sind. Für einen (assoziativen) Ring ist er immer gleich Null.
Für den Assoziator gilt die Identität
    $w[x,y,z]+[w,x,y]z=[wx,y,z]-[w,xy,z]+[w,x,yz].\,$
Er alterniert genau dann, wenn $R$ alternativ ist.
Er ist symmetrisch in seinen am weitesten rechts stehenden Argumenten, wenn $R$ eine Prä-Lie-Algebra ist.

## Quasigruppentheorie

Auch der Assoziator in Quasigruppen misst die Abweichung der dort definierten Verknüpfung vom Assoziativgesetz, seine Definition unterscheidet sich aber ansonsten grundlegend von der in der Ringtheorie.
Eine Quasigruppe Q ist eine Menge mit der zweistelligen Verknüpfung $\cdot :Q\times Q\to Q$, für die $\forall a,b\in Q$ die Gleichungen $a\cdot x=b$ und $y\cdot a=b$ die eindeutigen Lösungen $x,y\in Q$ haben. In einer Quasigruppe Q ist der Assoziator durch
    $(a\cdot b)\cdot c=(a\cdot (b\cdot c))\cdot (a,b,c)\;\forall a,b,c\in Q$
definiert.