מרכז (תורת החבורות)

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

בתורת החבורות מרכז החבורה G היא קבוצת כל האיברים, שמתחלפים עם כל איברי G: \ Z(G)=\{z\in G| gz=zg\  \forall g\in G\} . המרכז הוא תמיד תת חבורה נורמלית ואבלית של G.

אם G היא חבורה אבלית אז מרכז החבורה הוא כל החבורה. מצד שני, חבורה נקראת חסרת מרכז אם \ Z(G)=\{e\} (המרכז תמיד מכיל את איבר היחידה של החבורה, ולכן הוא אינו יכול להיות ריק).

נתבונן בהומומורפיזם \ f מהחבורה G לחבורת האוטומורפיזמים שלה המוגדר לפי \ (f(g))(h)=ghg^{-1}. הגרעין של ההעתקה, כלומר כל איברי G שעוברים לאוטומורפיזם הזהות, הוא המרכז של G, והתמונה היא חבורה הנקראת חבורת האוטומורפיזמים הפנימית של G, ומסומנת \ Inn(G). לפי משפט האיזומורפיזם הראשון \ G/Z(G)\cong Inn(G).

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