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

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

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

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

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

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

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

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

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

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

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

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

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

חיתוך טריוויאלי 

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

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

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

קישורים חיצוניים

הערות שוליים

אלגברה
תורת החבורות