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

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

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

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

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

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

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

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

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

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


 הערות שוליים 

קטגוריה:סדרות של מבנים אלגבריים
קטגוריה:תורת החוגים