אלגברה ריבועית

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

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

הגדרה 

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

נניח שהמאפיין של שדה הבסיס אינו 2. הליניאריות של  מפרקת את האלגברה לסכום ישר , כאשר  הוא אוסף הווקטורים ה"טהורים" של האלגברה. יש התאמה בין אלגברות ריבועיות  לבין זוגות סדורים של פעולה בינארית אנטי-סימטרית , ותבנית ביליניארית . התאמה זו לאוסף "פרוע" של אובייקטים מראה שאין טעם לנסות למיין אלגברות ריבועיות, אלא אם הן מקיימות תכונות אלגבריות נוספות. J.M. Osborn הראה שהממד של אלגברה ריבועית שבה כל האיברים הפיכים, ושבה כל שני איברים יוצרים תת-אלגברה מדרגה 2 או 4, הוא חזקת-2.

אלגברות ריבועיות עם חילוק 

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

ב-1962 הראה Osborn שבמאפיין שונה מ-2, כל אלגברת חילוק ריבועית היא מהצורה , כאשר: 
 אנאיזוטרופית;
 לכל  בלתי תלויים ליניארית, גם  בלתי תלויים.
גם להפך, כל אלגברה הבנויה באופן כזה היא אלגברה ריבועית עם חילוק.

האלגברה  מקיימת את הזהות הגמישה אם ורק אם  ולכל  מתקיים .

מקורות  

 Nonassociative algebra, Schafer.

הערות שוליים

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