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

שמאל|ממוזער|380px|מחלקות חשובות של אלגברות לא אסוציאטיביות. בכחול - האלגברות הקומוטטיביות.

**אלגברה לא אסוציאטיבית** היא מבנה אלגברי המכליל אלגברות אסוציאטיביות, בו לא נדרשת אקסיומת האסוציאטיביות. במילים אחרות, אלגברה לא אסוציאטיבית היא חוג לא אסוציאטיבי A שבמרכזו חוג קומוטטיבי C.

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

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

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

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

ה-**centroid** של A הוא המֵרָכֶז של M(A) ב- \operatorname{End}(A); כאשר לאלגברה יש יחידה, המרכז איזומורפי ל-centroid, על ידי ההעתקה x \to L_x. עם זאת, באלגברות פשוטות כלליות ללא יחידה, ה-centroid הוא מונח כללי יותר (שכן המרכז הוא אפס במקרה זה), והאלגברה נלמדת לעיתים כאלגברה מעל מבנה זה.

**אידיאל האסוציאטור** של A הוא האידיאל כלומר D(A) הנוצר על ידי האיברים (x,y,z). זהויות המתקיימות בכל אלגברה לא אסוציאטיבית מבטיחות שהאידיאל שווה ל- (A,A,A)+(A,A,A)A=(A,A,A)+A(A,A,A).

## נילפוטנטיות, פתירות ורדיקלים
בדומה לתורה האסוציאטיבית, גם במקרה הלא אסוציאטיבי מוגדרים מונחי הנילפוטנטיות והפתירות, באופן המכליל את התורה המוכרת. בהינתן אלגברה לא אסוציאטיבית A, מגדירים באינדוקציה A^1=A^{(0)}=A, ו- A^{n+1} = \sum_{i+j=n+1}{A^i\cdot A^j}, \quad A^{(n+1)} = A^{(n)} \cdot A^{(n)}. ההגדרה של A^n "תופסת" את כל סידורי הסוגריים האפשריים.

האלגברה נקראת **נילפוטנטית** אם קיים n עבורו A^n=0, ו**פתירה** אם A^{(n)}=0. המספר המינימלי המקיים את התכונה נקרא אינדקס הנילפוטניות ואינדקס הפתירות, בהתאמה. כל אלגברה נילפוטנטית היא ודאי פתירה. סכום של כל שני אידיאלים פתירים (בתור אלגברות בפני עצמם) גם הוא אידיאל פתיר; כאשר האלגברה סוף ממדית, מוגדר ה**רדיקל הפתיר** S(A) של A, בתור האידיאל הפתיר המקסימלי שלה. אלגברת המנה A/S(A) לא מכילה אידיאלים פתירים אמיתיים.

כמו בתורה האסוציאטיבית, הרדיקלים מהווים כלי מחקר של האלגברות - ברגע שנמצא רדיקל מתאים R(A) למחלקת האלגברות, נחקרות האלגברות הרדיקליות - המקיימות A=R(A), והאלגברואת הפשוטות למחצה, המקיימות R(A)=0. הגדרת רדיקל כזה איננה פשוטה במקרה הכללי; כך למשל, הרדיקל הנילי לא מוגדר היטב באלגברות לי (בהן תופס את תפקיד הרדיקל החשוב S(A)). רדיקל חשוב נוסף הוא **רדיקל הפשטות**, המוגדר בתור האידיאל המינימלי N(A), כך שהאלגברה A/N(A) מתפרקת לסכום ישר של אלגברות פשוטות. רדיקל זה מוגדר לכל אלגברה סוף-ממדית, ומתלכד עם רדיקל הפתירות במשפחות שצוינו לעיל.

## תבניות ביליניאריות
כמו בתורה האסוציאטיבית, גם במקרה זה מעניין לחקור תבניות ביליניאריות של האלגברה, כדי להבין טוב יותר את המבנה שלהן. **תבנית עקבה** (trace form) של F-אלגברה לא אסוציאטיבית A היא תבנית ביליניארית סימטרית (\cdot,\cdot):A \times A \to F, המקיימת (x,yz) = (xy,z). עבור כל תבנית עקבה כלעיל, וכל אידיאל B של A, מוגדר האידיאל האנכי ל-B מוגדר בתור B^\perp{} = \{x \in A: (x,b) = 0 \quad \forall b \in B\}, גם הוא אידיאל. ה**רדיקל** של התבנית מוגדר בתור האידיאל A^\perp; התבנית נקראת **רגולרית** אם הרדיקל שלה אפס.

המשפט המרכזי בהקשר זה הוא כלהלן: תהי A אלגברה לא אסוציאטיבית סוף-ממדית, בעלת תבנית עקבה רגולרית. עוד נניח כי B^2 \neq 0 לכל אידיאל B \neq 0. אזי A היא פשוטה למחצה, כלומר מתפרקת לסכום ישר (יחיד עד כדי סדר) של אידיאלים פשוטים.

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

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

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

## אלגברה לא אסוציאטיבית עם חילוק
לעומת המקרה האסוציאטיבי, במקרה הלא אסוציאטיבי יש הבדל בין הפיכות מימין ומשמאל של איבר לבין קיום פתרונות למשוואה מהצורה 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.
* Non-Associative Structures, E. N. Kuzmin, I. P. Shestakov.


## קישורים חיצוניים
* 

## הערות שוליים

*