En algebro, la asociilo estas trilineara bildigo, kiu estas la diferenco inter la du metodoj krampi produton de tri elementoj per eble neasocieca dulineara operacio.

Difino

Supozu ke, super modulo ${\displaystyle V}$ super komuta ringo ${\displaystyle K}$, difiniĝas dulineara operacio

${\displaystyle \star \colon V\otimes _{K}V\to V}$.

Do, la asociilo de ${\displaystyle \star }$ estas la jena bildigo:

${\displaystyle \operatorname {asoc} \colon V\otimes _{K}V\otimes _{K}V\to V}$

${\displaystyle \operatorname {asoc} (x,y,z)\,{\overset {\text{dif}}{=}}\,(x\star y)\star z-x\star (y\star z)}$.

Eksteraj ligiloj

• Associator (angle). nLab.