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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

הערות שוליים

קטגוריה:אלגברה
קטגוריה:תורת החבורות