עוזי ו.: /* הצמדות */

2012-02-14T23:16:13Z

הצמדות

→ הגרסה הקודמת		גרסה מ־23:16, 14 בפברואר 2012
שורה 15:		שורה 15:
	תהיינה G חבורה ו-H תת-חבורה. אז לכל <math>\ g \in G</math> מתקיים <math>\ N_G(gHg^{-1}) = gN_G(H)g^{-1}</math>.		תהיינה G חבורה ו-H תת-חבורה. אז לכל <math>\ g \in G</math> מתקיים <math>\ N_G(gHg^{-1}) = gN_G(H)g^{-1}</math>.

	~~הכללה:~~ יהי <math>\ \varphi</math> [[אוטומורפיזם]] של G; אז <math>\ N_G(\varphi(H)) = \varphi(N_G(H))</math>.		'''תרגיל''' (89214, מבחן תשע"ב א'). לכל תת-חבורה H של חבורה G, ה[[מרכז של תת-חבורה\|מרכז]] <math>\ C_G(H)</math> הוא תת-חבורה נורמלית של המנרמל <math>\ N_G(H)</math>.

			=== הכללות ===

			* יהי <math>\ \varphi</math> [[אוטומורפיזם]] של G; אז <math>\ N_G(\varphi(H)) = \varphi(N_G(H))</math>.

	== דגשים ==		== דגשים ==

עוזי ו.: יצירת דף עם התוכן "ה'''מנרמל''' של תת-חבורה H בחבורה G הוא הקבוצה $\ N_G(H) = \{g \in G: gHg^{-1} = H\}$ . זוהי תת-חבורה ש..."

2012-02-14T23:14:01Z

יצירת דף עם התוכן "ה'''מנרמל''' של תת-חבורה H בחבורה G הוא הקבוצה <math>\ N_G(H) = \{g \in G: gHg^{-1} = H\}</math>. זוהי תת-חבורה ש..."

דף חדש

ה'''מנרמל''' של [[תת-חבורה]] H ב[[חבורה]] G הוא הקבוצה <math>\ N_G(H) = \{g \in G: gHg^{-1} = H\}</math>. זוהי תת-חבורה של G, המכילה את H.

המנרמל הוא תת-החבורה *הגדולה ביותר* של G שבתוכה H [[תת-חבורה נורמלית|נורמלית]]. ביתר דיוק:
* תהי G חבורה, ותהי H תת-חבורה שלה. לכל תת-חבורה <math>\ H \subset S \subset G</math>, <math>\ H \vartriangleleft S</math> אם ורק אם <math>\ S \subseteq N_G(H)</math>. בפרט, <math>\ H \vartriangleleft N_G(H)</math>.
כמובן, אם H נורמלית, אז המנרמל שלה הוא כל החבורה.

== דקויות ==

תת-חבורה H היא נורמלית ב-G אם לכל <math>\ g\in G</math> מתקיים <math>\ gHg^{-1} = H</math>, והתנאי האחרון הוא זה המופיע בהגדרת המנרמל. כאן נחבאת נקודה מבלבלת. התנאי "לכל <math>\ g\in G</math> מתקיים <math>\ gHg^{-1} \subseteq H</math>", למרות שהוא א-פריורי חלש יותר, מגדיר נורמליות באותה מידה כמו התנאי הראשון. עם זאת, הקבוצה <math>\ \{g \in G: gHg^{-1} \subseteq H\}</math> אינה בהכרח שווה למנרמל: היא עשויה להכיל אותו ממש, ואף אינה חייבת להיות תת-חבורה של G (כמובן שאם G סופית אין הבדל בין שתי ההגדרות).

== הצמדות ==

המנרמל סופר [[תת-חבורות צמודות]], במובן הבא: לכל תת-חבורה H של חבורה G, מספר תת-החבורות הצמודות ל-H (ב-G) שווה ל[[אינדקס של תת-חבורה|אינדקס]] <math>\ [G:N_G(H)]</math>.

תהיינה G חבורה ו-H תת-חבורה. אז לכל <math>\ g \in G</math> מתקיים <math>\ N_G(gHg^{-1}) = gN_G(H)g^{-1}</math>.

הכללה: יהי <math>\ \varphi</math> [[אוטומורפיזם]] של G; אז <math>\ N_G(\varphi(H)) = \varphi(N_G(H))</math>.

== דגשים ==

* הפונקציה <math>\ H \mapsto N_G(H)</math> המתאימה לתת-חבורה את המנרמל שלה, '''אינה''' מונוטונית כמו פונקציית ה[[מרכז של תת-חבורה|מרכז]]. כלומר, מכך ש-<math>\ H_1 \subseteq H_2</math> לא נובע א-פריורי שום יחס בין המנרמלים <math>\ N_G(H_1), N_G(H_2)</math>.
* המנרמל עצמו אינו חייב להיות נורמלי ב-G. לפיכך, גם לו יש מנרמל משלו, <math>\ N_G(N_G(H))</math>, וכן הלאה. (אם P היא [[תת-חבורת סילו]], אז המנרמל שלה נורמלי בעצמו בלבד, כלומר <math>\ N_G(N_G(P)) = N_G(P)</math>.

[[קטגוריה:89214]]

מנרמל - היסטוריית גרסאות

עוזי ו.: /* הצמדות */

עוזי ו.: יצירת דף עם התוכן "ה'''מנרמל''' של תת-חבורה H בחבורה G הוא הקבוצה \ N_G(H) = \{g \in G: gHg^{-1} = H\}. זוהי תת-חבורה ש..."

עוזי ו.: יצירת דף עם התוכן "ה'''מנרמל''' של תת-חבורה H בחבורה G הוא הקבוצה $\ N_G(H) = \{g \in G: gHg^{-1} = H\}$ . זוהי תת-חבורה ש..."