החבורה הסימטרית – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף

בשורה

גרסה מ־00:02, 6 במאי 2007

במתמטיקה, החבורה הסימטרית על קבוצה $\ X$ מסומנת $\ S_{x}$ או $\ Sym(x)$ , היא חבורה המכילה את כל הפונקציות החד-חד ערכיות ועל מ- $\ X$ ל- $\ X$ כאשר הפעולה בחבורה היא הרכבת פונקציות.

כאשר הקבוצה $\ X$ סופית, נוח למספר את אבריה ואז ניתן להתייחס אליה כאל הקבוצה $\ X=\{1,...,n\}$ , שאת חבורת הסימטריה מעליה נהוג לסמן ב- $\ S_{n}$ . איברים ב- $\ S_{n}$ נקראים תמורות, ויש $\ n!$ כאלה.

הגדרות

חילוף הוא תמורה המחליפה בין מקומותיהם של שני איברים. לדוגמה: החילוף (ab) שם את b במקום של a ואת a במקום של b. מחזור זוהי תמורה אי-זוגית (ראו הרחבה בהמשך).

מחזור (Cycle) מסדר r: הוא תמורה בה r איברים מחליפים ביניהם מקומות בסדר מעגלי. דוגמה: נסתכל במחזור מסדר-3 הבא (abc) במחזור זה האיבר a עובר למקום של b, האיבר b עובר למקום של c ואילו c עובר למקום של a. נשים לב שחילוף הוא מחזור מסדר 2. הזוגיות של מחזור היא הסדר שלו פחות 1. ניתן לכתוב כל תמורה כמכפלה של מחזורים זרים.

רישום תמורות באמצעות מטריצה:
דרך נוספת לרשום תמורות באמצעות מטריצה דו-שורתית עם n עמודות. השורה הראשונה מייצג את המצב ההתחלתי של הרצף (בדרך כלל כשאר כל איבר נמצא במקומו הטבעי [1 ב-1, 2 ב-2 וכו]) ואילו השורה השנייה מצייגת את המצב של האיברים אחרי הפעלת התמורה עליהם. למשל:

f=(1\ 2\ 3)={\begin{bmatrix}1&2&3\\2&3&1\end{bmatrix}}

הוא הייצוג במטריצה של מחזור מסדר-3 על הקבוצה {1,2,3}.

שיטת כתיבה זו מסורבלת למדי ולרוב משתמשים בייצוג בעזרת מחזורים זרים.

דוגמה

יהיו $f=(1\ 3)(2)(4\ 5)={\begin{bmatrix}1&2&3&4&5\\3&2&1&5&4\end{bmatrix}}$

ו- $g=(1\ 2\ 5)(3\ 4)={\begin{bmatrix}1&2&3&4&5\\2&5&4&3&1\end{bmatrix}}$

מפעילים את $\ g$ ואז את $\ f$ , $\ 1$ עובר ל- $\ 2$ ו- $\ 2$ לעצמו, $\ 2$ ל- $\ 5$ ל- $\ 4$ וכן הלאה מקבלים: $fg=(1\ 2\ 4)(3\ 5)={\begin{bmatrix}1&2&3&4&5\\2&4&5&1&3\end{bmatrix}}$ .

חילופים וסימנים

חילוף היא תמורה שמחליפה שני איברים זה בזה ואת השאר היא משאירה במקום. לדוגמה ב- $\ (1\ 3)(2)(4)(5)$ התמורה $\ S_{x}$ שניתן לכתוב $\ (1\ 3)$ היא היפוך. ניתן להוכיח שכל תמורה יכולה להיכתב כמכפלה של חילופים, $\ g$ מהדוגמה הקודמת תיכתב $\ (1\ 2)(2\ 5)(3\ 4)$ .

תמורה שהיא מכפלה של מספר זוגי של חילופים נקראת תמורה זוגית, ואילו תמורה שהיא מכפלה אי-זוגית של חילופים נקראת תמורה אי-זוגית. בדוגמה שלנו $\ g$ היא מכפלה של שלוש חילופים ולכן היא אי-זוגית בעוד $\ f$ היא תמורה זוגית. למרות שההצגה של תמורה בתור מכפלת חילופים אינה יחידה, תמיד ההצגה היא זוגית או אי-זוגית ולכן זה מוגדר היטב.

המכפלה של שתי תמורות זוגיות היא זוגית, שתי אי-זוגיות היא גם זוגית, והמכפלה של תמורה זוגית עם תמורה אי-זוגית היא אי-זוגית.

לכן ניתן להגדיר את הסימן של תמורה $\ f$ כ- $\ sign(f)=+1$ אם התמורה זוגית ו- $\ sign(f)=-1$ אם היא אי-זוגית.

ההעתקה: $\ sign:S_{n}\rightarrow \{+1-1\}:$ המוגדרת היא הומומורפיזם של חבורות ( $\ \{+1-1\}$ היא חבורה ביחס לפעולת הכפל). גרעין ההעתקה, כלומר קבוצת התמורות הזוגיות, נקרא חבורת התמורות הזוגיות ומקובל לסמן אותו באות $\ A_{n}$ . זוהי תת חבורה נורמלית של $\ S_{n}$ ויש בה בדיוק $\ n!/2$ איברים.

ראו גם

@@ שורה 34: / שורה 34: @@
 לכן ניתן להגדיר את ה'''סימן''' של תמורה <math>\ f</math> כ-<math>\ sign(f)=+1</math> אם התמורה זוגית ו-<math>\ sign(f)=-1</math> אם היא אי-זוגית.
-ההעתקה: <math>\ sign:S_n\rightarrow\{+1-1\}:</math> המוגדרת היא [[הומומורפיזם (אלגברה)|הומומורפיזם]] של חבורות <math>\ \{+1-1\}:</math> היא חבורה תחת כפל שאיבר היחידה הוא <math>\ 1</math>). גרעין ההעתקה, כלומר קבוצת התמורות הזוגיות נקראת [[חבורת התמורות הזוגיות]] ומסומנת <math>\ A_n</math>. <math>\ A_n</math> היא [[תת חבורה נורמלית]] של <math>\ S_n</math> ויש בה בדיוק <math>\ n!/2</math> איברים.
+ההעתקה: <math>\ sign:S_n\rightarrow\{+1-1\}:</math> המוגדרת היא [[הומומורפיזם (אלגברה)|הומומורפיזם]] של חבורות (<math>\ \{+1-1\}</math> היא חבורה ביחס לפעולת הכפל). גרעין ההעתקה, כלומר קבוצת התמורות הזוגיות, נקרא [[חבורת התמורות הזוגיות]] ומקובל לסמן אותו באות <math>\ A_n</math>. זוהי [[תת חבורה נורמלית]] של <math>\ S_n</math> ויש בה בדיוק <math>\ n!/2</math> איברים.
 == ראו גם ==