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