תת-חבורת הקומוטטורים – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
←תכונות: - הורדת רפרנס שבור |
|||
שורה 21:
ידוע שכל איבר בתת-חבורת הקומוטטורים הוא "קומוטטור ארוך", מן הצורה <math>\ a_1 \dots a_n a_1^{-1} \dots a_n^{-1}</math>,
אם כי בדרך כלל, אוסף הקומוטטורים עצמו אינו מהווה חבורה.
תת-חבורות של קומוטטורים מקיימות את '''למת שלוש תת-החבורות''': לכל שלוש תת-חבורות נורמליות A,B,C של G,
<math>\ [A,[B,C]]\subset [B,[C,A]][C,[A,B]]</math>.
==ראו גם==
|