משפט קושי (תורת החבורות)

בתורת החבורות, אחד המאפיינים של חבורות סופיות הוא העובדה המפתיעה שאפשר להסיק רבות על המבנה של חבורה מתוך הסדר שלה. אחת הדוגמאות המוקדמות לתופעה הזו היא משפט קושי (שגילה אוגוסטן לואי קושי ב-1845): אם G {\displaystyle G} חבורה סופית, אזי לכל p {\displaystyle p} מספר ראשוני המחלק את סדר החבורה | G | {\displaystyle |G|} קיים ב- G {\displaystyle G} איבר מסדר p {\displaystyle p} . תוצאה כללית יותר, העוסקת בקיום של תת-חבורות מכל סדר שהוא חזקה של מספר ראשוני, מנוסחת במשפטי סילו. למשפט יסודי זה שימוש נרחב בתורת החבורות, ודרכה גם בתחומים אחרים באלגברה, בפרט בתורת גלואה. לדוגמה, אם f ( x ) {\displaystyle f(x)} הוא פולינום אי פריק ממעלה p {\displaystyle p} מעל שדה F {\displaystyle \mathbb {F} } , אז שדה ההרחבה F [ x ] / ( f ( x ) ) {\displaystyle \mathbb {F} [x]/(f(x))} הוא מממד p {\displaystyle p} , ולכן גם הממד של שדה הפיצול K {\displaystyle K} של f {\displaystyle f} , המכיל את השדה הראשון, מתחלק ב- p {\displaystyle p} . אבל לפי המשפט היסודי של תורת גלואה, הסדר של חבורת גלואה שווה לממד של K {\displaystyle K} מעל F {\displaystyle \mathbb {F} } , ולכן – לפי משפט קושי – היא כוללת איבר מסדר p {\displaystyle p} . תהי G {\displaystyle G} חבורה מסדר המתחלק בראשוני p {\displaystyle p} . יש להוכיח שקיים ב- G {\displaystyle G} איבר מסדר p {\displaystyle p} . ראשית יש להוכיח את המשפט לחבורות אבליות, למשל באינדוקציה על הסדר: אם e ≠ x {\displaystyle e\neq x} הוא איבר מסדר המתחלק ב- p {\displaystyle p} , אז יש לו חזקה מסדר p {\displaystyle p} . אחרת, אפשר לעבור לחבורת מנה ביחס לתת-החבורה הציקלית הנוצרת על ידי x {\displaystyle x} . כעת נוכיח את המשפט במקרה הכללי (שוב באינדוקציה על הסדר). אם | G | = p {\displaystyle |G|=p} אז כל איבר לא-טריוויאלי הוא מסדר p {\displaystyle p} (לפי משפט לגראנז'). נניח שהטענה נכונה לכל החבורות מסדר קטן מ- | G | {\displaystyle |G|} . מקרה א – קיים איבר x ∈ G ∖ Z ( G ) {\displaystyle x\in G\setminus Z(G)} עבורו p ∣ | Z x | {\displaystyle p\mid |Z_{x}|} . (לא להתבלבל: Z x := { g ∈ G : g x = x g } {\displaystyle Z_{x}:=\{g\in G:gx=xg\}} הוא הַמְּרַכֵּז של x {\displaystyle x} , ואילו Z ( G ) := { z ∈ G : ∀ g ∈ G , z g = g z } {\displaystyle Z(G):=\{z\in G:\forall g\in G,zg=gz\}} הוא מֶרְכַּז הַחֲבוּרָה). Z x ≠ G {\displaystyle Z_{x}\neq G} כי x ∉ Z ( G ) {\displaystyle x\notin Z(G)} ולכן קיים לפחות איבר אחד בחבורה שאינו ב- Z x {\displaystyle Z_{x}} לכן | Z x | < | G | {\displaystyle |Z_{x}|<|G|} , הנחנו p ∣ | Z x | {\displaystyle p\mid |Z_{x}|} , ולפי הנחת האינדוקציה קיים איבר מסדר p {\displaystyle p} ב- Z x {\displaystyle Z_{x}} , אבל זו תת-חבורה של G {\displaystyle G} . מקרה ב – לכל איבר x ∈ G ∖ Z ( G ) {\displaystyle x\in G\setminus Z(G)} , p {\displaystyle p} לא מחלק את | Z x | {\displaystyle |Z_{x}|} . לפי משפט לגראנז' | G | = | Z x | ⋅ [ G : Z x ] {\displaystyle |G|=|Z_{x}|\cdot [G:Z_{x}]} ומשני הנתונים נובע כי p ∣ [ G : Z x ] {\displaystyle p\mid [G:Z_{x}]} . לפי משוואת המחלקות | G | = | Z ( G ) | + ∑ i = 1 k [ G : Z x i ] {\displaystyle |G|=|Z(G)|+\sum _{i\,=\,1}^{k}[G:Z_{x_{i}}]} כאשר x 1 , … , x k {\displaystyle x_{1},\ldots ,x_{k}} נציגי מחלקות הצמידות שסדרן גדול מ-1, כמובן x 1 , … , x k ∉ Z ( G ) {\displaystyle x_{1},\ldots ,x_{k}\notin Z(G)} כי גודל מחלקת הצמידות של איבר במרכז הוא 1. הנחנו p ∣ | G | {\displaystyle p\mid |G|} , הראינו p ∣ ∑ i = 1 k [ G : Z x i ] {\displaystyle p\mid \sum _{i\,=\,1}^{k}[G:Z_{x_{i}}]} לפי משוואת המחלקות p ∣ | Z ( G ) | {\displaystyle p\mid |Z(G)|} . Z ( G ) {\displaystyle Z(G)} חבורה אבלית לכן לפי המקרה האבלי שהוכחנו בהתחלה, קיים בה איבר מסדר p {\displaystyle p} וסיימנו. נסתכל על קבוצת ה- p {\displaystyle p} -יות של איברים שמכפלתם היא היחידה: A = { ( g 0 , g 1 , … , g p − 1 ) : g 0 g 1 ⋯ g p − 1 = e } {\displaystyle A={\Big \{}(g_{0},g_{1},\ldots ,g_{p-1}):g_{0}g_{1}\cdots g_{p-1}=e{\Big \}}} מכיוון שלכל g 0 , … , g p − 2 {\displaystyle g_{0},\ldots ,g_{p-2}} יש השלמה יחידה לווקטור ב- A {\displaystyle A} , גודל הקבוצה הוא | A | = | G | p − 1 {\displaystyle |A|=|G|^{p-1}} , המתחלק ב- p {\displaystyle p} . אנו רוצים להוכיח קיום של איבר בקבוצה A {\displaystyle A} מהצורה ( g , g , … , g ) {\displaystyle (g,g,\ldots ,g)} כאשר g ≠ e {\displaystyle g\neq e} . על ידי הצמדה ב- g p − 1 {\displaystyle g_{p-1}} , קל לראות כי g 0 g 1 ⋯ g p − 1 = e {\displaystyle g_{0}g_{1}\cdots g_{p-1}=e} אם ורק אם g p − 1 g 0 g 1 ⋯ g p − 2 = e {\displaystyle g_{p-1}g_{0}g_{1}\cdots g_{p-2}=e} . לכן נוח לחשוב על כל וקטור כמעגל של מספרים, המסודרים כמו על חוגה של טלפון ישן, ולחלק את A {\displaystyle A} למחלקות שקילות, כך ששני איברים ייקראו שקולים אם הם סיבוב אחד של השני. ה"עוקץ" בהוכחה נעוץ בכך שאורך כל וקטור ( g 0 , g 1 , … , g p − 1 ) {\displaystyle (g_{0},g_{1},\ldots ,g_{p-1})} הוא ראשוני. לכן, גודל כל מחלקת שקילות חייב להיות p {\displaystyle p} או 1. ניתן להבין זאת מכך שאם וקטור שווה לסיבוב של n {\displaystyle n} צעדים של עצמו, אז הוא בהכרח שווה גם לסיבוב של 2 n {\displaystyle 2n} צעדים, 3 n {\displaystyle 3n} צעדים, וכך הלאה. אך מכיוון ש- p {\displaystyle p} ראשוני, ניתן להגיע לסיבוב בכל מספר של שלבים על ידי סיבוב חוזר ב- n {\displaystyle n} צעדים. זאת מכיוון שלכל m < p {\displaystyle m<p} קיים a ∈ Z {\displaystyle a\in \mathbb {Z} } עבורו a ≡ m ( mod p ) {\displaystyle a\equiv m\!\!\!\!{\pmod {p}}} (טענה זו שקולה לטענה שכל איבר בחבורה הציקלית Z p {\displaystyle \mathbb {Z} _{p}} יוצר אותה). לכן, אם קיים סיבוב של הווקטור שבו הוא חוזר לעצמו, אז בכל סיבוב הוא יחזור לעצמו, והוא מהצורה ( g , g , … , g ) {\displaystyle (g,g,\ldots ,g)} . נשים לב כי A {\displaystyle A} היא איחוד זר של מחלקות השקילות שלה, ולכן גודלה הוא סכום גודלי מחלקות השקילות, שגודל כל אחת מהן הוא 1 או p {\displaystyle p} . נזכור גם ש- p {\displaystyle p} מחלק את גודל | A | {\displaystyle |A|} ושאנו יודעים כי קיימת מחלקת שקילות בגודל 1 - המחלקה ( e , e , … , e ) {\displaystyle (e,e,\ldots ,e)} . אך אם גודל כל מחלקות השקילות האחרות היה p {\displaystyle p} , אז p {\displaystyle p} לא יכול היה לחלק את | A | {\displaystyle |A|} , כי סכום של מספרים המתחלקים ב- p {\displaystyle p} ועוד 1 לא יכול להתחלק ב- p {\displaystyle p} . לכן, קיבלנו כי חייבת להיות לפחות עוד מחלקה בגודל 1 (למעשה חייבות להיות עוד p − 1 {\displaystyle p-1} כאלה), כלומר מחלקות מהצורה ( g , g , … , g ) {\displaystyle (g,g,\ldots ,g)} , ולכן קיים g {\displaystyle g} עבורו g p = e {\displaystyle g^{p}=e} .