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

תוכן שנמחק תוכן שנוסף
Felagund-bot (שיחה | תרומות)
מ בוט - מחליף דוגמא בדוגמה
Felagund-bot (שיחה | תרומות)
מ בוט - מחליף מסויימ במסוימ
שורה 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>. בסימון זה משתמשים גם עבור הטיפוס של החבורה הסימטרית עצמה, בתור [[חבורת קוקסטר]].
 
כל תמורה אפשר לכתוב כמכפלה של [[חילוף (תורת החבורות)|חילופים]]. ניתן אמנם להציג תמורה נתונה כמכפלה של חילופים באופנים שונים, ומספרם של החילופים אינו בהכרח קבוע. עם זאת, ה'''זוגיות''' של מספר החילופים, כלומר השארית בחלוקה לשתיים, אינה משתנה. '''חבורת התמורות הזוגיות''' כוללת את התמורות שהן מכפלת [[מספר זוגי]] של חילופים. לדוגמא, היא כוללת את כל ה[[מחזור (תורת החבורות)|מחזורים]] באורך 3, בעלי הצורה <math>\ (abc)</math>. קבוצת המחזורים באורך 3 [[יוצרים של חבורה|יוצרת]] את <math>\ A_n</math>. אם <math>\ n\geq 4</math> אפשר ליצור את החבורה באופן דומה, על ידי התמורות מהצורה <math>\ (ab)(cd)</math> כאשר <math>\ a,b,c,d</math> שונים זה מזה.