אסוציאטיביות
מתוך ויקיפדיה, האנציקלופדיה החופשית
פעולה בינארית אסוציאטיבית (קיבוצית), היא פעולה המקיימת את 'חוק הקיבוץ'. בניסוח פורמלי, הפעולה שנסמן ב-"*" (לאו דווקא פעולת הכפל הרגילה) היא אסוציאטיבית אם ורק אם לכל a,b,c:
(a * b) * c = a * (b * c)
פעולות החיבור והכפל במספרים, לדוגמה, הן אסוציאטיביות:
(1 + 2) + 3 = 1 + (2 + 3)
(2 * 3) * 4 = 2 * (3 * 4)
פעולת החזקה, לעומת זאת, אינה אסוציאטיבית, כפי שניתן לראות מן הדוגמה הנגדית הבאה:
.
הרכבה של פונקציות היא פעולה אסוציאטיבית, ומכיוון שלפונקציות תפקיד מרכזי כל-כך במתמטיקה, דורשים מפעולת הכפל להיות אסוציאטיבית בחבורות ובמבנים אלגבריים רבים אחרים.
קומוטטיביות היא תכונה אפשרית אחרת של פעולות בינריות. ישנן פעולות קומוטטיביות שאינן אסוציאטיביות, אסוציאטיביות שאינן קומוטטיביות, כאלו המקיימות את שתי התכונות, וכאלו שאינן מקיימות אף אחת מהן. לפרטים ראו כאן.

