שינויים
/* הרצאות 8-9 משפט האיזומורפיזם; פרקים 10,11 מהספר */
*'''משפט האיזומורפיזם הראשון'''. יהי <math>\varphi:G\to H</math> איזומורפיזם בין חבורות. אזי <math>G/\ker(\varphi)\cong im(\varphi) </math>
*הוכחה:
**לצורך הנוחות נסמן <math>K=\ker(\varphi)</math> ו<math>M=im(\varphi)</math>.
**עלינו להראות שקיים איזומורפיזם (כלומר הומומורפיזם חח"ע ועל) <math>f:G/K\to M</math>.
**לכל <math>aK\in G/K</math> נגדיר <math>f(aK)=\varphi(a)</math>.
**ראשית, עלינו להוכיח כי מדובר בפונקציה מוגדרת היטב. כלומר, בהנתן <math>a,b\in G</math>, אם <math>aK=bK</math> עלינו להוכיח כי <math>f(aK)=f(bK)</math>.
***<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>.
הדגמה על ידי חבורת המודולו, מותר להפעיל את המודולו בכל שלב שנרצה.
===הרצאה 10 קידוד; פרק 8 מ[http://abstract.ups.edu/aata/ הספר]===
