תת-חבורת הקומוטטורים – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ רובוט מוסיף: es:Subgrupo conmutador, zh:交换子群 |
מ בוט החלפות: על ידי; |
||
שורה 1:
ב[[מתמטיקה]] ובמיוחד ב[[אלגברה מופשטת]], '''תת חבורת הקומוטטורים''' <math>\ G'</math> של [[חבורה]] <math>\ G</math> היא התת-חבורה ה[[יוצרים של חבורה|נוצרת]] על
==הגדרה==
ה[[קומוטטור]] של שני אברים g,h בחבורה G הוא, לפי ההגדרה, האיבר <math>\ [g,h]=ghg^{-1}h^{-1}</math>. תת-חבורת הקומוטטורים של <math>\ G</math> היא החבורה הנוצרת על
את החבורה המתקבלת מסמנים <math>\ G'</math>, או <math>\ [G,G]</math>. הסימון האחרון מאפשר הכללה: אם <math>\ A,B</math> תת-חבורות נורמליות של G, אז <math>\ [A,B]</math> היא תת-החבורה הנוצרת על
כעת אפשר להגדיר תת-חבורות חשובות של G, באינדוקציה: <math>\ G^{(0)} := G</math>, ולכל n,
<math>\ G^{(n+1)} := [G^{(n)},G^{(n)}]</math>.
|