Asociilo

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 $V$ super komuta ringo $K$, difiniĝas dulineara operacio

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

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

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

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

Eksteraj ligiloj

• Associator (angle). nLab.