חבורת התמורות הזוגיות

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

בתורת החבורות, חבורת התמורות הזוגיות הוא שמה של תת חבורה נורמלית מסוימת וחשובה של החבורה הסימטרית. לכל מספר טבעי \ 1<n, מחצית מבין \ n! התמורות בחבורה הסימטרית \ S_n הן בעלות סימן \ +1, ומחצית הן בעלות סימן \ -1. הקבוצה של \ \frac{n!}{2} התמורות בעלות סימן חיובי היא תת-חבורה מאינדקס 2 של \ S_n - חבורת התמורות הזוגיות. מקובל לסמן חבורה זו באות \ A_n (Alternating Group). בעקבות המיון של מערכות שורשים, סימון זה מתאר בהקשרים אחרים גם את הטיפוס של החבורה הסימטרית עצמה, בתור חבורת קוקסטר.

כל תמורה ניתנת לכתיבה כמכפלה של חילופים (טרנספוזיציות). ניתן להציג תמורה נתונה כמכפלה של חילופים באופנים שונים, ומספרם של החילופים אינו בהכרח קבוע; עם זאת, הזוגיות של מספר החילופים, כלומר השארית בחלוקה לשתיים, אינה משתנה. חבורת התמורות הזוגיות כוללת את התמורות שהן מכפלת מספר זוגי של חילופים. מכיוון שסימן של מכפלת תמורות שווה למכפלת הסימנים (\ \mbox{sgn} (\tau\cdot\sigma)=\mbox{sgn}(\tau)\cdot \mbox{sgn}(\sigma)), מכפלה של תמורות זוגיות היא זוגית, ולכן אוסף התמורות הזוגיות מהווה חבורה.

לדוגמה,  \ A_3 כוללת את כל המחזורים באורך 3, בעלי הצורה \ (abc). קבוצת המחזורים באורך 3 יוצרת את \ A_3. אם \ n\geq 4 אפשר ליצור את החבורה באופן דומה, על ידי התמורות מהצורה \ (ab)(cd) כאשר \ a,b,c,d שונים זה מזה.

חשיבותן הרבה של החבורות \ A_n נובעת מכך שהן חבורות פשוטות לכל \ n\geq 5. בפרט, החבורה \ A_5, שסדרה 60, היא החבורה הפשוטה הקטנה ביותר (שאינה ציקלית). משפחה זו של חבורות פשוטות היא הראשונה שהתגלתה. שאר החבורות הפשוטות הסופיות, פרט ל-26 החבורות הספורדיות, הן חבורות של מטריצות מעל שדות סופיים. העובדה שהחבורות  \ A_n הן פשוטות לכל n > 4, משמשת, לדוגמה, בהוכחת אחד המשפטים המרכזיים בתורת גלואה - שלא קיימת נוסחה כללית לפתרון פולינום מדרגה > 4.

מן העובדה ש-\ A_n פשוטה נובע שזוהי תת-החבורה היחידה מאינדקס 2 של החבורה הסימטרית \ S_n; עובדה זו נכונה אפילו כאשר \ n<5. אם \ n\geq 5 אז אין לחבורה הסימטרית אף תת-חבורה אחרת מאינדקס \ n\geq (זוהי תוצאה של העידון של משפט קיילי). לעומת זאת, לחבורה \ S_4 יש שלוש תת-חבורות מאינדקס 3, שכולן איזומורפיות לחבורה הדיהדרלית מסדר 8.

החבורות הקטנות[עריכת קוד מקור | עריכה]

חבורת התמורות הזוגיות \ A_4 אינה פשוטה: יש לה סדרת ההרכב

\ \{1\} \leq \ \langle(12)(34)\rangle \ \leq \ \langle(12)(34),(14)(23)\rangle \ \leq A_4.

חבורה זו מספקת את הדוגמה הנגדית הקטנה ביותר לכיוון ההפוך של משפט לגראנז': אין לה תת-חבורה מסדר 6.

מבין הגופים האפלטוניים, חבורת התמורות של הטטרהדרון בן 4 הפאות המשולשות, שווה לחבורה \ A_4. חבורות התמורות של הקובייה ושל האוקטהדרון בן 8 הפאות המשולשות איזומורפיות שתיהן לחבורה הסימטרית \ S_4. המילטון הוכיח ב-1856 שחבורת תמורות של הדודקהדרון בן 12 הפאות המחומשות ושל האיקוסהדרון בן 20 הפאות המשולשות איזומורפית ל- \ A_5.

לתאור גאומטרי זה של החבורות יש קשר הדוק להצגה שלהן לפי יוצרים ויחסים:

  • \ A_4 = \langle x,y | x^2=y^3=(xy)^3=1\rangle
  • \ S_4 = \langle x,y | x^2=y^3=(xy)^4=1\rangle
  • \ A_5 = \langle x,y | x^2=y^3=(xy)^5 =1\rangle

להשלמת התמונה, יש לציין כי החבורה \ \langle x,y | x^2=y^3=(xy)^6 =1\rangle אינסופית וגרף קיילי שלה מרצף את המישור באמצעות משולשים ותריסריונים משוכללים.

בכמה מקרים אפשר להציג חבורה של תמורות זוגיות גם כחבורה של מטריצות מעל שדה סופי: \ A_4 \cong \mbox{PSL}_2(\mathbb{F}_3), \ A_5 \cong \mbox{PSL}_2(\mathbb{F}_5) ו-\ A_6 \cong \mbox{PSL}_2(\mathbb{F}_9). לעומת זאת, \ A_8 ו- \ \mbox{PSL}_3(\mathbb{F}_4) הן חבורות פשוטות לא-איזומורפיות מאותו סדר [1].

הערות שוליים[עריכת קוד מקור | עריכה]

  1. ^ J. Rotman, An Introduction to the Theory of Groups, Thm. 8.24.