שינויים
/* הרצאות 8-9 משפט האיזומורפיזם; פרקים 10,11 מהספר */
***יהי <math>ak\in aK</math> צ"ל <math>ak\in bK</math>.
***קל לראות ש <math>ak=bb^{-1}ak</math>, עלינו להוכיח כי <math>b^{-1}ak\in K</math>.
***אכן <math>\varphi(bbb^{-1}kak)=\left(\varphi(b)\right)^{-1}\varphi(a)\varphi(k)=\left(\varphi(a)\right)^{-1}\varphi(a)=e_H</math>
