חבורת מנה

מתוך המכלול, האנציקלופדיה היהודית
קפיצה לניווט קפיצה לחיפוש
Nuvola apps edu mathematics blue-p.svg

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

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

הגדרה

תהא חבורה ותהא תת חבורה נורמלית שלה. הנורמליות פירושה שלכל איבר a בחבורה, המחלקות שוות זו לזו. נתבונן באוסף המחלקות .

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

הוכחה ש-G/N חבורה ביחס לכפל מחלקות:

  1. הפעולה אסוציאטיבית משום שלכל מתקיים לפי אסוציאטיביות הכפל ב-G.
  2. המחלקה N=1N היא איבר יחידה של הפעולה, משום שלכל מתקיים ו- .
  3. לכל יש איבר הופכי, (שהרי ).

חבורת המנה איננה תת חבורה של . איבריה הם תת-קבוצות של , ולא איברים של .

הסדר

הסדר של חבורת המנה G/N הוא האינדקס של N בתוך G, שאותו מסמנים ב-, ומתקיים . כאשר G,N סופיות, האינדקס שווה ל- - מנת הסדרים של G,N. העובדה שסדר זה חייב להיות שלם מוכיחה, למעשה, את משפט לגראנז'.

דוגמאות

1. , ואילו .

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

ובאופן כללי: , כאשר היא תת-החבורה של הכוללת את האברים המתחלקים ב-q.

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

קבוצת המנה

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

ראו גם

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

  • חבורת מנה, באתר MathWorld (באנגלית)   המזהה לא מולא ולא נמצא בוויקינתונים, נא למלא את הפרמטר.
Logo hamichlol 3.png
הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0