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

בתורת החבורות, אחד המאפיינים של חבורות סופיות הוא העובדה המפתיעה שאפשר להסיק רבות על המבנה של חבורה מתוך הסדר שלה. אחת הדוגמאות המוקדמות לתופעה הזו היא משפט קושי (שגילה אוגוסטין קושי ב- 1845): אם $\,G$ חבורה סופית, אז לכל $p$ מספר ראשוני שמחלק את סדר החבורה (כלומר $|G|/p$ מספר שלם) קיים ב- $G$ איבר מסדר $p$ .

תוצאה כללית יותר, העוסקת בקיום של תת-חבורות מכל סדר שהוא חזקה של מספר ראשוני, מנוסחת במשפטי סילו.

שימושים

למשפט יסודי זה שימוש נרחב בתורת החבורות, ודרכה גם בתחומים אחרים באלגברה, בפרט בתורת גלואה. לדוגמה, אם $f(x)$ הוא פולינום אי-פריק ממעלה $p$ מעל שדה $F$ , אז שדה ההרחבה $F[x]/(f(x))$ הוא ממימד $p$ , ולכן גם הממד של שדה הפיצול $K$ של $f$ , המכיל את השדה הראשון, מתחלק ב- $p$ . אבל לפי המשפט היסודי של תורת גלואה, הסדר של חבורת גלואה שווה לממד של $K$ מעל $F$ , ולכן - לפי משפט קושי - היא כוללת איבר מסדר $p$ .

הוכחה

הוכחה באינדוקציה

תהי $G$ חבורה מסדר המתחלק בראשוני $p$ . צריך להוכיח שיש ב- $G$ איבר מסדר $p$ . ראשית צריך להוכיח את המשפט לחבורות אבליות, למשל באינדוקציה על הסדר: אם $e\neq x$ הוא איבר מסדר המתחלק ב- $p$ , אז יש לו חזקה מסדר $p$ . אחרת, אפשר לעבור לחבורת מנה ביחס לתת-החבורה הציקלית הנוצרת על ידי $x$ .

כעת נוכיח את המשפט במקרה הכללי (שוב באינדוקציה על הסדר). אם $|G|=p$ אז כל איבר לא-טריוויאלי הוא מסדר $p$ (לפי משפט לגראנז'). נניח שהטענה נכונה לכל החבורות מסדר קטן מ- $|G|$ .

מקרה א - קיים איבר $x\in G$ , $x\not \in Z(G)$ עבורו $p\mid |Z_{x}|$ (לא להתבלבל: $Z_{x}$ הוא הַמְּרַכֵּז של $x$ המוגדר: $Z_{x}:=\{g\in G\mid gx=xg\}$ ואילו $Z(G)$ הוא מֶרְכַּז הַחֲבוּרָה $Z(G):=\{z\in G\mid \forall g\in G,zg=gz\}$ ). $Z_{x}\neq G$ כי $x\not \in Z(G)$ ולכן קיים לפחות איבר אחד בחבורה שאינו ב- $Z_{x}$ לכן $|Z_{x}|<|G|$ , הנחנו $p\mid |Z_{x}|$ , ולפי הנחת האינדוקציה קיים איבר מסדר $p$ ב- $Z_{x}$ , אבל זו תת-חבורה של $G$ .
מקרה ב - לכל איבר $x\in G$ $x\not \in Z(G)$ , $p$ לא מחלק את $|Z_{x}|$ . לפי משפט לגראנז' $|G|=|Z_{x}|\cdot [G:Z_{x}]$ ומשני הנתונים נובע ש- $p\mid [G:Z_{x}]$ . לפי משוואת המחלקות $|G|=|Z(G)|+\sum _{i=1}^{k}[G:Z_{x_{i}}]$ כש- $x_{1},...,x_{k}$ נציגי מחלקות הצמידות שסדרן גדול מ-1, כמובן, $x_{1},...,x_{k}$ אינם איברים ב- $Z(G)$ כי גודל מחלקת הצמידות של איבר במרכז הוא 1. הנחנו $p\mid |G|$ , הראנו $p\mid \sum _{i=1}^{k}|[G:Z_{x_{i}}]|$ לפי משוואת המחלקות $p\mid |Z(G)|$ . $Z(G)$ חבורה אבלית לכן לפי המקרה האבלי שהוכחנו בהתחלה, קיים בה איבר מסדר $p$ וסיימנו.

הוכחה באמצעות פעולה של $Z_{p}$

נסתכל על קבוצת ה- $p$ -יות של איברים שמכפלתם היא היחידה:

$A=\{(g_{0},g_{1},...,g_{p-1})\mid g_{0}g_{1}\cdots g_{p-1}=e\}$

מכיוון שלכל $g_{0},\dots ,g_{p-2}$ יש השלמה יחידה לווקטור ב- $A$ , גודל הקבוצה הוא $|A|=|G|^{p-1}$ , המתחלק ב- $p$ . אנו רוצים להוכיח קיום של איבר בקבוצה $A$ מהצורה $(g,g,...,g)$ כאשר $g\neq e$ . על ידי הצמדה ב- $g_{p-1}$ , קל לראות ש $g_{0}g_{1}...g_{p-1}=e$ אם ורק אם $g_{p-1}g_{0}g_{1}...g_{p-2}=e$ . לכן, נוח לחשוב על כל וקטור כמעגל של מספרים, המסודרים כמו על חוגה של טלפון ישן, ולחלק את A למחלקות שקילות, כך ששני איברים ייקראו שקולים אם הם סיבוב אחד של השני.

ה"עוקץ" בהוכחה נעוץ בכך שאורך כל וקטור $(g_{0},g_{1},...,g_{p-1})$ הוא ראשוני. לכן, גודל כל מחלקת שקילות חייב להיות $p$ או 1. ניתן להבין זאת מכך שאם וקטור שווה לסיבוב של $n$ צעדים של עצמו, אז הוא בהכרח שווה גם לסיבוב של $2n$ צעדים, $3n$ צעדים, וכך הלאה. אך מכיוון ש- $p$ ראשוני, ניתן להגיע לסיבוב בכל מספר של שלבים על ידי סיבוב חוזר ב- $n$ צעדים. זאת מכיוון שלכל $m<p$ קיים $a\in \mathbb {Z}$ כך ש- $a=m\ ({\mbox{mod }}p)$ (טענה זו שקולה לטענה שכל איבר בחבורה הציקלית $\mathbb {Z} _{p}$ יוצר אותה). לכן, אם קיים סיבוב של הווקטור שבו הוא חוזר לעצמו, אז בכל סיבוב הוא יחזור לעצמו, והוא מהצורה $(g,g,...,g)$ .

נשים לב ש- $A$ היא איחוד זר של מחלקות השקילות שלה, ולכן גודלה הוא סכום גודלי מחלקות השקילות, שגודל כל אחת מהן הוא 1 או $p$ . נזכור גם ש- $p$ מחלק את גודל $|A|$ ושאנו יודעים כי קיימת מחלקת שקילות בגודל 1 - המחלקה $(e,e,...e)$ . אך אם גודל כל מחלקות השקילות האחרות היה $p$ , אז $p$ לא יכול היה לחלק את $|A|$ , כי סכום של מספרים המתחלקים ב- $p$ ועוד 1 לא יכול להתחלק ב- $p$ . לכן, קיבלנו כי חייבת להיות לפחות עוד מחלקה בגודל 1 (למעשה חייבות להיות עוד $p-1$ כאלה), כלומר מחלקות מהצורה $(g,g,...,g)$ , ולכן קיים $g$ כך ש- $g^{p}=e$ .