Share to:

 

חבורה סופית

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

מיון

אין מיון מלא ושימושי[1] שמתאר את כל החבורת הסופיות. יש גם אינדיקציות רבות לכך שהדבר אינו אפשרי.[2] אולם, אפשר לתת מיון חלקי שמספק מידע רב על המבנה האפשרי של חבורות סופיות.

הרחבה של חבורות

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

חבורות פשוטות

ערך מורחב – חבורה פשוטה

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

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

ערך מורחב – משפט ז'ורדן-הלדר

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

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

לאור משפט זה ניתן לחלק את משימת המיון של חבורות סופיות לשתי משימות:

  1. מיון כל החבורות הפשוטות.
  2. מיון כל החבורות בעלות אוסף גורמים פשוטים נתון. במלים אחרות מיון כל הדרכים בהם ניתן להרחיב חבורות פשוטות אחת עם השניה (שוב ושוב).

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

משפט המיון לחבורות פשוטות סופיות

ערך מורחב – משפט המיון לחבורות פשוטות סופיות

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

  1. החבורות הציקליות מסדר ראשוני.
  2. חבורות של תמורות זוגיות מסדר 5 ומעלה.
  3. חבורות פשוטות סופית מטיפוס לי. חבורות אלה כוללות את החבורות הפשוטות הסופית הקלאסיות, את החבורת הפשוטות הסופיות מחמשת הטיפוסים המיוחדים של חבורות לי, ואת ה"עיוותים" של כל אלה.
  4. רשימה ידועה של 26 חבורות ספורדיות.

יש חיתוך מסוים בין קבוצות 2 ו - 3, אך חיתוך זה סופי (שלוש חבורות) וידוע באופן מפורש.[3]

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

חבורות אבליות

ערך מורחב – משפט המיון לחבורות אבליות נוצרות סופית

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

חבורות פתירות

ערך מורחב – חבורה פתירה

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

חבורות נילפוטנטיות וחבורת p

ערכים מורחבים – חבורה נילפוטנטית, חבורת p

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

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

משפט: אם היא חבורה סופית אז הדברים הבאים שקולים:

  • נילפוטנטית
  • היא מכפלה ישרה של חבורת-.

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

כדי להבין את המבנה של חבורות נילפוטנטיות די להבין את הבנה של חבורות-. חבורות- הן חבורות המתקבלות מהרחבות (חוזרת) של החבורה הציקלית מסדר - . למרות המבנה הפשוט של החבורה ולמרות העבדה שהרחבות כאלה חיבות להיות מרכזיות. תיאור מלא ושימושי של ההרחבות האלה באופן כללי נחשב למשימה בלתי אפשרית. אוסף חבורות ה- הוא עשיר מאוד. למעשה אחוז החבורות (עד סדר נתון ) שהן חבורת שואף ל-1 כאשר שואף לאינסוף.

עץ מיון של חבורות סופיות

עץ מיון של חבורות סופיות
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
חבורה דיהדרלית -
חבורה דיהדרלית -


 
 
 
 
 
 
 
 
 
 
 
החבורה הליניארית הכללית מעל שדה סופי -
החבורה הליניארית הכללית מעל שדה סופי -


 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
החבורה הסימטרית -
החבורה הסימטרית -


 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
חבורה אבלית אלמנטרית -
חבורה אבלית אלמנטרית -


 
חבורה ציקלית-
חבורה ציקלית-


 
החבורה הסימטרית -
החבורה הסימטרית -


 
 
החבורה הליניארית הפרויקטיבית מעל שדה סופי
החבורה הליניארית הפרויקטיבית מעל שדה סופי


 
החבורה הליניארית המיוחדת מעל שדה סופי -
החבורה הליניארית המיוחדת מעל שדה סופי -


 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
חבורה ציקלית מסדר ראשוני -
 
חבורת התמורות הזוגיות -
חבורת התמורות הזוגיות -


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

סוגים של הרחבות

אומנם מיון מלא ושימושי של הרחבות אינו בנמצא, אבל יש סוגים של הרחבות הקלים יותר להבנה.

מכפלה ישרה

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

מכפלה ישרה נקראת גם הרחבה טריוויאלית.

מכפלה חצי-ישרה

ערך מורחב – מכפלה חצי ישרה

חבורה נקראת מכפלה חצי ישרה של תתי-חבורות שלה אם מתקיים:

  • נורמלית ב-
  • , כלומר כל איבר ב- ניתן לכתוב כמכפלה של איבר ב- ואיבר ב-.

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

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

מכפלה חצי ישרה נקראת גם "הרחבה מתפצלת".

מכפלת זר

ערך מורחב – מכפלת זר

מקרה פרטי של מכפלה חצי ישרה הוא מכפלת זר. במקרה זה היא מכפלה ישרה של מספר עותקים של חבורה והפעולה של על - היא על-ידי תמורות של עותקים אלו. אם כל הגורמים הפשוטים של חבורה הם לא אבליים אז ההרחבות בין הגורמים השונים דומות למדי למכפלות זר (אם כי לא בהכרח מתפצלות)[4]

הרחבה מרכזית

בהינתן חבורה ותת-חבורה של המרכז של אומרים ש- היא הרחבה מרכזית של ע"י . ניתן למיין הרחבות מרכזיות באמצעות כלים של אלגברה הומולוגית. ההרחבות המרכזיות של חבורה ע"י חבורה אבלית ממוינות על ידי הקוהומולוגיה

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

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

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

מיון של הרחבות

ניתן למיין את כל ההרחבות של 2 חבורות בכלים של אלגברה הומולוגית. מיון זה נקרא לעיתים תורת שרייר.[5] להלן תיאור של מיון זה: בהנתן הרחבה של חבורה עם חבורה אנו מקבלים פעולה של על (על ידי הצמדה). במילים אחרות אנו מקבלים הומומורפיזם כאשר היא חבורת האוטומורפיזמים של . קל לראות שהומומורפיזם מגדיר הומומורפיזם כאשר היא חבורת האוטומורפיזמים החיצוניים של (ראו להלן) של . מכאן, כדי למיין את כל ההרחבות של ו- , יש לענות על 2 השאלות הבאות:

  1. עבור אילו הומומורפיזמים קיימת הרחבה של ו - שנותנת את ?
  2. בהנתן הומומורפיזמים כאלה, איך ממינים את כל ההרחבות שנותנות את ?

התשובה לשאלה הראשונה נתונה במונחים של איבר בחבורת הקוהומולוגיה . התשובה לשאלה השניה היא שהמיון נתון על ידי איברי חבורת הקוהומולגיה . [6]

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

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

סוגים של הרחבות של חבורות


מבנה

חבורת האוטומורפיזמים של חבורה

ערכים מורחבים – חבורת האוטומורפיזמים של חבורה, חבורת האוטומורפיזמים החיצוניים, אוטומורפיזם פנימי

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

החבורה נקראת חבורת האוטומורפיזמים החצוניים של ומסומנת ב - . החבורה היא הרחבה של - עם - . הרחבה זאת מהווה את אחת הדוגמאות החשובות להרחבה של חבורות (ראו להלן). הרחבה זאת לא תמיד מתפצלת (לדוגמה עם היא החבורת הסימטרית על 6 איברים). אם היא חבורה סופית פשוטה אז יודעים לתאר במפורש את - ו- , ובפרט יודעים לתאר מתי ההרחבה הנ"ל מתפצלת.[10] כמו כן, ידוע שכש- היא חבורה סופית פשוטה אז תמיד פתירה (כמעט בכל המקרים היא קומוטטיבית).[11]

תתי חבורות קנוניות

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

תשתית של חבורה

ערך מורחב – תשתית (אלגברה)

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

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

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

המרכז של חבורה

ערך מורחב – מרכז של חבורה

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

החבורה הנגזרת

ערכים מורחבים – החבורה הנגזרת, הליבה המושלמת, השארית הנלפוטנטית

הרדיקל ה-p

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

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

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

תת-חבורת פיטינג

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

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

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

תת-חבורת פראטיני

השכבה

ערכים מורחבים – חבורה סופית פשוטה למחצה, שכבה של חבורה

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

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

  • פשוטות.
  • מתחלפות זו עם זו.
  • (המכפלה לאו דווקה ישרה).

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

תת-חבורת פיטינג המוכללת

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

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

לתיאור זה של חבורה כללית באמצעות תת-חבורת פיטינג המוכללת שלה תפקיד משמעותי במשפט המיון לחבורות פשוטות סופיות.[15]

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


 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
החבורה הנגזרת:
החבורה הנגזרת:


 
תת-חבורת פיטינג המוכללת:
 
 
 
 
השארית הנלפוטנטית:
השארית הנלפוטנטית:


 
 
 
 
 
הליבה המושלמת:
הליבה המושלמת:


 
 
 
 
 
 
 
 
 
 
 
 
השיכבה:
השיכבה:


 
התשתית:
התשתית:


 
תת-חבורת פיטינג:
 
 
 
 
 
 
 
 
 
 
תת-חבורת פראטיני:
תת-חבורת פראטיני:


 
המרכז:
המרכז:


 
הרדיקל ה - p:
הרדיקל ה - p:



משפטים על חבורות סופיות

כאמור ישנם משפטים רבים התקפים לחבורות סופיות. להלן מספר דוגמאות:

הערות שוליים

  1. ^ כמובן הדבר תלוי בהגדרת המושג מיון. מכיון שהבעיה היא סופית מבחינה חישובית, הכוונה כאן אינה לאלגוריתם שמונה אותם, אלא למיון של חבורות סופיות במונחים של אוביקטים פשוטים יותר מבחינה קומבינטורית.
  2. ^ 1 2 3 ראו דיון ב-MathOverflow בנושא.
  3. ^ מדובר בחבורת
  4. ^ [1], [2], [3]
  5. ^ לדוגמה כאן
  6. ^ P. J. Morandi, Group Extensions and H3 (אורכב 17.05.2018 בארכיון Wayback Machine). From his collection of short mathematical notes.
  7. ^ אצם העובדה שבעית המין של חבורות מכילה את עצמה כמקרה פרטי לא אומרת שהשיטה מובילה למבוי סתום. זאת מיכיון שאם מתמקדים במיון חבורות עד גודל נתון, תת-הבעיה שמתקבלת מיתחסת לגודל קטן בהרבה. כך שעובדה זאת לא שוללת את קימו של תיאות רקורסיבי. אך כאמור תיאור כזה אינו בנמצא.
  8. ^ ראו [4]
  9. ^ ראו [5] פרק 2
  10. ^ [6]
  11. ^ עובדה זאת שוארה על ידי שרייר ב-1926, וגהוכחה על ידי המין של חבורת פשוטיות סופיות. עד היום לא ידעה הוכחה אחרת. ראו [7]
  12. ^ טענה 1.24 ב - [8]
  13. ^ שם זה עלול להטעות. לא מודבר במושג שמכליל את חבורת פיטינג. שתהין מוגדרות לכול חבורה סופית והן שונות במקרים רבים. אולם חבורת פיטינג המוכללת מכילה את חבורת פיטינג. עמ החבורה היא פתירה אז הן מתלקדות. כמו כן חבורת פיטינג המוכללת עבור חבורה כללית משחקת תפקיד דומה לזאת של חבורתר פיטינג עבור חבורה פתירה.
  14. ^ טענה 1.27 ב - [9]
  15. ^ פרק 1 ב - [10]
Prefix: a b c d e f g h i j k l m n o p q r s t u v w x y z 0 1 2 3 4 5 6 7 8 9

Portal di Ensiklopedia Dunia

Kembali kehalaman sebelumnya