שינויים

::הרי תת חבורת הקומוטטורים זו תת חבורה שאני יכול להגדיר '''על כל חבורה/תת חבורה'''. (אני פשוט לוקח כל שני איברים <math>x,y</math> בחבורה בתת"ח נתונהH, ומגדיר איבר חדש <math>x^{-1}, y^{-1}xy</math>. במקרה הכי גרוע שבו החבורה המקורית שלי אבלית - אני אקבל ש-S טריוויאלית (אבל אז ברור שכל תת חבורה ש-H נורמלית).