זהות קפלי – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
אין תקציר עריכה |
אין תקציר עריכה |
||
שורה 1:
בתורת החוגים, '''זהות קפלי''' היא הזהות <math> c_n=0</math>, כאשר <math> c_n = \sum_{\sigma \in S_n} \operatorname{sgn}(\sigma) x_{\sigma(1)}y_1 x_{\sigma(2)}y_2 \cdots x_{\sigma(n)}y_n</math> הוא '''פולינום קפלי''' ב-2n משתנים. כל אלגברה מממד קטן מ-n מקיימת את הזהות <math> c_n=0</math>. התפקיד המרכזי של זהויות קפלי בתורת ה[[חוג עם זהויות|חוגים עם זהויות]] ("חוגי-PI") נובע מכך שכל אלגברת PI אפינית מקיימת זהות קפלי כלשהי.
הזהות <math> c_n=0</math> נובעת מן הזהות <math> c_{n-1}=0</math>, כך שהתנאי <math> c_n=0</math> הולך ונעשה חלש כאשר n גדל. פולינום f נקרא '''n-מתחלף''' אם לכל <math> 1\leq i,j \leq n</math> מתקיים <math> f(...,x_i,...,x_j,...) = -f(...,x_j,...,x_i,...)</math>. פולינום קפלי ה-n-י הוא n-מתחלף; וכזהות, הוא הפולינום ה-n-מתחלף הכללי ביותר: <math> c_n=0</math> היא זהות של האלגברה A, אם ורק אם כל פולינום n-מתחלף הוא זהות של A. לדוגמא, את הזהות הסטנדרטית <math> s_n = \sum_{\sigma \in S_n} \operatorname{sgn}(\sigma)x_{\sigma(1)}\cdots x_{\sigma(n)} </math> אפשר להסיק מהזהות <math> c_n </math> על-ידי ההצבה <math> y_i \mapsto 1</math> (והיא אכן n-מתחלפת). אלגברת המטריצות <math> M_n(F)</math> (מעל שדה F) מקיימת את זהות קפלי <math> c_{n^2+1}</math>, אבל לא את הזהות <math> c_{n^2}</math>. האלגברה <math> M_n(R)</math> מקיימת את <math> c_{n^2+1}</math> אם ורק אם R קומוטטיבי.
קמר הוכיח שבמאפיין חיובי, כל אלגברת-PI מקיימת זהות קפלי. הוא הראה גם שבמאפיין 0, כל אלגברת-PI אפינית מקיימת זהות כזו. [[אלגברת גרסמן]] היא דוגמא לאלגברה לא אפינית, במאפיין 0, שאינה מקיימת אף זהות קפלי.
|