שינויים
/* טעות בתרגיל 5 שאלה 6 סעיף ב' */
::::דבר שני - ואולי זה מה שגורם אצלי לבלבול - רשמת "בהכרח <math>S</math> אינה תת־חבורה של אותן תת־חבורות." והרי איך יתכן ש-S אינה תת חבורה? S היא [http://he.wikipedia.org/wiki/%D7%AA%D7%AA-%D7%97%D7%91%D7%95%D7%A8%D7%AA_%D7%94%D7%A7%D7%95%D7%9E%D7%95%D7%98%D7%98%D7%95%D7%A8%D7%99%D7%9D מהגדרתה] תת חבורה.
::::כלומר קבוצת כל הקומוטטורים של חבורה תמיד יוצרים תת חבורה.
:::::בבקשה. סעיף א' הוא להוכיח כי <math>S</math> היא תת־חבורה של <math>G</math>. זה נכון לכל חבורה. בסעיף ב' מדברים מה קורה אם בנוסף <math>S</math> היא לא רק תת־חבורה של <math>G</math>, אלא גם תת־חבורה של <math>H</math>. כלומר ש-<math>S</math> היא תת־חבורה של תת־חבורה של <math>G</math>.
:::::בנוגע לדבר השני, שוב אדגיש כי <math>S</math> היא "אובייקט" שמוגדר לפי <math>G</math>, וכמו שראית בקישור לויקיפדיה, כדי לוודא שזה המצב, הסימון המקובל של <math>S</math> הוא <math>G'</math>, ממש כמו הסימון לנגזרת. כשכתבתי "אזי בהכרח <math>S</math> אינה תת־חבורה של אותן תת־חבורות" הכוונה היא לא ש-<math>S</math> אינה תת־חבורה של <math>G</math> (כי כמו שאמרת, זו ההגדרה), אלא שהיא אינה תת־חבורה של <math>H</math>, אם <math>H \le G</math> לא נורמלית.
== תרגיל 5 שאלה 1ב' ==
