שינויים
/* הרצאות 8-9 משפט האיזומורפיזם; פרקים 10,11 מהספר */
**נביט בחבורה הסימטרית <math>G=S_3</math> ובתת החבורה <math>N=<(1\ 2)>=\{(1),(1\ 2)\}</math>.
**אזי <math>(1\ 3)N=\{(1\ 3), (3\ 1\ 2)\}</math> אך <math>N(1\ 3)=\{(1\ 3),(2\ 1\ 3)\} </math> וקל לראות כי <math>(1\ 3)N\neq N(1\ 3)</math>.
**אזי N תת חבורה לא נורמלית!
*טענה תהי N תת חבורה נורמלית אזי <math>(aN)(bN)=abN</math>
*הוכחה - הכלה דו כיוונית:
**יהי <math>anbk\in (aN)(bN)</math> כיוון ש <math>bN=Nb</math> אזי <math>anbk=abmk\in abN</math>.
**יהי <math>abn\in abN</math> כיוון ש <math>bN=Nb</math> אזי <math>abn=amb=ambe\in (aN)(bN)</math>.
*תהיינה G חבורה וN תת חבורה נורמלית, אזי <math>G/N=\{aN|a\in G\}</math> היא חבורה.
תת חבורות נורמליות, חבורות מנה, משפט האיזומורפיזם הראשון.
