אלגברת קיילי – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
Yonidebot (שיחה | תרומות)
מ בוט החלפות: דוגמה; על ידי;
שורה 1:
ב[[מתמטיקה]], '''אלגברת קיילי''' היא [[אלגברה אלטרנטיבית]] [[אלגברה פשוטה|פשוטה]] מ[[ממד (אלגברה לינארית)|ממד]] 8. אלגברות קיילי מתקבלות על- ידי [[בניית קיילי-דיקסון]] מ[[אלגברת קווטרניונים]], והן קשורות למבנים מרכזיים באלגברה לא אסוציאטיבית, ובפרט ל[[G2 (אלגברת לי)|אלגברות לי וחבורות לינאריות מטיפוס G2]]. הדוגמאהדוגמה החשובה ביותר לאלגברת קיילי היא [[אלגברת הקווטרניונים]], שהיא אלגברת החילוק היחידה מממד 8 מעל [[שדה המספרים הממשיים]]. כל חוג אלטרנטיבי פשוט שאינו נילי ואינו אסוציאטיבי הוא אלגברת קיילי
<ref>E. Kleinfeld, Simple alternative rings, Ann. Math. 58, 544-547 (1953)</ref>.
 
כפי שאלגברת קווטרניונים מוגדרת על-פי שני קבועים מעל שדה הבסיס, אלגברת קיילי מוגדרת על-פי שלושה קבועים: האלגברה <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>\ C = Q[z]</math> כאשר Q אלגברת קווטרניונים כלשהי ו- <math>\ z^2=1</math>. במקרה זה,