:::יש לשים לב לניסוח השאלה. נתונה חבורה <math>G</math> ומגדירים תת־חבורה ספציפית שלה <math>S</math> (שבמקרה יש לה גם שם מיוחד, תת־חבורת הקומוטטור). כעת נמשיך לפי מה שאמרת: "אם <math>S</math> היא תת חבורה של <math>H</math>, זה גורר ש-<math>H</math> נורמלית ב-<math>G</math>".
:::כנראה מה שצריך לשים לב שמגדירים את <math>S</math> לפי <math>G</math>. למשל, כפי שכתבת במקרה הכי גרוע (יש כאלו שיאמרו הכי טוב) שבה <math>G</math> היא חבורה אבלית, אזי <math>S</math> טריוויאלית ואז כל תת־חבורה <math>H</math> של <math>G</math> היא נורמלית. אכן, הערנו בכיתה כי כל תת־החבורות של חבורה אבלית הן נורמליות.
:::אולי כדאי לנסות לבדוק מי היא <math>S</math> במקרה של חבורה לא אבלית קטנה שכבר מכירים, נאמר <math>G=D_3</math>. לחבורה הזאת יש תת־חבורות לא נורמליות, אזי בהכרח <math>S</math> אינה תת־חבורה של אותן תת־חבורות.
== תרגיל 5 שאלה 1ב' ==