החבורה הסימטרית

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

כאשר הקבוצה  סופית, ניתן להניח שאבריה הם , ואז מסמנים את חבורת הסימטריות שלה ב-, שבה יש  איברים הנקראים תמורות.

 הגדרות וסימונים
מחזורים וחילופים
מחזור מסדר r הוא תמורה בה r איברים מחליפים ביניהם מקומות באופן מעגלי (נקרא גם אופן ציקלי). את המחזור מסמנים על ידי כתיבת אברי המחזור בתוך סוגריים עגולים, כאשר התמונה של כל אבר היא האיבר שרשום אחריו. לדוגמה,  הוא מחזור מסדר 4, שבו    ולכל שאר המספרים מתקיים . 

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

מחזור באורך 2 נקרא חילוף.

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

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

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

דוגמה לכפל (הרכבה) תמורות
יהיו  

ו-

משמעות הסימון  היא התמורה המתקבלת מהפעלת g ואחריה את  f. . (כי g מעביר את 1 ל-2 ולאחר מכן f משאיר את 2 במקום, וכן הלאה). יש לשים לב שבאופן כללי כפל תמורות אינו חילופי, כלומר .

סימן של תמורה
כאמור, חילוף היא תמורה שמחליפה שני איברים זה בזה ואת השאר היא משאירה במקום. ניתן להוכיח שכל תמורה יכולה להיכתב כמכפלה של חילופים. לדוגמה, קל לבדוק שכל מחזור מקיים את השוויון .

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

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

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

הסימן של מחזור מאורך  הוא .

 תכונות של החבורות הסימטריות 

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

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

 מחלקות צמידות 
הצמדה של מחזור שומרת על מבנה המחזור:  ולפיכך מחלקות הצמידות ב-מתאימות למבני מחזורים זרים.

 תת-החבורות 

לפי משפט קיילי, כל חבורה סופית מופיעה כתת-חבורה של חבורה סימטרית מגודל מתאים. משפט O'Nan-Scott  ממיין את תת-החבורות המקסימליות של החבורות הסימטריות. המיון מחלק את תת-החבורות המקסימליות לשלושה סוגים: לא-טרנזיטיביות, לא-פרימטיביות, ופרימיטיביות. בשני החלקים הראשונים התיאור פשוט, אבל בחלק האחרון יש להביא בחשבון את החבורות שהן כמעט פשוטות, ופרטי החלק הזה נשענים על משפט המיון. 

 תורת ההצגות 

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

 ראו גם 
 סימטריה
 תמורה
 חבורת סימטריות
 דטרמיננטה
 חבורת התמורות הזוגיות

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


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