פעולה אסוציאטיבית

המונח "אסוציאטיביות" מפנה לכאן. אם התכוונתם למשמעות אחרת, ראו: "אסוציאטיביות (פירושונים)".

במתמטיקה, פעולה אסוציאטיבית היא פעולה בינארית $\ (a,b) \mapsto a*b$ המקיימת את חוק הקיבוץ, כלומר, לכל $\ a,b,c$ מתקיים $\ a*(b*c) = (a*b)*c$. פעולות החיבור והכפל של מספרים הן דוגמאות חשובות לפעולות אסוציאטיביות. דוגמה כללית יותר היא פעולת ההרכבה של פונקציות (ראו להלן), שבזכותה קיימות עוד פעולות אסוציאטיביות רבות, כמו כפל מטריצות.

לפעולות אסוציאטיביות תפקיד מרכזי באלגברה מופשטת - מערכת הכוללת קבוצה עם פעולה אסוציאטיבית נקראת חבורה למחצה, והנחות נוספות על הפעולה מוליכות להגדרה של מונויד ושל חבורה. בכל חוג הכפל הוא אסוציאטיבי; באלגברה נלמדות גם מערכות שבהן הכפל אינו אסוציאטיבי.

פעולות בכמה אברים

הרכבה של פעולות מאפשרת להגדיר בעזרת פעולה בינארית גם פעולות במספר כלשהו של משתנים. למשל, בארבעה משתנים קיימות הפעולות $\ (x_1,x_2,x_3,x_4) \mapsto x_1*(x_2*(x_3*x_4)), \, x_1*((x_2)*x_3)*x_4), \, (x_1*x_2)*(x_3*x_4),\, (x_1*(x_2*x_3))*x_4,\, ((x_1*x_2)*x_3)*x_4$. מספר הפעולות השונות שאפשר להגדיר באופן הזה, כאשר * היא פעולה בינארית, הוא מספר קטלן. אם הפעולה אסוציאטיבית, כל הפעולות מתלכדות.

הכללות

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

$\ \begin{array}{ccc} A \times B \times C & \longrightarrow & A \times Y \\ \downarrow & & \downarrow \\ X \times C & \longrightarrow & \Omega \end{array}$ קומוטטיבית.

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

הקשר לקומוטטיביות

אין קשר ישיר בין אסוציאטיביות לקומוטטיביות. יש פעולות אסוציאטיביות שהן קומוטטיביות (חיבור מספרים) או שאינן קומוטטיביות (כפל מטריצות), ויש פעולות לא אסוציאטיביות שהן קומוטטיביות (הכפל באלגברת לי; ערך מוחלט של הפרש) או שאינן קומוטטיביות (העלאה בחזקה).

ראו גם

• אלגברה לא אסוציאטיבית