פעולה אסוציאטיבית – הבדלי גרסאות

בדרך כלל המונח "פעולה אסוציאטיבית" מתייחס, כאמור, לפעולה בינארית, כלומר לפונקציה <math>\ A \times A \rightarrow A</math>. עם זאת למלה "פעולה" יש גם משמעות רחבה יותר, והיא עשויה לחול על כל פונקציה דו-מקומית <math>\ A\times B \rightarrow C</math>. במצב שבו מוגדרות פעולות <math>\ A \times B \rightarrow CX</math>, <math>\ B \times C \rightarrow Y</math>, וכן <math>\ X \times C \rightarrow \Omega</math> ו-<math>\ A \times Y \rightarrow \Omega</math>, אומרים שהמערכת אסוציאטיבית (או שאחת הפעולות אסוציאטיבית ביחס לאחרות) אם ה[[דיאגרמה (אלגברה הומולוגית)|דיאגרמה]]

הרכבה של פונקציות היא אסוציאטיבית במובן הכללי הזה: לכל שלוש פונקציות <math>\ X \stackrel{f}{\rightarrow} Y \stackrel{g}{\rightarrow} Z \stackrel{h}{\rightarrow} U</math> מתקיים <math>\ (h \circ g) \circ f = h \circ (g \circ f)</math>. גם פעולת הכפל בסקלר של [[מודול (מבנה אלגברי)|מודול]] M מעל חוג R היא אסוציאטיבית במובן דומה: לכל <math>\ a,b \in R</math> ו-<math>\ v \in M</math> מתקיים <math>\ a(bx) = (ab)x</math>.