שינויים
/* הרצאה 9 משפט האיזומורפיזם; פרק 11 מהספר */
*נוכיח שמדובר בהומומורפיזם.
**יהיו <math>a,b\in\mathbb{Z}</math> לפי ההגדרה <math>\varphi(a+b)= a+b \mod n</math>.
**נשים לב כי <math>a=\varphi(a)+kn, b=\varphi(b)+mn</math>.**לכן <math>a+b\equiv \varphi(a)+\varphi(b) \mod n</math>.**סה"כ <math>\varphi(a+b)=\varphi(a)+\varphi(b)</math> כיוון שהם שקולים מודולו n, ואנו עוסקים בחבורה <math>\mathbb{Z}_n</math>.*כעת מתקיים כי <math>\ker\varphi=n\mathbb{Z}=\{na|a\in\mathbb{Z}\}</math>.*לכן <math>\mathbb{Z}/n\mathbb{Z}\cong \mathbb{Z}_n</math>
