משפט ז'ורדן-הלדר

(הופנה מהדף משפט ז'ורדן-הולדר)

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

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

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

תיאור ההוכחהעריכה

ההוכחה טכנית בעיקרה, ולכן נסקור את שלביה בכלליות.

  • למת הפרפר של זסנהאוס: תהי   חבורה, ונניח כי נתונות תתי החבורות   וכן  . (כאשר   סימון לתת-חבורה, ו-  סימון לתת-חבורה נורמלית). אזי מתקיימים היחסים הבאים:

 

 

וכן מתקיים האיזומורפיזם הבא לגבי חבורות המנה:

 

מלמה זו ניתן להוכיח את משפט העידון של שרייר.

  • הוכחת משפט העידון של שרייר: תהי   חבורה ויהיו  ,   סדרות נורמליות בחבורה.
לכל   ולכל   החבורות הבאות:

 

מלמת הפרפר שהזכרנו נובע שלכל   מתקיים  . כמו כן קל להיווכח כי   וכן  .
כעת נבצע את תהליך העידון באופן הבא: לכל תווך   בסדרה הנורמלית המקורית נוסיף את תתי הסדרות שהגדרנו כך:

 

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

כעת נראה שמשפט ז'ורדן הלדר נובע בקלות ממשפט העידון.

  • הוכחת משפט ז'ורדן-הלדר: תהי   חבורה סופית ויהיו  ,   סדרות הרכב כלשהן של החבורה. נרצה להראות שהסדרות הללו שקולות.
סדרות ההרכב הן בפרט סדרות נורמליות, ולכן ממשפט העידון נובע שקיימים לשתי הסדרות עידונים שקולים, שנסמן  ,  . נשים לב שמשקילות העידונים נובע כי שניהם באותו אורך.
קל לראות שסדרה נורמלית היא סדרת הרכב אם ורק אם אין בה חזרות, וכן כל עידון שלה בהכרח יוסיף חזרות. לכן גורמי ההרכב החדשים שמתווספים בעידונים השקולים הם רק  , מספר כלשהו של פעמים. משקילות העידונים נובע שבהכרח מספר הפעמים שהגורם הטריוויאלי מתווסף שווה בשתיהן, ומכאן ששאר הגורמים שווים במספרם ואיזומורפיים, ללא חשיבות לסדר. אך שאר הגורמים הם בדיוק גורמי סדרות ההרכב המקוריות, ומכאן כי הן שקולות.

קישורים חיצונייםעריכה