שינויים
/* הרצאה 8 תת חבורות נורמליות, חבורות מנה, גרעין; פרקים 10,11 מהספר */
*הוכחה:
**בכיוון ראשון, יהי <math>ak\in aK</math> אזי <math>f(ak)=f(a)f(k)=f(a)e_H=f(a)</math>
**בכיוון שני, יהי <math>b\in G</math> כך ש <math>f(a)=f(b)</math> אזי <math>f(baa^{-1}b)=e_H</math> ולכן <math>baa^{-1}b=k\in K</math> ולכן <math>b=ak\in aK</math>
