מבנים אלגבריים/חבורות/תת חבורות נורמאליות

מתוך ויקיספר, אוסף הספרים והמדריכים החופשי

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

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


הגדרה של ח"ח נורמאלית ודוגמאות[עריכה]

הגדרה: חבורה חלקית נורמאלית

תהי חבורה . הח"ח תיקרא חבורה חלקית נורמאלית אםם מתקיים:

ובמקרה זה נסמן: .

קל להיווכח שכל חבורה היא חח"נ (חבורה חלקית נורמאלית) של עצמה וכן לגבי החבורה החלקית שמכילה את האיבר הניטרלי בלבד.



משפט: איפיונים של חח"נ (חבורה חלקית נורמאלית)

בהינתן ו , התנאים הבאים שקולים:

קל לראות שח"ח המקיימת אחת מהתכונות לעיל היא חח"נ.


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


הוכחה: :

נניח .

בפרט,



:

נניח .

יהי אזי, . וכן, קיים כך שמתקיים:

וכן, מתקיים: (נסו להבהיר לעצמכם למה.)

לכן, יהי אזי, . וכן, קיים כך שמתקיים:

ומכאן:


:

יהיו .


הסבר מעברים:
(1) לפי תנאי(3)
(2) כי ח"ח
(3) לפי תנאי (3)
(4) הוכח כתרגיל
(5) לפי תנאי (3)


:

נניח . ויהי . אזי מ(4), נובע:


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

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

טענות בסיסיות הנוגעות לח"ח נורמאליות[עריכה]

טענה: הגרעין הוא ח"ח נורמאלית

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


הוכחה: יהי אזי לכל מתקיים

ומכאן שמתקיים

וכיוון שבחרנו ב שרירותית, מתקיים

מה שמסיים את ההוכחה.



טענה:

בהינתן חבורה ויהיו כך ש אזי מתקיים:


טענה: מכפלה של תת-חבורות

בהינתן חבורה ויהיו , אזי מתקיימים:

  1. אםם
  2. אם אז (ובפרט .)

חבורות פשוטות[עריכה]

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


הגדרה: חבורה פשוטה

חבורה G שאין לה תת-חבורות נורמאליות לא טריויאליות תקרא חבורה פשוטה

דוגמאות[עריכה]

  • החבורה היא חבורה פשוטה, שכן התת-חבורה היחידה שלה היא החבורה הטריביאלית, לכן אין לה תת-חבורות לא טריביאליות, ובפרט אין לה ח"ח לא טריביאליות נורמאליות.
  • אנטי דוגמה: החבורה היא לא חבורה פשוטה כי ח"ח לא טריביאלית שלה, ומאבליות של נקבל שהיא ח"ח נורמאלית.

קומוטטורים[עריכה]

הגדרה[עריכה]

הגדרה: קומוטטור

בהינתן חבורה ו. הקומוטטור של ו הוא

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


טענה: זהויות של הקומוטטור

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

  1. וגם
  2. וגם

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


טענה: קומוטטור נשמר תחת הומומורפיזם

בהינתן חבורות ו הומומורפיזם, אזי

תת-חבורת הקומוטטורים (החבורה הנגזרת)[עריכה]

הגדרה: תת-חבורת הקומוטטורים

בהינתן חבורה, נסמן:

במילים: זוהי הח"ח הנוצרת על ידי כל הקומוטטורים של G.


טענה: תת-חבורת הקומוטטורים היא חח"נ

בהינתן חבורה, .

הסדרה הנגזרת[עריכה]

המרכז של חבורה והמנמרל והממרכז (סנטרלייזר) של איבר בחבורה[עריכה]

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


הגדרה: ממרכז של איבר בחבורה

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


הגדרה: המרכז של חבורה

בהינתן חבורה . הקבוצה הבאה תיקרא המרכז של החבורה:


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