אלגברת ז'ורדן

אלגברת ז'ורדן היא אלגברה לא אסוציאטיבית (מעל חוג אסוציאטיבי), שבה פעולת הכפל, שנסמן כאן ב- <math>\ x\bullet y</math>, מקיימת את שתי האקסיומות <math>\ x\bullet y=y\bullet x</math> ו-
<math>\ (x\bullet y)\bullet (x\bullet x)=x \bullet (y\bullet (x\bullet x))</math>. בשפה של אופרטורי הכפל מימין ומשמאל, אפשר לבטא אקסיומות אלה כך: <math>\ L_x=R_x</math> ו- <math>\ [L_x,R_{x^2}]=0</math>. כל אלגברה אלטרנטיבית קומוטטיבית היא אלגברת ז'ורדן, וכל אלגברת ז'ורדן היא בעלת חזקה אסוציאטיבית בהחלט.

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

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

בראשית שנות השלושים ניסה הפיזיקאי פסקואל יורדן לבנות מערכת אלגברית שאבריה יהיו שווי-הערך של המטריצות ההרמיטיות, ללא המעטפת של אלגברת המטריצות הסטנדרטית. אם <math>\ x,y</math> הן מטריצות הרמיטיות אז <math>\ x\bullet y = \frac{1}{2}(xy+yx)</math> גם היא מטריצה הרמיטית. יורדן הבחין שהפעולה החדשה מקיימת את האקסיומות שהוזכרו במבוא, וביקש לבנות אלגברות שיקיימו את האקסיומות האלה, בלי להיעזר בפעולת הכפל הרגילה, האסוציאטיבית.

== דוגמאות ==
מכל אלגברה אסוציאטיבית (ואפילו רק אלטרנטיבית מימין) A אפשר לבנות אלגברת ז'ורדן <math>A^+</math>, על ידי פעולת האנטי קומוטטור <math>\ \bullet</math> שהוגדרה לעיל. האלגברה <math>A^+</math> פשוטה אם ורק אם A פשוטה, ונילפוטנטית אם ורק אם A נילפוטנטית. (אם 2 אינו הפיך באלגברה, מגדירים <math>\ x\bullet y = xy+yx</math>, אף על פי שבמקרה זה הקשר בין האלגברה המקורית לחדשה אינו הדוק כל-כך).

אלגברות המשוכנות באלגברות מהצורה <math>A^+</math> נקראות אלגברות מיוחדות (special). (בדומה למשפט ארטין על אלגברות אלטרנטיביות, כל אלגברת ז'ורדן הנוצרת על ידי שני איברים היא מיוחדת). מטרתו המיידית של יורדן הייתה למצוא אלגברות ז'ורדן שאינן מיוחדות; כדי לנסח מחדש את מכניקת הקוונטים, יורדן נזקק לאלגברות כאלה בעלות ממד שאינו חסום.

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

== מיון ==
המשפט החשוב הראשון בתחום זה התקבל ב-1934, כאשר יורדן כתב מאמר משותף עם פון נוימן וויגנר. במאמר זה הם מוכיחים שכל אלגברת ז'ורדן מממד סופי שהיא גם ממשית באופן פורמלי (כלומר: אם <math>\ x_1^2+\dots+x_n^2=0</math> אז בהכרח <math>\ x_1=\dots=x_n=0</math>), שייכת לאחת מחמש משפחות:
* מטריצות הרמיטיות (מכל סדר) מעל השדה הממשי, השדה המרוכב או אלגברת הקווטרניונים הסטנדרטית;
* מטריצות הרמיטיות מסדר 3 מעל אלגברת קיילי (ביחס לאינוולוציה הטבעית שלה);
* 'אלגברות ספין'.

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

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

=== תורת המבנה במימד סופי ===

כמו בתורת המבנה של חוגים אסוציאטיביים, לאלגברת ז'ורדן מממד סופי יש רדיקל נילי, שהוא האידיאל הנילי הגדול ביותר; הרדיקל הנילי הוא נילפוטנטי, ולכן הרדיקלים <math>\ \operatorname{Nil}J = \operatorname{Solv}J = \operatorname{Nilp}J</math> שווים. חוג המנה ביחס לרדיקל הוא סכום ישר של אלגברות ז'ורדן פשוטות. באלגברות ז'ורדן מתקיימת גרסה של המשפט העיקרי של ודרברן: אם <math>J/\operatorname{Nilp}J</math> ספרבילית, אז יש תת-אלגברה B שהיא איזומורפית למנה, וכך ש-<math>\ J \cong B \oplus \operatorname{Nilp}J</math> (סכום ישר של מרחבים וקטוריים).

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

=== פירוק פירס ===

נניח שבאלגברת ז'ורדן J יש אידמפוטנט e. אז <math>\ J = J_1\oplus J_{1/2} \oplus J_0</math>, כאשר <math>\ J_i = \{x\in J : xe = ix\}</math>, המרכיבים <math>\ J_0, J_1</math> הם תת-אלגברות, <math>\ J_0 J_1 = J_1 J_0 = 0</math>,
<math>\ J_iJ_{1/2} \subseteq J_{1/2}</math> ל-i=0,1, ו-<math>\ J_{1/2}^2 \subseteq J_0+J_1</math>.

לדוגמה, אם A אלגברה אסוציאטיבית עם אידמפוטנט e, אז e הוא אידמפוטנט גם באלגברת ז'ורדן <math>A^{+}</math> המתאימה ל-A, ומרכיבי הפירוק המתאימים הם <math>A_1 = eAe,\ A_{1/2} = eA(1-e)+(1-e)Ae,\ A_0 = (1-e)A(1-e)</math>.

=== תורת המבנה המודרנית ===

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

==== רדיקלים ====
באלגברות ז'ורדן <math>(J, \bullet)</math> מוגדרת פעולה טרנארית המכונה 'מכפלה משולשת': <math>\ \{x,y,z\}=(x\bullet y)\bullet z + (z \bullet y) \bullet x - y \bullet(x \bullet z)</math>. איבר <math>\ a\neq 0</math> המקיים כי <math>a^2=0</math> וגם <math>\ \{a,J,a\}=0</math> הוא "מחלק אפס מוחלט" (יש המכנים איברים אלו "איברים טריוויאליים"). במאפיין שונה מ-2, ניתן לאפיין מחלקי אפס מוחלטים כך: איבר <math>\ a\neq 0</math>הוא מחלק אפס מוחלט אם ורק אם <math>a^2=0</math> וגם <math>a\bullet(b\bullet a)=0</math> לכל <math>b\in J</math>. אם קיימים מחלקי אפס מוחלטים, האלגברה מנוונת. בכל אלגברת ז'ורדן יש רדיקל לא מנוון (שנקרא לעיתים גם רדיקל מק'רימון), שהוא האידיאל הקטן ביותר שחוג המנה ביחס אליו אינו מנוון. עבור אלגברות ז'ורדן ממימד סופי, הרדיקל הלא מנוון שווה לרדיקל הנילי, הוא סכום האידיאלים הניליים באלגברה. כל אלגברת ז'ורדן לא מנוונת היא מכפלה תת-ישרה של אלגברות ז'ורדן ראשוניות לא מנוונות. הרדיקל הלא מנוון של אלגברת ז'ורדן מכיל את הרדיקל הראשוני של J, ומוכל ברדיקל הפרימיטיבי למחצה שלה (חיתוך כל האידיאלים הפרימיטיביים). מכאן אפשר להסיק שאלגברת ז'ורדן פשוטה אינה מנוונת.

תמיד מתקיים כי הרדיקל הראשוני מוכל ברדיקל מק'רימון, שמוכל ברדיקל הפרימיטיבי למחצה; זה האחרון נילי כאשר עוצמת שדה הבסיס גדולה מממד האלגברה כמרחב וקטורי מעליו (בדומה למתרחש באלגברות אסוציאטיביות).
אם A אלגברה אסוציאטיבית, אלגברת ז'ורדן המתאימה לה <math>\ A^+</math> היא לא מנוונת, אם ורק אם A ראשונית למחצה, והרדיקל הלא מנוון של <math>\ A^+</math> הוא הרדיקל הראשוני של A.

==== מיון האלגברות הראשוניות ====
זלמנוב הוכיח שאלגברת ז'ורדן הפשוטה היחידה (לאו דווקא מממד סופי) שאינה מיוחדת, היא אלגברת אלברט מממד 27. הוא מיין אלגברות ז'ורדן פרימיטיביות, ולבסוף את האלגברות הראשוניות שאינן מנוונות. הדיכוטומיה הנובעת ממיון זה קשורה קשר הדוק לדיכוטומיה המתקיימת עבור אלגברות אלטרנטיביות פשוטות: הן מיוחדות, או מממד 8 מעל המרכז.
מן המיון הזה נובע שכל אלגברת ז'ורדן ראשונית לא מנוונת היא מיוחדת, או חוג אלברט (כלומר, הופכת לאלגברת אלברט לאחר מיקום מרכזי).
בפירוט, אלגברת ז'ורדן ראשונית לא מנוונת <math>J</math> משתייכת לאחת מבין ארבע המשפחות הבאות:
* חוג אלברט - חוג ז'ורדן <math>J</math> שמרכזו <math>Z(J)\neq 0</math>, איברי המרכז רגולריים ב-<math>J</math> והמיקום <math>(Z(J)\setminus\{0\})^{-1} J</math> הוא אלגברת אלברט מעל שדה השברים של <math>Z(J)</math>
* סדר מרכזי באלגברת ז'ורדן המתאימה לתבנית ביליניארית סימטרית לא מנוונת (אלגברת ז'ורדן כזו היא מיוחדת, מאחר שמשוכנת באלגברת קליפורד המתאימה)
* תת-אלגברה של <math>Q(A)^{(+)}</math> כאשר <math>A</math> אלגברה אסוציאטיבית המקיימת כי <math>A^{(+)}</math> אידיאל של <math>J</math>, ו-<math>Q(A)</math> חוג השברים של Martindale המתאים ל-<math>A</math>
* תת-אלגברה של <math>H(Q(A),\star)</math>, אוסף האיברים ההרמיטיים ביחס לאינוולוציה <math>\star:Q(A)\rightarrow Q(A)</math>, כאשר <math>Q(A)</math> כבמשפחה הקודמת, פרט לכך שהפעם <math>H(A,\star)</math> איזומורפית לאידיאל של <math>J</math>.

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

משפטי מיון דומים תקפים גם לגבי זוגות ז'ורדן.

=== אלגברות ז'ורדן עם חילוק ===

באלגברת ז'ורדן מסמנים <math>\, U_x = 2L_x^2 - L_{x^2}</math> (כאשר <math>\,L_xy = x \bullet y</math>). זהו אופרטור 'הכפל החיצוני' באיבר, בהתאם למכפלה המשולשת שהוגדרה לעיל: <math>\, U_x(y) = \{x,y,x\}</math>. איבר x הוא הפיך אם קיים איבר y כך ש-<math>\, x \bullet y = 1, \quad x^2 \bullet y = x</math>. במקרה זה האופרטור <math>\, U_x</math> הפיך, וההפכי y הוא האיבר <math>\, x^{-1} = U_x^{-1}x</math>. אלגברת ז'ורדן שבה כל האיברים הפיכים היא אלגברה עם חילוק. משפטי המיון של זלמנוב כוללים בין היתר את המיון של אלגברות ז'ורדן עם חילוק לארבע משפחות: (1) האלגברה <math>\, D^+</math> כאשר D אלגברת חילוק אסוציאטיבית; (2) האלגברה <math>\, Sym(D,*)</math> כאשר D אלגברת חילוק אסוציאטיבית עם אינוולוציה *; (3) אלגברת ז'ורדן-קליפורד של תבנית ריבועית q כאשר <math>\langle 1\rangle \perp -q</math> לא איזוטרופית; (4) אלגברת אלברט של תבנית קובית לא איזוטרופית.

====אלגברת ז'ורדן החופשית====
אלגברת ז'ורדן החופשית <math>FJ</math> (על קבוצת משתנים כלשהי) היא האלגברה הלא-אסוציאטיבית החופשית המקיימת את זהויות ז'ורדן; כל אלגברת ז'ורדן היא תמונה הומומורפית של אלגברת ז'ורדן חופשית כלשהי. שני אידיאלים חשובים של אלגברת ז'ורדן החופשית הם <math>S\triangleleft FJ</math>, של כל הזהויות של אלגברות מיוחדות ו-<math>T\triangleleft FJ</math>, של הזהויות של חוגי אלברט.
רדיקל מק'רימון של אלגברת ז'ורדן החופשית ביותר משני יוצרים איננו טריוויאלי (בפרט, אלגברת ז'ורדן החופשית על שלושה יוצרים ומעלה איננה תחום). יתרה מזאת, הוא שווה לחיתוך <math>S\cap T</math>.
המנה <math>FJ/S</math> היא אלגברת ז'ורדן המיוחדת החופשית, ומתברר שהיא מיוחדת בעצמה.

== מבנים דומים ==
=== אלגברות ז'ורדן לא קומוטטיביות ===
אלגברות ז'ורדן לא קומוטטיביות מוגדרות על-פי זהות הגמישות <math>\ L_xR_x=R_xL_x</math> והזהות <math>\ [L_x,R_{x^2}]=0</math>, כאשר <math>\ L_x</math> ו-<math>\ R_x</math> הן פעולות הכפל משמאל והכפל מימין ב-x, בהתאמה (בנוכחותה של זהות הגמישות, כל הנחה על-כך ש- <math>\ L_x</math> או <math>\ R_x</math> מתחלף עם <math>\ L_{x^2}</math> או <math>\ R_{x^2}</math> גוררת את כל האחרות). לכל x, הפעולות <math>\ L_{a^i}, R_{a^i}</math> מתחלפות כולן זו עם זו, ולכן יש לאלגברה חזקה אסוציאטיבית בהחלט. כל אלגברה ריבועית גמישה (כגון אלגברות קיילי-דיקסון) היא אלגברת ז'ורדן לא קומוטטיבית.

נניח שהמאפיין של שדה הבסיס שונה מ-2. האלגברה A היא אלגברת ז'ורדן לא קומוטטיבית אם ורק אם היא גמישה, ו-<math>\ A^+</math> (שבה מוגדר הכפל לפי <math>\ x*y=\frac{1}{2}(xy+yx)</math>) היא אלגברת ז'ורדן (קומוטטיבית). בכל אלגברה עם פעולה אנטי-סימטרית מתקיים <math>\ x^2=0</math> ו- <math>\ R_x = -L_x</math>, ולכן כל אלגברה כזו היא אלגברת ז'ורדן לא קומוטטיבית. בפרט, כל אלגברת לי בינארית (ולכן כל אלגברת מלצב, ובוודאי כל אלגברת לי) היא אלגברת ז'ורדן לא קומוטטיבית.

אף על פי שבאלגברות ז'ורדן לא קומוטטיביות ממד סופי יש רדיקל נילי, הן אינן מקיימות גרסה של המשפט העיקרי של ודרברן.

במאפיין אפס, כל אלגברת ז'ורדן לא קומוטטיבית פשוטה היא (1) אלגברת ז'ורדן, (2) אלגברה גמישה ריבועית, או (3) אלגברה קוואזי-אסוציאטיבית (האחרונות מתקבלות מאלגברה אסוציאטיבית מהדפורמציה <math>\ x*y=\alpha xy+ \beta yx</math>).

=== מבנים נוספים ===

מאז שנות השישים של המאה העשרים הופיעו בספרות המחקר מערכות אלגבריות דומות לאלגברות ז'ורדן. בין אלה אפשר למנות: אלגברות ז'ורדן ריבועיות (המאפשרות הכללה לחוג בסיס כלשהו, לרבות בעל מאפיין 2), מערכות ז'ורדן משולשות, זוגות ז'ורדן וסופר-אלגברות ז'ורדן.

== לקריאה נוספת ==
<div style="text-align:left; direction:ltr; margin-left:1em;">
* Kevin McCrimmon, A Taste of Jordan Algebra
* Algebra VI, Chapter II.3, Kuzmin and Shestakov
</div>

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

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

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