מנרמל
בתורת החבורות, מנרמל (או נורמליזטור) של תת-חבורה בחבורה הוא תת-החבורה הגדולה ביותר של שבה נורמלית.
הגדרה
עריכההמנרמל של תת-חבורה הוא אוסף כל האיברים של המקיימים את התנאי . במילים אחרות, אלו האיברים שעבורם, הצמוד שייך ל- לכל , ורק עבור כזה. את המנרמל מקובל לסמן ב- , כך ש- .
כאשר מדובר בחבורות סופיות (ואפילו אם בלבד סופית), הקבוצה שווה למנרמל. עם זאת, באופן כללי התנאי חלש מתנאי השוויון, והוא מגדיר קבוצה המכילה את המנרמל, ועשויה להיות שונה ממנו. קבוצה זו סגורה לכפל, אבל אינה בהכרח סגורה לפעולת ההיפוך. לדוגמה, בחבורת Baumslag-Solitar , האיבר אינו שייך למנרמל של תת-החבורה הציקלית , אף על פי ש- .
תכונות עיקריות
עריכהמן ההגדרה ברור ש- , וש- היא תת-חבורה נורמלית שם. המנרמל הוא תת-החבורה הגדולה ביותר שבה נורמלית - כל תת-חבורה של המכילה את ושבה נורמלית, מוכלת במנרמל של . המנרמל שווה ל- אם ורק אם עצמה תת-חבורה נורמלית.
האינדקס של שווה למספר תת-החבורות הצמודות ל- . אפשר לראות בגודל המנרמל מדד ל"מידת הנורמליות" של תת-החבורה: המנרמל של שווה ל- כאשר היא רחוקה ביותר מלהיות נורמלית.
באופן כללי מתקיים . אם היא חבורת-p אז לכל . לעומת זאת, אם היא תת-חבורת סילו, אז לכל (זו תוצאה של משפט סילו השני).
המנרמל של איבר בחבורה חופשית הוא אבלי[1].
קישורים חיצוניים
עריכההערות שוליים
עריכה- ^ Magnus, Karrass and Solitar, p. 42