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

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

בשורה

גרסה מ־11:06, 9 באוגוסט 2007

בתורת החבורות, חבורת התמורות הזוגיות הוא שמה של תת חבורה מסוימת וחשובה של החבורה הסימטרית. לכל מספר טבעי $\ 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_{n}$ כוללת את כל המחזורים באורך 3, בעלי הצורה $\ (abc)$ . קבוצת המחזורים באורך 3 יוצרת את $\ A_{n}$ . אם $\ 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 \ <(12)(34)>\ \leq \ <(12)(34),(14)(23)>\ \leq A_{4}

.

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

מבין הגופים האפלטוניים, חבורת התמורות של הטטרהדרון בן 4 הפאות המשולשות, שווה לחבורה $\ A_{4}$ . חבורות התמורות של הקוביה ושל האוקטהדרון בן 8 הפאות המשולשות איזומורפיות שתיהן לחבורה הסימטרית $\ S_{4}$ . המילטון הוכיח ב-1856 שחבורת תמורות של הדודקהדרון בן 12 הפאות המשולשות ושל האיקוסהדרון בן 20 הפאות המשולשות איזומורפית ל- $\ A_{5}$ .

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

$\ A_{4}=<x,y|x^{2}=y^{3}=(xy)^{3}>$
$\ S_{4}=<x,y|x^{2}=y^{3}=(xy)^{4}>$
$\ A_{5}=<x,y|x^{2}=y^{3}=(xy)^{5}>$

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

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

$\ A_{4}\cong PSL_{2}(\mathbb {F} _{3})$ ,
$\ A_{5}\cong PSL_{2}(\mathbb {F} _{5})$ ,
$\ A_{6}\cong PSL_{2}(\mathbb {F} _{9})$ .

תבנית:נ

@@ שורה 1: / שורה 1: @@
-ב[[תורת החבורות]], '''חבורת התמורות הזוגיות''' הוא שמה של [[תת חבורה]] מסוימת וחשובה של [[החבורה הסימטרית]]. לכל [[מספר טבעי]] <math>\ n</math>, מחצית מבין <math>\ n!</math> ה[[תמורה (מתמטיקה)|תמורות]] בחבורה הסימטרית <math>\ S_n</math> הן בעלות [[סימן (תורת החבורות)|סימן]] <math>\ +1</math>, ומחצית הן בעלות סימן <math>\ -1</math>. הקבוצה של <math>\ \frac{n!}{2}</math> התמורות בעלות סימן חיובי היא תת חבורה מ[[אינדקס (תורת החבורות)|אינדקס]] 2 של <math>\ S_n</math>, שאותה מקובל לסמן באות <math>\ A_n</math>. בסימון זה משתמשים גם עבור הטיפוס של החבורה הסימטרית עצמה, בתור [[חבורת קוקסטר]].
+ב[[תורת החבורות]], '''חבורת התמורות הזוגיות''' הוא שמה של [[תת חבורה]] מסוימת וחשובה של [[החבורה הסימטרית]]. לכל [[מספר טבעי]] <math>\ n</math>, מחצית מבין <math>\ n!</math> ה[[תמורה (מתמטיקה)|תמורות]] בחבורה הסימטרית <math>\ S_n</math> הן בעלות [[סימן (תורת החבורות)|סימן]] <math>\ +1</math>, ומחצית הן בעלות סימן <math>\ -1</math>. הקבוצה של <math>\ \frac{n!}{2}</math> התמורות בעלות סימן חיובי היא תת חבורה מ[[אינדקס (תורת החבורות)|אינדקס]] 2 של <math>\ S_n</math>, שאותה מקובל לסמן באות <math>\ A_n</math> (Alternating Group). בסימון זה משתמשים גם עבור הטיפוס של החבורה הסימטרית עצמה, בתור [[חבורת קוקסטר]].
-כל תמורה אפשר לכתוב כמכפלה של [[חילוף (תורת החבורות)|חילופים]] (טרנספוזיציות). ניתן אמנם להציג תמורה נתונה כמכפלה של חילופים באופנים שונים, ומספרם של החילופים אינו בהכרח קבוע. עם זאת, ה'''זוגיות''' של מספר החילופים, כלומר השארית בחלוקה לשתיים, אינה משתנה. '''חבורת התמורות הזוגיות''' כוללת את התמורות שהן מכפלת [[מספר זוגי]] של חילופים. לדוגמה, היא כוללת את כל ה[[מחזור (תורת החבורות)|מחזורים]] באורך 3, בעלי הצורה <math>\ (abc)</math>. קבוצת המחזורים באורך 3 [[יוצרים של חבורה|יוצרת]] את <math>\ A_n</math>. אם <math>\ n\geq 4</math> אפשר ליצור את החבורה באופן דומה, על ידי התמורות מהצורה <math>\ (ab)(cd)</math> כאשר <math>\ a,b,c,d</math> שונים זה מזה.
+כל תמורה ניתנת לכתיבה כמכפלה של [[תמורה (מתמטיקה)#סוגי תמורות|חילופים]] (טרנספוזיציות). ניתן אמנם להציג תמורה נתונה כמכפלה של חילופים באופנים שונים, ומספרם של החילופים אינו בהכרח קבוע. עם זאת, ה'''זוגיות''' של מספר החילופים, כלומר השארית בחלוקה לשתיים, אינה משתנה. חבורת התמורות הזוגיות כוללת את התמורות שהן מכפלת [[מספר זוגי]] של חילופים. מכיוון שסימן של מכפלת תמורות שווה למכפלת הסימנים (
+<math>\ \mbox{sgn} (\tau\cdot\sigma)=\mbox{sgn}(\tau)\cdot \mbox{sgn}(\sigma)</math>
+), מכפלה של תמורות זוגיות היא זוגית, ולכן אוסף התמורות הזוגויות מהווה חבורה.
+לדוגמה, <math> \ A_n</math> כוללת את כל ה[[תמורה (מתמטיקה)#סוגי תמורות|מחזורים]] באורך 3, בעלי הצורה <math>\ (abc)</math>. קבוצת המחזורים באורך 3 [[חבורה (מבנה אלגברי)#יוצרים ויחסים|יוצרת]] את <math>\ A_n</math>. אם <math>\ n\geq 4</math> אפשר ליצור את החבורה באופן דומה, על ידי התמורות מהצורה <math>\ (ab)(cd)</math> כאשר <math>\ a,b,c,d</math> שונים זה מזה.
-חשיבותן הרבה של החבורות <math>\ A_n</math> נובעת מכך שהן [[חבורה פשוטה|חבורות פשוטות]] לכל <math>\ n\geq 5</math>. בפרט, החבורה <math>\ A_5</math>, שסדרה 60, היא החבורה הפשוטה הקטנה ביותר. משפחה זו של חבורות פשוטות היא הראשונה שהתגלתה. שאר החבורות הפשוטות הסופיות, פרט ל-26 [[חבורה פשוטה ספורדית|החבורות הספורדיות]], הן חבורות של [[מטריצה|מטריצות]] מעל [[שדה סופי|שדות סופיים]].
+חשיבותן הרבה של החבורות <math>\ A_n</math> נובעת מכך שהן [[חבורה פשוטה|חבורות פשוטות]] לכל <math>\ n\geq 5</math>. בפרט, החבורה <math>\ A_5</math>, שסדרה 60, היא החבורה הפשוטה הקטנה ביותר (שאינה [[חבורה ציקלית|ציקלית]]). משפחה זו של חבורות פשוטות היא הראשונה שהתגלתה. שאר החבורות הפשוטות הסופיות, פרט ל-26 [[משפט המיון לחבורות פשוטות סופיות#החבורות הספורדיות|החבורות הספורדיות]], הן חבורות של [[מטריצה|מטריצות]] מעל [[שדה סופי|שדות סופיים]]. העובדה שהחבורות <math> \ A_n</math> הן פשוטות לכל n > 4, משמשת, לדוגמא, בהוכחת אחד המשפטים המרכזיים ב[[תורת גלואה]] - שלא קיימת נוסחא כללית לפתרון [[פולינום]] מדרגה > 4.
 מן העובדה ש-<math>\ A_n</math> פשוטה נובע שזוהי תת החבורה היחידה מאינדקס 2 של החבורה הסימטרית <math>\ S_n</math>; עובדה זו נכונה אפילו כאשר <math>\ n<5</math>. אם <math>\ n\geq 5</math> אז אין לחבורה הסימטרית אף תת חבורה אחרת מאינדקס <math>\ n\geq</math> (זוהי תוצאה של [[העידון של משפט קיילי]]). לעומת זאת, לחבורה <math>\ S_4</math> יש שלוש תת חבורות מאינדקס 3, שכולן איזומורפיות ל[[חבורה דיהדרלית|חבורה הדיהדרלית]] מסדר 8.