הצגת המקור של הדף "אלגברה ריבועית"

ב[[מתמטיקה]], '''אלגברה ריבועית''' היא [[אלגברה לא אסוציאטיבית]] (עם יחידה) <math>A</math> שכל איבר שלה שייך להרחבה דו-ממדית של שדה הבסיס{{הערה|1=ב-Bourbaki, Algebra I, פרק II.2.3, השם quadratic algebra מתייחס לאלגברה דו-ממדית בלבד.}}. הדוגמה הבולטת לאלגברה כזו היא [[אלגברת הרכב]], כגון [[אלגברת קווטרניונים]], ובפרט [[אלגברת מטריצות|אלגברת המטריצות]] <math>\operatorname{M}_2(F)</math>. באופן כללי יותר, כל אלגברה המתקבלת מ[[בניית קיילי-דיקסון]] היא ריבועית. 

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

== הגדרה ==

כחלק מן ההגדרה, אלגברה ריבועית מצוידת במבנה נוסף: לכל איבר <math>x\in A</math> קיימים <math>t(x),n(x) \in F</math> כך ש-<math>x^2 - t(x)x+n(x) = 0</math>. אם ה[[מאפיין של שדה|מאפיין]] של שדה הבסיס הוא 2, דורשים שהפונקציה <math>t</math> תהיה ליניארית. הליניאריות הזו נובעת מן ההגדרה בכל מאפיין אחר, אבל במאפיין 2, יש [[אלגברה בוליאנית|אלגברות בוליאניות]] שכל איבר שלהן שייך להרחבה דו-ממדית, אבל אינן ריבועיות (משום שלא ניתן לבחור את <math>t</math> כך שתהיה ליניארית). כשהמאפיין אינו 2, הפונקציה <math>n</math> היא [[תבנית ריבועית]] כפלית: <math>n(xy) = n(x)n(y)</math>, ואם היא אינה מנוונת, <math>A</math> נעשית [[אלגברת הרכב]]. אלגברה ריבועית [[אלגברה אלטרנטיבית|אלטרנטיבית]] היא אלגברת הרכב [[אם ורק אם]] תבנית הנורמה אינה מנוונת{{הערה|McCrimmon, Nonassociative algebras with scalar involutions, 1985, Prop. 4.6}}.

נניח שהמאפיין של שדה הבסיס אינו 2. הליניאריות של <math>t</math> מפרקת את האלגברה ל[[סכום ישר]] <math>A = F \oplus V</math>, כאשר <math>V = \operatorname{Ker}(t)</math> הוא אוסף הווקטורים ה"טהורים" של האלגברה. יש התאמה בין אלגברות ריבועיות <math>A = F+V</math> לבין [[זוג סדור|זוגות סדורים]] של [[פעולה בינארית]] אנטי-סימטרית <math>\eta : V \times V \rightarrow V</math>, ותבנית ביליניארית <math>b : V \times V \rightarrow F</math>. התאמה זו לאוסף "פרוע" של אובייקטים מראה שאין טעם לנסות למיין אלגברות ריבועיות, אלא אם הן מקיימות תכונות אלגבריות נוספות. J.M. Osborn הראה שהממד של אלגברה ריבועית שבה כל האיברים הפיכים, ושבה כל שני איברים יוצרים תת-אלגברה מדרגה 2 או 4, הוא חזקת-2.

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

יהי <math>V</math> [[מרחב וקטורי]] מעל שדה <math>F</math>. נסמן ב-<math>H(V,b,\xi,\eta)</math> את האלגברה הריבועית <math>F+V</math> עם פעולת הכפל <math>(\alpha+v)(\alpha'+v') = (\alpha\alpha' - b(\alpha,\alpha') + \xi(v,v')) + (\alpha v' + \alpha' v + \eta(v \otimes v'))</math>, כאשר: 
* <math>b : V \times V \rightarrow k</math> היא [[תבנית ביליניארית]] סימטרית; 
*<math>\xi : V \times V \rightarrow k</math> היא תבנית ביליניארית אנטיסימטרית;
* ו-<math>\eta : V \otimes V \rightarrow V</math> היא פעולה אנטי-קומוטטיבית.

ב-[[1962]] הראה Osborn שבמאפיין שונה מ-2, כל [[אלגברת חילוק]] ריבועית היא מהצורה <math>H(V,b,\xi,\eta)</math>, כאשר: 
*<math>\langle 1\rangle \perp b</math> אנאיזוטרופית;
* לכל <math>x,y\in V</math> [[תלות ליניארית|בלתי תלויים ליניארית]], גם <math>x,y, \eta(x \otimes y)</math> בלתי תלויים.
גם להפך, כל אלגברה הבנויה באופן כזה היא אלגברה ריבועית עם חילוק.

האלגברה <math>H(V,b,\xi,\eta)</math> מקיימת את [[הזהות הגמישה]] אם ורק אם <math>\xi = 0</math> ולכל <math>x,y</math> מתקיים <math>b(\eta(x \otimes y),y) = 0</math>{{הערה|1=J. Marshall Osborn, Quadratic division algebras, Transactions of the AMS 105(2), 1962}}.

== מקורות == 

* Nonassociative algebra, Schafer.

==הערות שוליים==
{{הערות שוליים|יישור=ימין}}

[[קטגוריה:טיפוסי חוגים]]
[[קטגוריה:אלגברה לא אסוציאטיבית]]