קומוטטור – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
Nallimbot (שיחה | תרומות)
החלפת מילה עברית, ר' דף שיחה, תיקונים נוספים יתקבלו בברכה
שורה 2:
ב[[מתמטיקה]], ה'''קומוטטור''' הוא פונקציה של שני אברים ב[[חוג (מבנה אלגברי)|חוג]] או [[חבורה (מבנה אלגברי)|חבורה]], המודדת באיזו מידה האברים אינם מתחלפים; במלים אחרות, הפונקציה מודדת עד כמה נכשלת תכונת ה[[קומוטטיביות]]. בחוג קומוטטיבי או בחבורה קומוטטיבית הקומוטטור הוא תמיד [[טריוויאלי (מתמטיקה)|טריוויאלי]].
 
האקדמיה ללשון העברית הציעה לקרוא לקומוטטור בפיזיקה "מַחֲלֵף" ו"מְהַפֵּךְ זֶרֶם".
הוצע לקרוא לקומוטטור ב[[עברית]] '''מחליפן''', אלא שביטוי זה אינו שכיח.
 
==קומוטטור חיבורי וכפלי==
שורה 12:
כל [[אלגברה (מבנה אלגברי)|אלגברה]] [[אסוציאטיביות|אסוציאטיבית]] הופכת להיות [[אלגברת לי]] ביחס לפעולת הקומוטטור.
 
באלגברת ה[[מטריצה|מטריצות]], ה[[עקבה (אלגברה)|עקבה]] של כל קומוטטור היא אפס, וההיפךוגם ההפך נכון במידת מה: כל מטריצה בעלת עקבה אפס היא סכום של קומוטטורים.
 
לקומוטטורים (וגם לעקבה) תפקיד מרכזי בתאוריה של [[אלגברות עם זהויות]]. הדוגמה הבסיסית בתחום זה היא הזהות <math>\ [[a,b]^2,c]=0</math>, שאותה מקיימת אלגברת המטריצות <math>\ M_2(F)</math>. במלים אחרות, כל שלוש מטריצות a,b,c בגודל <math>\ 2\times 2</math> מעל שדה מקיימות את הזהות <math>\ [a,b]^2c=c[a,b]^2</math>.
שורה 30:
===אסוציאטור===
{{ערך מורחב|אסוציאטור}}
בדומה לקומוטטור שמודד את כשלוןכישלון הקומוטטיביות, מגדירים ב[[אלגברה לא אסוציאטיבית]] פונקציה בשם ה'''אסוציאטור''' (associator), לפי הנוסחה <math>\ (a,b,c)=(ab)c-a(bc)</math>. האסוציאטור מקיים את הזהות <math>\ a(x,y,z)+(a,x,y)z=(ax,y,z)-(a,xy,z)+(a,x,yz)</math>.
 
==הקומוטטור בפיזיקה==