משפט פיוצ'רמה – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
מ ←‏הוכחה: הגהה
שורה 35:
:<math>\pi^*\sigma = \begin{pmatrix}1 & 2 & \cdots & k & x & y \\ 1 & 2 & \cdots & k & y & x\end{pmatrix}</math>
 
כעת נסמן ב-<math>\tau</math> תמורה כלשהי על המספרים מ-1 עד n. [[תמורה (מתמטיקה)#פירוק למחזורים|כל תמורה ניתנת לפירוק להרכבה של מעגלים זרים]] (מעגלים שאינם חולקים מספרים). כל אחד מן המעגלים ניתן לטיפול על ידי סדרת החלפות <math>\sigma</math> כפי שהוצג להלןלעיל, כדי להחזיר כל תודעה לגוף שלה. לאחר השלמת הטיפול בכל המעגלים, ייתכן ו-x ו-y יהיו מוחלפים ביניהם בגופים (זה קורה כאשר מספר המעגלים הוא אי-זוגי). במקרה כזה מבצעים את ההחלפה <math>\langle x,y\rangle</math> שטרם נעשה בה שימוש, ומתקבלת תמורת הזהות, כרצוי.
 
==קישורים חיצוניים==