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

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

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

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

את אלגברת האוקטוניונים המפוצלת אפשר להציג באמצעות **וקטורי צורן**, {\displaystyle \ \left({\begin{array}{cc}a&{\vec {u}}\\{\vec {v}}&b\end{array}}\right)}, עם פעולת החיבור הטבעית ופעולת כפל המשתמשת במכפלה הווקטורית. 

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

נורמה
-----

תבנית הנורמה של אלגברת אוקטוניונים קובעת את האלגברה - לפי משפט של נתן ג'ייקובסון, שתי אלגבראות אוקטוניונים ממאפיין שונה מ-2 {\displaystyle C,C'} עם תבניות נורמה {\displaystyle n,n'} הן איזומורפיות אם ורק אם תבניות הנורמה שלהן שקולות (כלומר קיים איזומורפיזם {\displaystyle f\colon C\to C'} כך ש-{\displaystyle n'(f(x))=n(x)}.

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

מעל שדות ממאפיין שונה מ-2 ו-3, אלגברת הנגזרות של אלגברת אוקטוניונים היא אלגברת לי פשוטה מטיפוס G2. במאפיין שאינו 2 או 3, כל נגזרת של האלגברה היא סכום של פעולות מהצורה {\displaystyle \ R\_{[x,y]}-L\_{[x,y]}-3[L\_{x},R\_{y}]}.

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

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

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

1. ↑  E. Kleinfeld, Simple alternative rings, Ann. Math. 58, 544-547 (1953)

| מערכות מספרים |
| --- |
| מספרים | המספרים הטבעיים \mathbb{N} (מערכת פאנו) • חוג המספרים השלמים \mathbb{Z} (מספרים חיוביים ושליליים, מספר שלם) • שדה המספרים הרציונליים \mathbb{Q} (מספר רציונלי, מספר אי-רציונלי) • שדה המספרים הממשיים \mathbb{R} (הישר הממשי, מספר ממשי) • שדה המספרים המרוכבים \mathbb{C} (המישור המרוכב, מספר מרוכב, מספר מדומה) |
| הרחבות של חוג המספרים השלמים | חוג השלמים של גאוס \ \mathbb{Z}[i] • חוג השלמים האלגבריים \ \overline{\mathbb{Z}} • חוג השלמים של אייזנשטיין {\displaystyle \ \mathbb {Z} [\omega ]} |
| הרחבות של שדה המספרים הרציונליים | שדה מספרים • שדה המספרים הניתנים לבנייה • שדה המספרים האלגבריים \ \overline{\mathbb{Q}} (מספר אלגברי, מספר טרנסצנדנטי) • שדה המספרים ה-p-אדיים \mathbb{Q}\_p (מספר p-אדי) • שדה ציקלוטומי |
| מעבר למרוכבים | אלגברת קווטרניונים (אלגברת הקווטרניונים של המילטון \ {\mathbb{H}}) • אלגברת אוקטוניונים (אלגברת האוקטוניונים של קיילי \ {\mathbb{O}}) • אלגברות קיילי-דיקסון |

|  |  |
| --- | --- |
| בקרת זהויות עריכת הנתון בוויקינתונים | 
* NLI: 987007284986305171
* BnF: cb11983016m (data)
* GND: 4303157-2
* LCCN: sh85021557
* SUDOC: 027884082

 |