משפט קיילי

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

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

ניסוח המשפט

תהי G חבורה. אז לכל איבר g, הפונקציה \ \ell_g : x \mapsto gx היא תמורה על אברי G, וההתאמה \ g \mapsto \ell_g היא שיכון של G לתוך חבורת התמורות \ S_G.

באופן מפורש יותר, אפשר לשכן את G לחבורת התמורות \ S_n כאשר \ n = |G|. לשם כך יש למספר את אברי החבורה, \ G = \{g_1,\dots,g_n\} (מקובל להניח ש-\ g_1=1, אבל זה לא הכרחי), ואז האיבר g עובר לתמורה השולחת את i ל-j, כאשר \ g_j = g g_i.

הערות

1. העידון של משפט קיילי מטפל במקרה שבו לחבורה G יש תת-חבורה H מאינדקס n. במקרה זה אפשר להגדיר לכל g בחבורה פונקציה \ \ell_g : xH \mapsto gxH, שהיא תמורה על קבוצת הקוסטים השמאליים \ G/H = \{xH : x \in G\}. ההתאמה \ g \mapsto \ell_g \in S_{G/H} היא הומומורפיזם של חבורות, שהגרעין שלו \ core_G(H) = \cap_{g\in G} g H g^{-1} הוא תת-חבורה נורמלית של G המוכלת ב-H.

2. מסקנה מ-1: לחבורה (אינסופית) שיש לה תת-חבורה מאינדקס סופי, יש גם תת-חבורה נורמלית מאינדקס סופי. הסיבה היא שחבורת המנה \ G/core_G(H) היא מאינדקס סופי.

3. במשפט שבסעיף הראשון (אבל לא בעידון שלו), מבנה המחזורים של כל \ \ell_g הוא "אחיד" - \ G/o(g) מחזורים מאורך \ o(g). אפשר להשתמש בעובדה זו כדי להוכיח שהשיכון מעתיק את G לתוך חבורת התמורות הזוגיות אם ורק אם חבורת 2-סילו של G היא ציקלית.