אלגברת אוקטוניונים

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

כפי שאלגברת קווטרניונים מוגדרת על-פי שני קבועים מעל שדה הבסיס, אלגברת אוקטוניונים מוגדרת על-פי שלושה קבועים: האלגברה <math>\ (Q,\gamma)=(\alpha,\beta,\gamma)</math> היא זו המתקבלת בבניית קיילי-דיקסון מאלגברת הקווטרניונים <math>\ Q=(\alpha,\beta) = F[x,y|x^2=\alpha,y^2=\beta,yx=-xy]</math> (ההצגה - בהנחה שהמאפיין שונה מ-2) על ידי סיפוח איבר z המקיים <math>\ z^2 = \gamma</math>.

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

אלגברת האוקטוניונים המפוצלת

את אלגברת האוקטוניונים המפוצלת אפשר להציג באמצעות וקטורי צורן, <math>\ \left(\begin{array}{cc}a & \vec{u} \\ \vec{v} & b \end{array}\right)</math>, עם פעולת כפל הממשיכה את <math>\ \left(\begin{array}{cc} 0 & \vec{u} \\ \vec{v} & 0 \end{array}\right) \cdot \left(\begin{array}{cc}0 & \vec{u}' \\ \vec{v}' & 0 \end{array}\right) = \left(\begin{array}{cc} \vec{u} \cdot \vec{v}' & \vec{v} \times \vec{v}' \\ \vec{u} \times \vec{u}' & \vec{v} \cdot \vec{u}' \end{array}\right)</math>, כאשר ברכיבים שמחוץ לאלכסון המכפלה היא המכפלה הווקטורית. האינוולוציה מוגדרת כך שכל מטריצה בעלת עקבה אפס היא אנטיסימטרית.

אם יש באלגברת אוקטוניונים אידמפוטנט, אז היא מפוצלת, ושווה ל- <math>\ C = Q[z]</math> כאשר Q אלגברת קווטרניונים כלשהי ו- <math>\ z^2=1</math>. במקרה זה, <math>\ e = \frac{1}{2}(z+1)</math> אידמפוטנט, וביחס אליו המרכיבים בפירוק פירס הם <math>\ C_{00} = F(z-1), C_{11} = F(z+1), C_{01} = (z-1)Q_0, C_{10} = (z+1)Q_0</math>, כאשר <math>\ Q_0</math> הוא מרחב האיברים בעלי עקבה 0 ב-Q.

נורמה

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

אלגברת הנגזרות

מעל שדות ממאפיין שונה מ-2 ו-3, אלגברת הנגזרות של אלגברת אוקטוניונים היא אלגברת לי פשוטה מטיפוס G2. במאפיין שאינו 2 או 3, כל נגזרת של האלגברה היא סכום של פעולות מהצורה <math>\ R_{[x,y]}-L_{[x,y]}-3[L_x,R_y]</math>.

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

• אלגברת אוקטוניונים, באתר MathWorld (באנגלית)

הערות שוליים

</math> • חוג השלמים של אייזנשטיין <math>\ \mathbb{Z}[\omega]</math>

|קבוצה3=הרחבות של שדה המספרים הרציונליים |רשימה3=שדה מספרים • שדה המספרים הניתנים לבנייה • שדה המספרים האלגבריים <math>\ \overline{\mathbb{Q}}</math> (מספר אלגברי, מספר טרנסצנדנטי) • שדה המספרים ה-p-אדיים <math>\mathbb{Q}_p</math> (מספר p-אדי) • שדה ציקלוטומי |קבוצה4=מעבר למרוכבים |רשימה4=אלגברת קווטרניונים (אלגברת הקווטרניונים של המילטון <math>\ {\mathbb{H}}</math>) • אלגברת אוקטוניונים (אלגברת האוקטוניונים של קיילי <math>\ {\mathbb{O}}</math>) • אלגברות קיילי-דיקסון |יישור טקסט=ימין |קטגוריה= }}