תת-חבורת הקומוטטורים – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
התו השמיני (שיחה | תרומות) |
מ בוט החלפות: \1אפ\2 |
||
שורה 2:
ב[[מתמטיקה]] ובמיוחד ב[[אלגברה מופשטת]], '''תת חבורת הקומוטטורים''' <math>G'</math> של [[חבורה (מבנה אלגברי)|חבורה]] <math>G</math> היא התת-חבורה ה[[יוצרים של חבורה|נוצרת]] על ידי כל ה[[קומוטטור|קומוטטורים]] של איברים בחבורה. תת-חבורת הקומוטטורים מודדת עד כמה החבורה היא [[חבורה אבלית|אבלית]]: היא [[טריוויאלי (מתמטיקה)|טריוויאלית]] אם ורק אם החבורה אבלית, ובאופן כללי יותר, ה[[חבורת מנה|מנה]] <math>G/G'</math> היא המנה האבלית הגדולה ביותר של G.
איבר כללי בתת-חבורת הקומוטטורים הוא מכפלה כלשהי של קומוטטורים. קיים
==הגדרה==
שורה 8:
==תכונות==
תת-חבורת הקומוטטורים היא ה[[תת חבורה נורמלית|תת-חבורה הנורמלית]] הקטנה ביותר כך ש[[חבורת מנה|חבורת המנה]] <math>G/G'</math> היא [[חבורה אבלית|אבלית]]. כלומר, לכל תת-חבורה נורמלית <math>N</math> של <math>G</math>, המנה <math>G/N</math> אבלית אם ורק אם <math>G' \subseteq N</math>. זהו למעשה
מכיוון ש[[הומומורפיזם (אלגברה)#הומומורפיזם בין חבורות|הומומורפיזם]] <math>f : G \to H</math> מעביר קומוטטור לקומוטטור, מתקיימת ההכלה <math>f(G')\subset H'</math>. בפרט עבור חבורות מנה ביחס להומומורפיזם המנה, ניתן לחשב ש-<math>[A/N,B/N]=[A,B]N/N</math> ובפרט <math>(G/N)'=G'N/N</math>.
|