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

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש
מחלקות חשובות של אלגבראות לא אסוציאטיביות. חץ ממחלקה A למחלקה B פירושו שכל אלגברה מטיפוס A היא גם B. בכחול - האלגבראות הקומוטטיביות

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

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

הגרעין והמרכז[עריכת קוד מקור | עריכה]

הגרעין (nucleus) של אלגברה לא אסוציאטיבית A כולל את כל האיברים g המקיימים \ (g,x,y)=(x,g,y)=(x,y,g)=0 לכל x,y, כאשר \ (\cdot,\cdot,\cdot) הוא האסוציאטור. זוהי תת-אלגברה אסוציאטיבית של A. המרכז מוגדר, כמו במקרה האסוציאטיבי, כאוסף האיברים של הגרעין, המתחלפים עם כל האיברים ב-A. אידאל האסוציאטור הוא האידאל הנוצר על ידי האיברים \ (x,y,z), כלומר \ D(A)=A(A,A,A)A. זהויות המתקיימות בכל אלגברה לא אסוציאטיבית‏[1] מבטיחות שהאידאל שווה ל- \ (A,A,A)+(A,A,A)A=(A,A,A)+A(A,A,A).

אלגברת הפעולות[עריכת קוד מקור | עריכה]

באלגברה לא אסוציאטיבית A, פעולת הכפל משמאל באיבר x מגדירה הומומורפיזם של מרחבים וקטוריים \ L_x : A \rightarrow A, על ידי \ L_x(y) = xy. זהו איבר של אלגברת ההומומורפיזמים \ \operatorname{End}(A), שהיא כמובן אסוציאטיבית. בדרך כלל (למשל, כאשר ל-A יש איבר יחידה), ההעתקה \ x \mapsto L_x היא חד-חד-ערכית (השומרת כפל בדיוק כאשר A אסוציאטיבית). באופן דומה מוגדרת הפעולה של כפל מימין: \ R_x(y) = yx.

את האקסיומות המגדירות מחלקות שונות של אלגבראות לא-אסוציאטיביות אפשר לנסח, בדרך-כלל, בשפה של הפעולות מימין ומשמאל. לדוגמה, A אסוציאטיבית אם ורק אם \ L_xR_y = R_yL_x לכל x,y. אלגבראות אלטרנטיביות מוגדרות לפי האקסיומות \ L_x^2 = L_{x^2} ו- \ R_x^2 = R_{x^2}, בעוד שאלגבראות ז'ורדן הן אלו המקיימות \ R_x=L_x (היינו, קומוטטיביות), ו- \ [L_x,R_{x^2}]=0 (כאשר \ [\cdot,\cdot] הוא הקומוטטור של אופרטורים).

הזהות \ L_x R_x = R_x L_x (כלומר, \ x(yx)=(xy)x לכל x ו-y) נקראת זהות הגמישות, והיא מתקיימת ברוב המחלקות החשובות של אלגבראות לא-אסוציאטיביות, לרבות אלגבראות לי, ז'ורדן, ואלגבראות אלטרנטיביות.

מכיוון שתורת המבנה של אלגבראות אסוציאטיביות מפותחת יותר, ככלל, מזו של אלגבראות לא אסוציאטיביות, יש ערך למבנים אסוציאטיביים שאפשר לשייך לאלגברה לא אסוציאטיבית. הדוגמה החשובה ביותר למבנה כזה הוא אלגברת הפעולות, הנוצרת (כתת-אלגברה אסוציאטיבית של \ \operatorname{End}(A)) על ידי פעולות הכפל מימין ומשמאל. אלגברת הפעולות היא נילפוטנטית אם ורק אם A כזו. אם A אלגברה פשוטה או פשוטה למחצה, גם אלגברת הפעולות כזו, והכיוון ההפוך נכון בכל האלגבראות האלטרנטיביות.

אלגברת הנגזרות[עריכת קוד מקור | עריכה]

את האלגברה של הנגזרות הפורמליות של A, היינו אוסף ההעתקות שומרות החיבור \ D : A \rightarrow A המקיימות את הזהות \ D(ab)=aD(b)+D(a)b, מסמנים ב-\ \operatorname{Der}(A). זוהי תת-אלגברת לי של \ \operatorname{End}(A). נגזרת נקראת פנימית, אם היא שייכת לאלגברת-לי הנוצרת על ידי הפעולות \ L_x, R_x. ידוע שבמאפיין אפס, כל נגזרת של אלגברה פשוטה למחצה מממד סופי, עם יחידה ימנית או שמאלית, היא פנימית.

אלגברה לא אסוציאטיבית עם חילוק[עריכת קוד מקור | עריכה]

לעומת המקרה האסוציאטיבי, במקרה הלא אסוציאטיבי יש הבדל בין הפיכות (נקודתית) של איבר לבין קיום פתרונות למשוואה מהצורה ax=b (כאשר a\neq 0).

לכן, מגדירים אלגברה לא אסוציאטיבית עם חילוק בתור אלגברה לא אסוציאטיבית המקיימת את אחד התנאים השקולים הבאים:

  • לכל a\neq 0 , b קיימים ויחידים x,x' כך ש-ax=b,x'a=b.
  • לכל a \neq 0 אופרטורי הכפל משמאל ומימין, L_a, R_a, הפיכים (בתור אופרטורים).

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

המקרה הסופי[עריכת קוד מקור | עריכה]

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

מכפלה טנזורית[עריכת קוד מקור | עריכה]

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

ראו גם[עריכת קוד מקור | עריכה]

לקריאה נוספת[עריכת קוד מקור | עריכה]

  • An Introduction to Nonassociative Algebra, R. D. Schafer.

הערות שוליים[עריכת קוד מקור | עריכה]

  1. ^ למשל a(x,y,z)+(a,x,y)z=(ax,y,z)-(a,xy,z)+(a,x,yz)