אלגברת הרכבה

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

באלגברה מופשטת, אלגברת הרכבה היא מבנה אלגברי הכולל אלגברה, שאינה בהכרח אסוציאטיבית מעל שדה F, עם תבנית ריבועית לא מנוונת N, המקיימת את תנאי ההרכבה \ N(xy)=N(x)N(y). בגלל תכונת הכפל, התבנית N נקראת גם נורמה.

הדוגמה המוכרת ביותר לאלגברה כזו היא שדה המספרים המרוכבים, כאלגברה מעל הממשיים, שם התבנית היא \ N(x+iy) = x^2+y^2.

ידוע שהממדים האפשריים לאלגברת הרכב, בין אם יש לה איבר יחידה ובין אם אין איבר כזה, הם 1, 2, 4 או 8. (זוהי תוצאה של משפט הורוויץ על תבניות ריבועיות כפליות). יתרה מזו, ידוע שכל אלגברת הרכבה עם איבר יחידה היא אחד מן הבאים: שדה הבסיס, סכום ישר של שני עותקים שלו, הרחבה ריבועית של שדה הבסיס, אלגברת קווטרניונים, או אלגברת קיילי. בפרט, כולן אלטרנטיביות ריבועיות.

מן התבנית הריבועית N אפשר לחשב תבנית בי-לינארית סימטרית \ B(x,y)=N(x+y)-N(x)-N(y), הנקראת התבנית הפולרית של N. במאפיין שונה מ- 2 אפשר לשחזר את N מתוך B, באמצעות הנוסחה \ N(x)=\frac{1}{2}B(x,x).

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

התנאים הבאים שקולים זה לזה, עבור אלגברה עם יחידה:

  • C מממד 2 או יותר, וקיימת תבנית בילינארית N ההופכת את C לאלגברת הרכבה;
  • C היא אלגברה אלטרנטיבית ספרבילית מדרגה 2;
  • C היא אלגברה אלטרנטיבית, עם אינוולוציה \ x\mapsto x^* כך ש- \ x+x^* \in F, \ N(x) = xx^* \in F, והתבנית הריבועית N אינה מנוונת.

אם C אלגברת הרכבה עם יחידה, אפשר להגדיר את האינוולוציה האמורה לפי הנוסחה \ x^*=B(x,1)1-x, כאשר B התבנית הפולרית של N.

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

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

אלגברות אלו נקראות אלגברות הורוויץ.

תבנית הנורמה[עריכת קוד מקור | עריכה]

תבנית הנורמה של אלגברת הורוויץ היא תבנית פיסטר, כלומר, תבנית ריבועית עם מקדמים \ <1,a> בממד 2, מקדמים \ <1,a,b,ab> בממד 4, ומקדמים \ <1,a,b,c,ab,ac,bc,abc> בממד 8. אם תבנית כזו היא איזוטרופית (היינו, מייצגת את 0 באופן לא טריוויאלי), אז היא תבנית ריבועית היפרבולית. שתי אלגברות הורוויץ הן איזומורפיות אם ורק אם יש איזומטריה בין תבניות הנורמה שלהן. מכאן נובע שיש בדיוק אלגברת קווטרניונים אחת שאינה אלגברת חילוק - הלוא היא אלגברת המטריצות \ M_2(F); כמו כן, יש בדיוק אלגברת אוקטוניונים אחת שאינה אלגברת חילוק - אלגברת האוקטוניונים המפוצלת.

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

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

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

כל אלגברת הרכבה דומה לאלגברת הרכבה עם יחידה, במובן הבא: אם M אלגברת הרכבה עם תבנית ריבועית N, אז קיים איבר \ u\in M כך ש- \ N(u)=1; אז פעולות הכפל מימין ומשמאל \ L_u(x)=ux ו- \ R_u(x)=xu הפיכות, והפעולה \ x \star y = (R_u^{-1}(x)) (L_u^{-1}(y)) הופכת את M לאלגברת הרכבה עם יחידה (ביחס לאותה נורמה N). מכאן נובע שהממד של אלגברת הרכבה (גם ללא איבר יחידה) הוא 1, 2, 4 או 8. כל איזומורפיזם בין אלגברות הרכבה עם יחידה הוא גם איזומטריה של תבניות הנורמה, ומכאן נובע שכל אלגברות ההרכבה עם יחידה הדומות ל-M, איזומורפיות זו לזו.

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

אלגברת הרכבה (בלי יחידה) היא סימטרית, אם התבנית \ B(x,y)=N(x+y)-N(x)-N(y) היא אסוציאטיבית, כלומר, \ B(xy,z)=B(x,yz). תכונה זו מתקיימת אם ורק אם האלגברה מקיימת את האקסיומה \ x(yx)=(xy)x=N(x)y (השוויון באגף שמאל הוא הזהות הגמישה).

כל אלגברת הרכבה המקיימת את הזהות הגמישה היא סימטריו או בעלת איבר יחידה. מעל שדה בן יותר מ-2 אברים, אפילו האקסיומה \ x(xx)=(xx)x מספיקה לשם כך. אלגברות הרכבה סימטריות כמעט לעולם אינן בעלות חזקה אסוציאטיבית (פרט לשדה F עצמו, הדוגמה היחידה היא מממד 2 מעל השדה הסופי \mathbb{F}_2). למעשה, באלגברת הרכבה סימטרית מממד 2 ומעלה אין איבר יחידה.

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

אם C אלגברת הורוויץ עם אינוולוציה \ x \mapsto x^*, אפשר להגדיר עליה פעולת כפל חדשה \ x\star y = x^* y^*. ביחס לפעולה זו, C הופכת להיות אלגברת הרכבה סימטרית (ומאבדת את איבר היחידה שלה). האלגברה המתקבלת באופן זה נקראת אלגברת פָּ‏רה-הורוויץ (וכך מוגדרות, בפרט, אלגברות פרה-קווטרניונים ואלגברות פרה-קיילי). אלגברת הרכבה סימטרית היא אלגברת פרה-הורוויץ אם ורק אם יש בה אידמפוטנט e המקיים \ ex=xe=-x לכל איבר x כך ש- \ B(x,e)=0.

כהכללה של הבניה הקודמת, אם \ \varphi הוא אוטומורפיזם של אלגברת הורוויץ C המקיים \ \varphi^3 = 1, אז אפשר להגדיר פעולת כפל חדשה לפי \ x \star y = \varphi(x^*)\varphi^2(y^*) (אם \ \varphi=1, מתקבלת אלגברת פרה-הורוויץ). גם אלו אלגברות הרכבה סימטריות, הנקראות אלגברות Petersson. אלגברת הרכבה סימטרית היא אלגברת Petersson אם ורק אם יש בה אידמפוטנט. בכל אלגברת הרכבה סימטרית אפשר למצוא אידמפוטנט לאחר הרחבת סקלרים מממד 3.

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

תהי R אלגברה אלטרנטיבית ספרבילית (עם יחידה), ונניח ש- \ \lambda^3-T_R(x)\lambda^2+S_R(x)\lambda-N_R(x) הוא הפולינום המינימלי הגנרי של R. בפרט, R היא אלגברה מדרגה 3. אם יש בשדה הבסיס F שורשי יחידה מסדר 3, אפשר להגדיר על האוסף \ R^0 של איברים בעלי עקבה 0 ב- R, פעולת כפל חדשה, \ x\star y = \frac{1-\rho}{3}xy+\frac{1-\rho^2}{3}yx-\frac{1}{3}T_R(xy). האלגברה המתקבלת היא אלגברת הרכבה סימטרית, עם תבנית הנורמה \ n(x) = -\frac{1}{3}S_R(x). אם אין ב- F שורשי יחידה מסדר 3, מחליפים את R באוסף האיברים הסימטריים באלגברה אלטרנטיבית ספרבילית מעל ההרחבה הריבועית \ F[\rho], ביחס לאינוולוציה אוניטרית. מתברר שבניות אלה מכסות את כל אלגברות ההרכבה הסימטריות:

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

  • \ L^0, כאשר L שדה הרחבה ספרבילי מממד 3, או \ F\times K כאשר K ריבועי ספרבילי, או \ F\times F \times F;
  • אלגברת פרה-קווטרניונים;
  • אלגברת פרה-קיילי;
  • אם יש ב- F שורשי יחידה מסדר 3 - האלגברה \ A^0, כאשר A אלגברה ציקלית מדרגה 3 מעל F;
  • אם אין ב- F שורשי יחידה מסדר 3 - האלגברה \ Sym(B,\tau)^0, כאשר \ B אלגברה ציקלית מדרגה 3 מעל \ F[\rho_3], \ \tau אינוולוציה אוניטרית של B, ו- \ Sym(B,\tau) אוסף האיברים הסימטריים (שהוא מממד 9 מעל F).

מאלה, האלגברות בקבוצה הראשונה הן מממד 2, האלגברות בקבוצה השנייה מממד 4, והאחרונות מממד 8.

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

  • M.A. Knus, A. Merkurjev, M. Rost and J.-P. Tignol, The book of Involutions, פרק 8.
  • J.H. Conway and D.A. Smith, On Quaternions and Octonions, פרק 6.
  • R.D. Schafer, An introduction to Nonassociative Algebras, פרק III.7.