שינויים
/* הרצאות 8-9 משפט האיזומורפיזם; פרקים 10,11 מהספר */
***<math>a=ae\in aK</math> ולכן <math>a\in bK</math>. כלומר קיים <math>k\in K</math> כך ש <math>a=bk</math>.
***<math>\varphi(a)=\varphi(bk)=\varphi(b)\varphi(k)=\varphi(b)</math>.
***<math>f(aK)=\varphi(a)=\varphi(b)=f(bK)</math>.
**כעת, עלינו להוכיח ש<math>f</math> הינו הומומורפיזם.
***<math>f\left((aK)(bK)\right)=f(abK)=\varphi(ab)=\varphi(a)\varphi(b)=f(aK)f(bK)</math>
